Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Epsilon_calculus> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items 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 wikiPageExternalLink epsilon-calculus.
- Epsilon_calculus wikiPageID "11027904".
- Epsilon_calculus wikiPageRevisionID "576999233".
- Epsilon_calculus hasPhotoCollection Epsilon_calculus.
- Epsilon_calculus subject Category:Mathematical_logic.
- Epsilon_calculus subject Category:Proof_theory.
- Epsilon_calculus subject Category:Systems_of_formal_logic.
- 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=576999233.
- Epsilon_calculus isPrimaryTopicOf Epsilon_calculus.