Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Epsilon_calculus> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Epsilon_calculus abstract "Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The epsilon operator and epsilon substitution method are typically applied to a first-order predicate calculus, followed by a showing of consistency. The epsilon-extended calculus is further extended and generalized to cover those mathematical objects, classes, and categories for which there is a desire to show consistency, building on previously-shown consistency at earlier levels.".
- Epsilon_calculus wikiPageID "11027904".
- Epsilon_calculus wikiPageLength "4107".
- Epsilon_calculus wikiPageOutDegree "17".
- Epsilon_calculus wikiPageRevisionID "635469584".
- Epsilon_calculus wikiPageWikiLink Axiom_of_Choice.
- Epsilon_calculus wikiPageWikiLink Axiom_of_choice.
- Epsilon_calculus wikiPageWikiLink Axiom_of_replacement.
- Epsilon_calculus wikiPageWikiLink Axiom_schema_of_replacement.
- Epsilon_calculus wikiPageWikiLink Bourbaki.
- Epsilon_calculus wikiPageWikiLink Cardinal_assignment.
- Epsilon_calculus wikiPageWikiLink Category:Mathematical_logic.
- Epsilon_calculus wikiPageWikiLink Category:Proof_theory.
- Epsilon_calculus wikiPageWikiLink Category:Systems_of_formal_logic.
- Epsilon_calculus wikiPageWikiLink Consistency.
- Epsilon_calculus wikiPageWikiLink Consistency_proof.
- Epsilon_calculus wikiPageWikiLink David_Hilbert.
- Epsilon_calculus wikiPageWikiLink First-order_logic.
- Epsilon_calculus wikiPageWikiLink Formal_language.
- Epsilon_calculus wikiPageWikiLink Formal_system.
- Epsilon_calculus wikiPageWikiLink Jeremy_Avigad.
- Epsilon_calculus wikiPageWikiLink Nicolas_Bourbaki.
- Epsilon_calculus wikiPageWikiLink Quantification_(logic).
- Epsilon_calculus wikiPageWikiLink Quantifier_(logic).
- Epsilon_calculus wikiPageWikiLink Richard_Zach.
- Epsilon_calculus wikiPageWikiLink Tau-square.
- Epsilon_calculus wikiPageWikiLinkText "Epsilon calculus".
- Epsilon_calculus wikiPageWikiLinkText "Hilbert's ".
- Epsilon_calculus wikiPageWikiLinkText "epsilon calculus".
- Epsilon_calculus hasPhotoCollection Epsilon_calculus.
- Epsilon_calculus wikiPageUsesTemplate Template:Cite_book.
- Epsilon_calculus wikiPageUsesTemplate Template:IEP.
- Epsilon_calculus wikiPageUsesTemplate Template:SEP.
- Epsilon_calculus subject Category:Mathematical_logic.
- Epsilon_calculus subject Category:Proof_theory.
- Epsilon_calculus subject Category:Systems_of_formal_logic.
- Epsilon_calculus hypernym Extension.
- Epsilon_calculus type Software.
- Epsilon_calculus type Field.
- Epsilon_calculus type Proof.
- Epsilon_calculus comment "Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The epsilon operator and epsilon substitution method are typically applied to a first-order predicate calculus, followed by a showing of consistency.".
- Epsilon_calculus label "Epsilon calculus".
- Epsilon_calculus sameAs m.02qykl7.
- Epsilon_calculus sameAs Q5383976.
- Epsilon_calculus sameAs Q5383976.
- Epsilon_calculus wasDerivedFrom Epsilon_calculus?oldid=635469584.
- Epsilon_calculus isPrimaryTopicOf Epsilon_calculus.