| Property |
Value |
| dbo:abstract
|
- Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (en) (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert. Le premier théorème d'incomplétude établit qu'une théorie cohérente suffisante pour y démontrer les théorèmes de base de l'arithmétique est nécessairement incomplète, au sens où il existe des énoncés qui n'y sont ni démontrables, ni réfutables (un énoncé est démontrable si on peut le déduire des axiomes de la théorie, il est réfutable si on peut déduire sa négation). On parle alors d'énoncés indécidables dans la théorie. Le second théorème d'incomplétude est à la fois un corollaire et une formalisation d'une partie de la preuve du premier. Il traite le problème des preuves de cohérence d'une théorie : une théorie est cohérente s'il existe des énoncés qui n'y sont pas démontrables (ou, ce qui revient au même, si on ne peut y démontrer A et non A) ; par exemple on exprime souvent la cohérence de l'arithmétique par le fait que l'énoncé 0 = 1 n'y est pas démontrable (sachant que bien entendu 0 ≠ 1 l'est). Sous des hypothèses à peine plus fortes que celles du premier théorème, on peut construire un énoncé exprimant la cohérence d'une théorie dans le langage de celle-ci. Le second théorème affirme alors que si la théorie est cohérente cet énoncé ne peut pas en être conséquence, ce que l'on peut résumer par : « une théorie cohérente ne démontre pas sa propre cohérence ». (fr)
- Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (en) (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert. Le premier théorème d'incomplétude établit qu'une théorie cohérente suffisante pour y démontrer les théorèmes de base de l'arithmétique est nécessairement incomplète, au sens où il existe des énoncés qui n'y sont ni démontrables, ni réfutables (un énoncé est démontrable si on peut le déduire des axiomes de la théorie, il est réfutable si on peut déduire sa négation). On parle alors d'énoncés indécidables dans la théorie. Le second théorème d'incomplétude est à la fois un corollaire et une formalisation d'une partie de la preuve du premier. Il traite le problème des preuves de cohérence d'une théorie : une théorie est cohérente s'il existe des énoncés qui n'y sont pas démontrables (ou, ce qui revient au même, si on ne peut y démontrer A et non A) ; par exemple on exprime souvent la cohérence de l'arithmétique par le fait que l'énoncé 0 = 1 n'y est pas démontrable (sachant que bien entendu 0 ≠ 1 l'est). Sous des hypothèses à peine plus fortes que celles du premier théorème, on peut construire un énoncé exprimant la cohérence d'une théorie dans le langage de celle-ci. Le second théorème affirme alors que si la théorie est cohérente cet énoncé ne peut pas en être conséquence, ce que l'on peut résumer par : « une théorie cohérente ne démontre pas sa propre cohérence ». (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 75300 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1952 (xsd:integer)
- 1977 (xsd:integer)
- 1989 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:auteurs
|
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard (fr)
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard (fr)
|
| prop-fr:auteursOuvrage
|
- J. Barwise (fr)
- J. Barwise (fr)
|
| prop-fr:fr
|
- William Poundstone (fr)
- Preuve de cohérence de Gentzen (fr)
- interprétation Dialectica (fr)
- William Poundstone (fr)
- Preuve de cohérence de Gentzen (fr)
- interprétation Dialectica (fr)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Amsterdam (fr)
- Amsterdam (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:présentationEnLigne
| |
| prop-fr:référenceSimplifiée
|
- Référence:Le théorème de Gödel (fr)
- Référence:Le théorème de Gödel (fr)
|
| prop-fr:sudoc
| |
| prop-fr:texte
|
- une preuve de cohérence de l'arithmétique (fr)
- une preuve de cohérence de l'arithmétique (fr)
|
| prop-fr:titre
| |
| prop-fr:titreOuvrage
|
- Handbook of Mathematical Logic (fr)
- Handbook of Mathematical Logic (fr)
|
| prop-fr:trad
|
- Gentzen's consistency proof (fr)
- Dialectica interpretation (fr)
- Gentzen's consistency proof (fr)
- Dialectica interpretation (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Éditions du Seuil (fr)
- North-Holland (fr)
- Éditions du Seuil (fr)
- North-Holland (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (en) (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert. (fr)
- Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (en) (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert. (fr)
|
| rdfs:label
|
- Gödel's incompleteness theorems (en)
- Gödelscher Unvollständigkeitssatz (de)
- Onvolledigheidsstellingen van Gödel (nl)
- Теореми Геделя про неповноту (uk)
- Teorema d'incompletesa de Gödel (ca)
- Teoremas de incompletitud de Gödel (es)
- Teoremi di incompletezza di Gödel (it)
- Théorèmes d'incomplétude de Gödel (fr)
- ゲーデルの不完全性定理 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
