Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Hilbert–Bernays_provability_conditions> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Hilbert–Bernays_provability_conditions abstract "In mathematical logic, the Hilbert–Bernays provability conditions, named after David Hilbert and Paul Bernays, are a set of requirements for formalized provability predicates in formal theories of arithmetic (Smith 2007:224).These conditions are used in many proofs of Kurt Gödel's second incompleteness theorem. They are also closely related to axioms of provability logic.".
- Hilbert–Bernays_provability_conditions wikiPageID "29549852".
- Hilbert–Bernays_provability_conditions wikiPageRevisionID "569588494".
- Hilbert–Bernays_provability_conditions subject Category:Mathematical_logic.
- Hilbert–Bernays_provability_conditions comment "In mathematical logic, the Hilbert–Bernays provability conditions, named after David Hilbert and Paul Bernays, are a set of requirements for formalized provability predicates in formal theories of arithmetic (Smith 2007:224).These conditions are used in many proofs of Kurt Gödel's second incompleteness theorem. They are also closely related to axioms of provability logic.".
- Hilbert–Bernays_provability_conditions label "Hilbert–Bernays provability conditions".
- Hilbert–Bernays_provability_conditions sameAs Hilbert%E2%80%93Bernays_provability_conditions.
- Hilbert–Bernays_provability_conditions sameAs Q5761238.
- Hilbert–Bernays_provability_conditions sameAs Q5761238.
- Hilbert–Bernays_provability_conditions wasDerivedFrom Hilbert–Bernays_provability_conditions?oldid=569588494.