Gödel et les limites de la logique - http://www.pourlascience.com/index.php?ids=JPGacSdYwZsxkCXRUdps&Menu=Pls&Action=3&idn3=1226
Article de John Dawson dans la revue Pour la Science (n° 262). |
K. Gödel et al. 1931 - http://www-didactique.imag.fr/preuve/Resumes/Godel/Godel31.html
Une note de lecture par J.L. Le Moigne sur la publication en français du théorème primordial du logicien américain. |
Kurt Gödel - http://fr.wikipedia.org/wiki/Kurt_G%C3%B6del
Dossier interactif sur le philosophe dans l'encyclopédie libre. |
Le théome de Gödel et ses non-interprétations - http://www.eleves.ens.fr/home/ollivier/goedel/goedel.html
Article de Yann Ollivier exposant plusieurs manières précises d'énoncer le théorème d'incomplétude, sa démonstration et ses interprétations possibles. |
Le théorème de Gödel - http://membres.lycos.fr/godel/
Dossier consacré au logicien réalisé par Eric Andres et Laurent Signac. |