Skip to main content

Mathematical intelligence, infinity and machines: beyond Godelitis

Buy Article:

$25.62 plus tax (Refund Policy)


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; cognitive foundation; combinatorial incompleteness; conceptual constructions; incompleteness of formal systems; informal insight; proof-methods

Document Type: Research Article

Affiliations: CNRS and Dept. De Mathematiques et Informatique, Ecole Normale Superieure, Paris, France.

Publication date: 1999-11-01

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more