Mathematical intelligence, infinity and machines: beyond Godelitis
Author: Longo G.
Source: Journal of Consciousness Studies, Volume 6, Numbers 11-12, 1999 , pp. 191-214(24)
Publisher: Imprint Academic
Abstract:
We informally discuss some recent results on the incompleteness of formal systems. These theorems, which are of great importance to contemporary mathematical epistemology, are proved using a variety of conceptual tools provably stronger than those of finitary axiomatisations. Those tools require no mathematical ontology, but rather constitute particularly concrete human constructions and acts of comprehending infinity and space rooted in different forms of knowledge. We shall also discuss, albeit very briefly, the mathematical intelligence both of God and of computers. We hope in this manner to help the reader overcome formalist reductionism, while avoiding naive Platonist ontologies, typical symptoms of Godelitis which affected many in the last seventy years.
Keywords: Mathematics; informal insight; cognitive foundation; conceptual constructions; proof-methods; combinatorial incompleteness; incompleteness of formal systems
Language: English
Document Type: Research article
Affiliations: CNRS and Dept. De Mathematiques et Informatique, Ecole Normale Superieure, Paris, France. Email:Giuseppe.Longo@ens.fr
Publication date: 1999-01-01
- In this: publication
- By this: publisher
- In this Subject: Psychology , Political Science
- By this author: Longo G.

Shopping cart
Receive new issue alert
Get Permissions