Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Hilbert–Bernays_provability_conditions> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples 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 wikiPageLength "1243".
- Hilbert–Bernays_provability_conditions wikiPageOutDegree "9".
- Hilbert–Bernays_provability_conditions wikiPageRevisionID "680546770".
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Category:Mathematical_logic.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Category:Provability_logic.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink David_Hilbert.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Gxc3xb6dels_second_incompleteness_theorem.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Gödel_number.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Gödel_numbering.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Kurt_Gödel.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Mathematical_logic.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Paul_Bernays.
- Hilbert–Bernays_provability_conditions wikiPageWikiLink Provability_logic.
- Hilbert–Bernays_provability_conditions wikiPageWikiLinkText "Hilbert-Bernays definition of identity".
- Hilbert–Bernays_provability_conditions wikiPageWikiLinkText "Hilbert–Bernays provability conditions".
- Hilbert–Bernays_provability_conditions hasPhotoCollection Hilbert–Bernays_provability_conditions.
- Hilbert–Bernays_provability_conditions wikiPageUsesTemplate Template:Mathlogic-stub.
- Hilbert–Bernays_provability_conditions subject Category:Mathematical_logic.
- Hilbert–Bernays_provability_conditions subject Category:Provability_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 m.0ds0yc8.
- Hilbert–Bernays_provability_conditions sameAs Q5761238.
- Hilbert–Bernays_provability_conditions sameAs Q5761238.
- Hilbert–Bernays_provability_conditions wasDerivedFrom Hilbert–Bernays_provability_conditions?oldid=680546770.
- Hilbert–Bernays_provability_conditions isPrimaryTopicOf Hilbert–Bernays_provability_conditions.