Property |
Value |
dbo:abstract
|
- En logique mathématique, le théorème d'élimination des coupures (ou Hauptsatz de Gentzen) est le résultat central établissant l'importance du calcul des séquents. Il a été initialement prouvé par Gerhard Gentzen en 1934 dans son article historique « Recherches sur la déduction logique » pour les systèmes LJ et LK formalisant la logique intuitionniste et classique, respectivement. Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure. (fr)
- En logique mathématique, le théorème d'élimination des coupures (ou Hauptsatz de Gentzen) est le résultat central établissant l'importance du calcul des séquents. Il a été initialement prouvé par Gerhard Gentzen en 1934 dans son article historique « Recherches sur la déduction logique » pour les systèmes LJ et LK formalisant la logique intuitionniste et classique, respectivement. Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5984 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1935 (xsd:integer)
- 1964 (xsd:integer)
- 1965 (xsd:integer)
- 1977 (xsd:integer)
- 2009 (xsd:integer)
|
prop-fr:annéePremièreÉdition
|
- 1952 (xsd:integer)
- 1963 (xsd:integer)
|
prop-fr:art
|
- Cut-elimination theorem (fr)
- Cut-elimination theorem (fr)
|
prop-fr:doi
| |
prop-fr:id
| |
prop-fr:isbn
| |
prop-fr:lang
| |
prop-fr:langue
| |
prop-fr:lienAuteur
|
- Stephen Cole Kleene (fr)
- Haskell Curry (fr)
- Stephen Cole Kleene (fr)
- Haskell Curry (fr)
|
prop-fr:lieu
|
- New York (fr)
- New York (fr)
|
prop-fr:lireEnLigne
| |
prop-fr:nom
|
- Curry (fr)
- Kleene (fr)
- Gentzen (fr)
- Curry (fr)
- Kleene (fr)
- Gentzen (fr)
|
prop-fr:pages
|
- 176 (xsd:integer)
- 204 (xsd:integer)
- 249 (xsd:integer)
|
prop-fr:pagesTotales
|
- 408 (xsd:integer)
- 576 (xsd:integer)
|
prop-fr:prénom
|
- Gerhard (fr)
- Stephen Cole (fr)
- Haskell Brooks (fr)
- Gerhard (fr)
- Stephen Cole (fr)
- Haskell Brooks (fr)
|
prop-fr:périodique
|
- Mathematische Zeitschrift (fr)
- American Philosophical Quarterly (fr)
- Mathematische Zeitschrift (fr)
- American Philosophical Quarterly (fr)
|
prop-fr:titre
|
- Foundations of mathematical logic (fr)
- Introduction to metamathematics (fr)
- Investigations into logical deduction (fr)
- Untersuchungen über das logische Schließen. I (fr)
- Foundations of mathematical logic (fr)
- Introduction to metamathematics (fr)
- Investigations into logical deduction (fr)
- Untersuchungen über das logische Schließen. I (fr)
|
prop-fr:volume
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 39 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Ishi Press International (fr)
- Dover Publications Inc. (fr)
- Ishi Press International (fr)
- Dover Publications Inc. (fr)
|
dct:subject
| |
rdfs:comment
|
- En logique mathématique, le théorème d'élimination des coupures (ou Hauptsatz de Gentzen) est le résultat central établissant l'importance du calcul des séquents. Il a été initialement prouvé par Gerhard Gentzen en 1934 dans son article historique « Recherches sur la déduction logique » pour les systèmes LJ et LK formalisant la logique intuitionniste et classique, respectivement. Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure. (fr)
- En logique mathématique, le théorème d'élimination des coupures (ou Hauptsatz de Gentzen) est le résultat central établissant l'importance du calcul des séquents. Il a été initialement prouvé par Gerhard Gentzen en 1934 dans son article historique « Recherches sur la déduction logique » pour les systèmes LJ et LK formalisant la logique intuitionniste et classique, respectivement. Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure. (fr)
|
rdfs:label
|
- Gentzenscher Hauptsatz (de)
- Teorema de corte-eliminación (es)
- Teorema di eliminazione del taglio (it)
- Théorème d'élimination des coupures (fr)
- カット除去定理 (ja)
- Gentzenscher Hauptsatz (de)
- Teorema de corte-eliminación (es)
- Teorema di eliminazione del taglio (it)
- Théorème d'élimination des coupures (fr)
- カット除去定理 (ja)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |