Les Propositions vraies sont démontrables
Enregistré dans:
Publié dans: | La Recherche No 412 |
---|---|
Auteur principal: | Lescanne, Pierre. |
Support: | Article de revue |
Publié: |
2007.
|
Sujets: | |
Résumé: | L'efficacité des mathématiques nous fait croire qu'elles peuvent démontrer tout ce qui est vrai. Il n'en est rien, comme l'a démontré Kurt Gödel dans les années 1930. |
Lien: | Dans:
La Recherche |
Documents similaires
-
Les démons de Gödel : logique et folie
par: Cassou-Noguès, Pierre, 1971-
Publié: 2007 -
Logique & calcul. Presque tout est indécidable !
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: 2009 -
L'Incomplétude, le hasard et la physique
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: 2007 -
Kurt Gödel
Publié: 2005 -
Gödel : logique à la folie.
Publié: 2004