Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Takeutis_conjecture> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Takeutis_conjecture abstract "In mathematics, Takeuti's conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second-order logic has cut-elimination (Takeuti 1953). It was settled positively: By Tait, using a semantic technique for proving cut-elimination, based on work by Schütte (Tait 1966); Independently by Takahashi by a similar technique (Takahashi 1967); It is a corollary of Jean-Yves Girard's syntactic proof of strong normalization for System F.Takeuti's conjecture is equivalent to the consistency of second-order arithmetic and to the strong normalization of the Girard/Reynold's System F.".
- Takeutis_conjecture wikiPageID "2372007".
- Takeutis_conjecture wikiPageLength "1675".
- Takeutis_conjecture wikiPageOutDegree "18".
- Takeutis_conjecture wikiPageRevisionID "627015510".
- Takeutis_conjecture wikiPageWikiLink Category:Conjectures.
- Takeutis_conjecture wikiPageWikiLink Category:Proof_theory.
- Takeutis_conjecture wikiPageWikiLink Consistency.
- Takeutis_conjecture wikiPageWikiLink Consistency_proof.
- Takeutis_conjecture wikiPageWikiLink Cut-elimination_theorem.
- Takeutis_conjecture wikiPageWikiLink Gaisi_Takeuti.
- Takeutis_conjecture wikiPageWikiLink Gentzen.
- Takeutis_conjecture wikiPageWikiLink Gerhard_Gentzen.
- Takeutis_conjecture wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Takeutis_conjecture wikiPageWikiLink Gödel_sentence.
- Takeutis_conjecture wikiPageWikiLink Hilberts_second_problem.
- Takeutis_conjecture wikiPageWikiLink Jean-Yves_Girard.
- Takeutis_conjecture wikiPageWikiLink Mathematics.
- Takeutis_conjecture wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Takeutis_conjecture wikiPageWikiLink Primitive_recursive_arithmetic.
- Takeutis_conjecture wikiPageWikiLink Second-order_arithmetic.
- Takeutis_conjecture wikiPageWikiLink Second-order_logic.
- Takeutis_conjecture wikiPageWikiLink Strong_normalization.
- Takeutis_conjecture wikiPageWikiLink System_F.
- Takeutis_conjecture wikiPageWikiLink William_W._Tait.
- Takeutis_conjecture wikiPageWikiLinkText "Takeuti's conjecture".
- Takeutis_conjecture hasPhotoCollection Takeutis_conjecture.
- Takeutis_conjecture wikiPageUsesTemplate Template:Logic-stub.
- Takeutis_conjecture wikiPageUsesTemplate Template:Mathlogic-stub.
- Takeutis_conjecture wikiPageUsesTemplate Template:Note.
- Takeutis_conjecture wikiPageUsesTemplate Template:Ref.
- Takeutis_conjecture subject Category:Conjectures.
- Takeutis_conjecture subject Category:Proof_theory.
- Takeutis_conjecture hypernym Conjecture.
- Takeutis_conjecture comment "In mathematics, Takeuti's conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second-order logic has cut-elimination (Takeuti 1953).".
- Takeutis_conjecture label "Takeuti's conjecture".
- Takeutis_conjecture sameAs m.0777ds.
- Takeutis_conjecture sameAs Гипотеза_Такеути.
- Takeutis_conjecture sameAs Q7678179.
- Takeutis_conjecture sameAs Q7678179.
- Takeutis_conjecture wasDerivedFrom Takeutis_conjectureoldid=627015510.
- Takeutis_conjecture isPrimaryTopicOf Takeutis_conjecture.