Theorème de Gödel

[invite5eb13cb6]

Bonjour.

Connaissez vous un lien vers une demonstration du theorème de Gödel?
J'ai cherché, mais y'a jamais grand chose...

merci d'avance!
-----

[invitea29d1598]

bonjour,

je ne connais pas de démonstration sur le net et j'ai idée que tes difficultés à en trouver une doivent être liée à la longueur de cette démo... la seule que j'ai vue tenait sur un livre (pas trop épais, certes, mais quand même).

d'ailleurs, en parlant de livre et de Gödel, pour ceux que ça intéresse et qui ne connaitraient pas cette réference, il existe un très beau pavé (c'est même plus un livre quand c'est gros comme ça) par Douglas R. Hofstadter intitulé "Gödel, Escher et Bach" qui traite des sujets préférés de ces gens-là...

[invitec12706a7]

Bonjour,

Sinon, en moins volumineux concernant l'impact de ces théorèmes je vous recommande
"Gödel: une révolution en mathématiques" de André Delessert, chez PPUR (www.ppur.com)