théorie de Gödel

Bonsoir.

Il s'agit d'un cours de L-M : Logique mathématique de Cori et Lascar chez DUNOD.

Toutes les questions dont tu parles y sont traitées.

Bruno

Pour une approche vulgarisé du théorème :

"le théorème de Gödel" par Ernest Nagel/ James Newman et Jean-Yves Girard au Seuil dans la collection Points Sciences.

Pour ce qui est des choses téléchargeables il y a:
<BR>
<BR>- le cours de Girard:
<BR><a href=" http://iml.univ-mrs.fr/~girard/cours/cours.html"&gt; http://iml.univ-mrs.fr/~girard/cours/cours.html</a&gt;
<BR>
<BR>- une série de mini-cours par plusieurs auteurs:
<BR><a href=" http://www.logique.jussieu.fr/www.rambaud/mini-cours.html"&gt; http://www.logique.jussieu.fr/www.rambaud/mini-cours.html</a><BR><BR><BR&gt;

Merci à abc pour le cours de Girard qui m'a l'air très intéreesant.
Cordialement.
Jean-Louis.

bonjour,
je pense que tu faisais allusion à mon message. J'avoue que je ne connais pas la démo du théorème de Gödel (mais quelques idées grace à un module de logique de ma maîtrise). Sur les idées, en plus des livres ci-dessus, tu peux lire "Gödel Escher Bach" de Hofstadter et un livre d'enigme "ça y est je suis fou" de Smullyan puis après tu peux attaquer le livre de Smullyan sur les théorème de Gödel dans la meme collection que Cori et Lascar (attention avant c'était chez masson... enfin je m'y perds)
Bon courage.