’ [...] 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 

1.  - 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 », 
    
2.  - soit le cerveau surpasse les machines de Turing, et donc l’esprit humain est « une réalité indépendante du monde sensible » ...’