Attributes | Values |
---|
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)
|
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)
|
rdfs:seeAlso
| |
sameAs
| |
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
Link from a Wikipage to an external page
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
prop-fr:année
| |
prop-fr:annéePremièreÉdition
| |
prop-fr:art
| - 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)
|
prop-fr:lieu
| |
prop-fr:lireEnLigne
| |
prop-fr:nom
| - Curry (fr)
- Kleene (fr)
- Gentzen (fr)
|
prop-fr:pages
| |
prop-fr:pagesTotales
| |
prop-fr:prénom
| - Gerhard (fr)
- Stephen Cole (fr)
- Haskell Brooks (fr)
|
prop-fr:périodique
| - 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)
|
prop-fr:volume
| |
prop-fr:éditeur
| - Ishi Press International (fr)
- Dover Publications Inc. (fr)
|
foaf:isPrimaryTopicOf
| |
has 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)
|
is dbo:wikiPageWikiLink
of | |