’ [...] l’intuition a parfois produit des thèses mathématiques ne pouvant être
prouvées ou infirmées mathématiquement.
Il [Gödel] considère que
- - soit le cerveau
est une machine de Turing,
et il existe donc des problèmes indécidables pour l’humain, ce qui
signifie que « les propriétés mathématiques qui nous échappent ont une
existence autonome »,
- - soit le cerveau surpasse les machines de Turing, et donc l’esprit humain est « une réalité indépendante du monde sensible » ...’