Foundations of mathematics under neuroscience conditions of lateral inhibition and lateral activation. Issue 3 (4th May 2018)

• Record Type: Journal Article
• Authors: Schumann, Andrew; Kuznetsov, Alexander V.
• Is Part Of: International journal of parallel, emergent and distributed systems. Volume 33:Issue 3(2018)
• Page Start: 237
• Page End: 256
• Publication Date: 2018-05-04
• Subjects: Foundations of mathematics -- Fermat's Last Theorem -- proof tree -- tree forest -- invisible gorilla -- Talmud -- lateral activation -- lateral inhibition; Parallel computers -- Periodicals; Electronic data processing -- Distributed processing -- Periodicals; Computer algorithms -- Periodicals; 004.35
• DOI: 10.1080/17445760.2018.1439490
• Languages: English
• ISSNs: 1744-5760

Abstract

Abstract: In neuroscience we know that there exist the following two basic effects in perceiving information: (i) the lateral inhibition, responsible for a cognitive blindness in seeing the whole picture; (ii) the lateral activation, responsible for a cognitive blindness in seeing the details. In this paper, we show that the same effects can be considered in the proof cognitions performed by mathematicians in proving sophisticated theorems, such as Fermat's Last Theorem. Hence, we insist that there can be two different foundations of mathematics: (i) the discrete foundations, dealing with a logical way of automatic proving from some axioms (the lateral inhibition in math); (ii) the analogue foundations, combining proof trees on tree forests by using the analogies as inference metarules (the lateral activation in math). We propose a kind of analogue logic for analogue reasoning in mathematics. Graphical Abstract: