| 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) |
| dbo:wikiPageExternalLink |
https://books.google.com/books%3Fid=27dkTJFrLZIC&printsec=frontcover http://gdz.sub.uni-goettingen.de/dms/load/img/%3FIDDOC=17178 http://gdz.sub.uni-goettingen.de/dms/load/img/%3FIDDOC=17188 |
| dbo:wikiPageID |
10291015 (xsd:integer) |
| dbo:wikiPageLength |
5984 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
189120060 (xsd:integer) |
| dbo:wikiPageWikiLink |
category-fr:Théorie_de_la_démonstration category-fr:Théorème_de_logique_mathématique dbpedia-fr:Calcul_des_séquents category-fr:Logique_mathématique dbpedia-fr:Contradiction dbpedia-fr:Gerhard_Gentzen dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Lemme_(mathématiques) dbpedia-fr:Logique_classique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Principe_du_tiers_exclu dbpedia-fr:Règle_de_coupure dbpedia-fr:Tautologie dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Règle_d'admissibilité |
| 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) |
| prop-fr:doi |
10.100700 (xsd:double) |
| prop-fr:id |
739019100 (xsd:integer) |
| prop-fr:isbn |
978 (xsd:integer) |
| prop-fr:lang |
en (fr) |
| prop-fr:langue |
de (fr) |
| prop-fr:lienAuteur |
Stephen Cole Kleene (fr) Haskell Curry (fr) |
| prop-fr:lieu |
New York (fr) |
| prop-fr:lireEnLigne |
https://books.google.com/books%3Fid=27dkTJFrLZIC&printsec=frontcover |
| prop-fr:nom |
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) |
| 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 |
1 (xsd:integer) 2 (xsd:integer) 39 (xsd:integer) |
| prop-fr:wikiPageUsesTemplate |
dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence |
| prop-fr:éditeur |
Ishi Press International (fr) Dover Publications Inc. (fr) |
| dct:subject |
category-fr:Théorie_de_la_démonstration category-fr:Théorème_de_logique_mathématique category-fr:Logique_mathématique |
| 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: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:seeAlso |
http://mathworld.wolfram.com/CutEliminationTheorem.html |
| owl:sameAs |
dbr:Cut-elimination_theorem wikidata:Q376166 dbpedia-de:Gentzenscher_Hauptsatz dbpedia-es:Teorema_de_corte-eliminación dbpedia-it:Teorema_di_eliminazione_del_taglio dbpedia-ja:カット除去定理 dbpedia-ko:자름-제거_정리 dbpedia-pt:Teorema_da_eliminação_do_corte dbpedia-ru:Устранимость_сечений dbpedia-zh:切消定理 http://g.co/kg/m/03p1l3 http://ma-graph.org/entity/111404639 |
| prov:wasDerivedFrom |
wikipedia-fr:Théorème_d'élimination_des_coupures?oldid=189120060&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-fr:Théorème_d'élimination_des_coupures |
| is dbo:wikiPageRedirects of |
dbpedia-fr:Hauptsatz_de_Gentzen |
| is dbo:wikiPageWikiLink of |
dbpedia-fr:Déduction_naturelle dbpedia-fr:Gerhard_Gentzen dbpedia-fr:Jean_Cavaillès dbpedia-fr:Liste_de_théorèmes dbpedia-fr:Logique_et_raisonnement_mathématique dbpedia-fr:Méthode_des_tableaux dbpedia-fr:Règle_d'inférence dbpedia-fr:Règle_de_coupure dbpedia-fr:Sémantique_de_la_théorie_de_la_preuve dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Hauptsatz_de_Gentzen |
| is oa:hasTarget of |
tag-fr:DeFrResource tag-fr:JaFrResource tag-fr:EsFrResource tag-fr:ItFrResource tag-fr:WdtFrResource |
| is foaf:primaryTopic of |
wikipedia-fr:Théorème_d'élimination_des_coupures |