Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Rossers_trick> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Rossers_trick abstract "For the theorem about the sparseness of prime numbers, see Rosser's theorem. For a general introduction to the incompleteness theorems, see Gödel's incompleteness theorems.In mathematical logic, Rosser's trick is a method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent (Smorynski 1977, p. 840; Mendelson 1977, p. 160). This method was introduced by J. Barkley Rosser in 1936, as an improvement of Gödel's original proof of the incompleteness theorems that was published in 1931.While Gödel's original proof uses a sentence that says (informally) \"This sentence is not provable\", Rosser's trick uses a formula that says \"If this sentence is provable, there is a shorter proof of its negation\".".
- Rossers_trick wikiPageExternalLink candi_notes.pdf.
- Rossers_trick wikiPageID "19460821".
- Rossers_trick wikiPageLength "6090".
- Rossers_trick wikiPageOutDegree "9".
- Rossers_trick wikiPageRevisionID "693033841".
- Rossers_trick wikiPageWikiLink Category:Mathematical_logic.
- Rossers_trick wikiPageWikiLink Diagonal_lemma.
- Rossers_trick wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Rossers_trick wikiPageWikiLink J._Barkley_Rosser.
- Rossers_trick wikiPageWikiLink Mathematical_logic.
- Rossers_trick wikiPageWikiLink Rossers_theorem.
- Rossers_trick wikiPageWikiLink Ω-consistent_theory.
- Rossers_trick wikiPageWikiLinkText "Rosser's trick".
- Rossers_trick wikiPageWikiLinkText "Rosser's_trick".
- Rossers_trick subject Category:Mathematical_logic.
- Rossers_trick type Field.
- Rossers_trick comment "For the theorem about the sparseness of prime numbers, see Rosser's theorem. For a general introduction to the incompleteness theorems, see Gödel's incompleteness theorems.In mathematical logic, Rosser's trick is a method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent (Smorynski 1977, p. 840; Mendelson 1977, p. 160). This method was introduced by J.".
- Rossers_trick label "Rosser's trick".
- Rossers_trick sameAs Q7369799.
- Rossers_trick sameAs m.04n2g04.
- Rossers_trick sameAs Rossersats.
- Rossers_trick sameAs Q7369799.
- Rossers_trick wasDerivedFrom Rossers_trick?oldid=693033841.
- Rossers_trick isPrimaryTopicOf Rossers_trick.