Property |
Value |
dbo:abstract
|
- En logique mathématique, le théorème de Paris–Harrington, obtenu en 1977 par Jeff Paris et Leo Harrington, affirme qu'un certain résultat combinatoire, le théorème de Ramsey fini renforcé, est vrai mais non démontrable dans l'arithmétique de Peano. Ce théorème est souvent décrit comme le premier exemple d'énoncé « naturel » d'indécidabilité connu, par contraste avec les exemples construits par Gödel utilisant un codage « peu naturel ». (fr)
- En logique mathématique, le théorème de Paris–Harrington, obtenu en 1977 par Jeff Paris et Leo Harrington, affirme qu'un certain résultat combinatoire, le théorème de Ramsey fini renforcé, est vrai mais non démontrable dans l'arithmétique de Peano. Ce théorème est souvent décrit comme le premier exemple d'énoncé « naturel » d'indécidabilité connu, par contraste avec les exemples construits par Gödel utilisant un codage « peu naturel ». (fr)
|
dbo:namedAfter
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 4687 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1977 (xsd:integer)
- 2002 (xsd:integer)
|
prop-fr:chapter
|
- A Mathematical Incompleteness in Peano Arithmetic (fr)
- A Mathematical Incompleteness in Peano Arithmetic (fr)
|
prop-fr:editorFirst
| |
prop-fr:editorLast
|
- Barwise (fr)
- Barwise (fr)
|
prop-fr:editorLink
|
- Jon Barwise (fr)
- Jon Barwise (fr)
|
prop-fr:isbn
| |
prop-fr:lienAuteur
|
- Jeff Paris (fr)
- Leo Harrington (fr)
- Jeff Paris (fr)
- Leo Harrington (fr)
|
prop-fr:lieu
|
- New York (fr)
- Amsterdam, Netherlands (fr)
- New York (fr)
- Amsterdam, Netherlands (fr)
|
prop-fr:nom
|
- Paris (fr)
- Harrington (fr)
- Marker (fr)
- Paris (fr)
- Harrington (fr)
- Marker (fr)
|
prop-fr:nomUrl
|
- Paris-HarringtonTheorem (fr)
- Paris-HarringtonTheorem (fr)
|
prop-fr:prénom
|
- David (fr)
- Leo (fr)
- Jeff (fr)
- David (fr)
- Leo (fr)
- Jeff (fr)
|
prop-fr:titre
|
- Handbook of Mathematical Logic (fr)
- Model Theory: An Introduction (fr)
- Paris-Harrington Theorem (fr)
- Handbook of Mathematical Logic (fr)
- Model Theory: An Introduction (fr)
- Paris-Harrington Theorem (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Springer (fr)
- North-Holland (fr)
- Springer (fr)
- North-Holland (fr)
|
dct:subject
| |
rdfs:comment
|
- En logique mathématique, le théorème de Paris–Harrington, obtenu en 1977 par Jeff Paris et Leo Harrington, affirme qu'un certain résultat combinatoire, le théorème de Ramsey fini renforcé, est vrai mais non démontrable dans l'arithmétique de Peano. Ce théorème est souvent décrit comme le premier exemple d'énoncé « naturel » d'indécidabilité connu, par contraste avec les exemples construits par Gödel utilisant un codage « peu naturel ». (fr)
- En logique mathématique, le théorème de Paris–Harrington, obtenu en 1977 par Jeff Paris et Leo Harrington, affirme qu'un certain résultat combinatoire, le théorème de Ramsey fini renforcé, est vrai mais non démontrable dans l'arithmétique de Peano. Ce théorème est souvent décrit comme le premier exemple d'énoncé « naturel » d'indécidabilité connu, par contraste avec les exemples construits par Gödel utilisant un codage « peu naturel ». (fr)
|
rdfs:label
|
- Paris–Harrington theorem (en)
- Théorème de Paris-Harrington (fr)
- パリス=ハーリントンの定理 (ja)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |