Advanced search
Publication Cover
International Journal of Parallel, Emergent and Distributed Systems Volume 33, 2018 - Issue 3: Logics for unconventional computing. Guest Editor: Andrew Schumann
Submit an article Journal homepage
136
Views
0
CrossRef citations to date
0
Altmetric
Original Articles

Foundations of mathematics under neuroscience conditions of lateral inhibition and lateral activation

Andrew SchumannDepartment of Cognitive Science, University of Information Technology and Management in Rzeszow, Rzeszow, Poland.Correspondence[email protected]
&
Alexander V. KuznetsovApplied Mathematics, Informatics and Mechanics Faculty, Voronezh State University, Voronezh, Russia.ORCID Iconhttp://orcid.org/0000-0002-0365-2077
ORCID Icon
Pages 237-256 | Received 14 Nov 2017, Accepted 30 Jan 2018, Published online: 18 Feb 2018

References

  • Homotopy type theory: univalent foundations of mathematics. Institute for Advanced Study; 2013. Available from: https://homotopytypetheory.org/book
  • Ammon K. Automatic proofs in mathematical logic and analysis. In: Kapur D, editor. Automated deduction---CADE-11. New York: Springer-Verlag; 1992. p. 4–19.
  • Ammon K. Informal concepts in machines. CoRR abs/1005.0608. 2010. arXiv:1005.0608.
  • Chabris Ch, Crown DS. The invisible gorilla and other ways our intuitions deceive us. New York (NY); 2010.
  • Drew T, Vo MLH, Wolfe JM. The invisible gorilla strikes again: sustained inattentional blindness in expert observers. Psychol Sci. 2013;24(9):1848–1853.
  • Carbon C-C. Understanding human perception by human-made illusions. Front Human Neurosci. 2014;8:566. doi:10.3389/fnhum.2014.00566.
  • Wiles A. Modular elliptic curves and fermat’s last theorem. Ann Math. 1995;141:443–551.
  • Paris J, Harrington L. A mathematical incompleteness in Peano arithmetic. In: Barwise J, editor. Handbook for mathematical logic. Amsterdam, Netherlands: North-Holland; 1977.
  • McLarty Colin. What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory, Bull Symbolic Logic. 2010;16(3):359–377.
  • Artin M, Grothendieck A, Verdier J-L. Theorie des topos et cohomologie etale des schemas, Seminaire de Geometrie Algebrique du Bois-Marie. Vol. 4. Berlin, Heidelberg: Springer-Verlag; 1972.
  • Schumann A. Preface. History Philosophy Logic. 2011;32(1):1–8.
  • Schumann A. Qal wa-homer and theory of Massive-Parallel proofs. History Philosophy Logic. 2011;32(1):71–83.
  • Schumann A, Kuznetsov AV. Talmudic foundations of mathematics. 10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS). Hoboken, NJ; 2017. p. 67–74.
  • Gao X, Xiao B, Tao D, Li X. A survey of graph edit distance. Pattern Anal Appl. 2010;13:113–129.
  • Rothe HA. Ueber Permutationen, in Beziehung auf die Stellen ihrer Elemente. Anwendung der daraus abgeleiteten Satze auf das Eliminationsproblem. Sammlung Combinatorisch-Analytischer Abhandlungen. Leipzig: bey Gerhard Fleischer dem Jüngern; 1800. Available from: http://www.e-rara.ch/zut/content/pageview/1341041
  • Maher SJ, Fischer T, Gally T, et al. The scip optimization suite 4.0. Technical Report 17-12, ZIB, Takustr.7, 14195. Berlin; 2017.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.