Livre "Dieu, la science, les preuves" (il n'est aucunement question de religion)

[forr]

En 1931, l'Autrichien Kurt Gödel a montré qu'un système construit sur la logique mathématique contient par essence des éléments indécidables, soit des propositions indémontrables dont on en peut dire au bout du compte si elles sont justes ou nom. Dans son "théorème d'incomplétude", il a démontré que l'homme ne saurait se comprendre lui-même et qu'il faudrait être au moins un extra-terrestre pour avoir une chance d'approcher la conscience humaine. "G n'est pas démontrable" est une affirmation qui fit couler beaucoup d'encre. G fausse revient à dire que G est démontrable. Pourtant on ne peut accepter le fait qu'une proposition soit à la fois fausse et démontrable. A l'inverse si G est vraie, nous ne sommes pas en mesure de le prouver.

Ludovic Cardon, "Comprendre l'univers" Vuibert 2006, page192.

*

Gödel, un nom prédestiné, à mon avis, 
"God", dans plusieurs langues, signifiant Dieu.
Je trouve qu'il a vraiment touché le "fondamental"
ou, plus exactement, trouvé que le "fondamental"
est fondamentalement hors de notre portée.