Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Turings_proof> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Turings_proof abstract "Turing's proof is a proof by Alan Turing, first published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem. It was the second proof of the assertion (Alonzo Church's proof was first) that some decision problems are "undecidable": there is no single algorithm that infallibly gives a correct "yes" or "no" answer to each instance of the problem. In his own words:"...what I shall prove is quite different from the well-known results of Gödel ... I shall now show that there is no general method which tells whether a given formula U is provable in K [Principia Mathematica]..." (Undecidable p. 145).Turing preceded this proof with two others. The second and third both rely on the first. All rely on his development of type-writer-like "computing machines" that obey a simple set of rules and his subsequent development of a "universal computing machine".".
- Turings_proof wikiPageExternalLink 12.
- Turings_proof wikiPageID "3739933".
- Turings_proof wikiPageLength "42558".
- Turings_proof wikiPageOutDegree "34".
- Turings_proof wikiPageRevisionID "678648392".
- Turings_proof wikiPageWikiLink Alan_Turing.
- Turings_proof wikiPageWikiLink Andrew_Hodges.
- Turings_proof wikiPageWikiLink Bernays.
- Turings_proof wikiPageWikiLink Cantors_diagonal_argument.
- Turings_proof wikiPageWikiLink Category:Articles_containing_proofs.
- Turings_proof wikiPageWikiLink Category:Mathematical_logic.
- Turings_proof wikiPageWikiLink Category:Mathematical_proofs.
- Turings_proof wikiPageWikiLink Category:Theory_of_computation.
- Turings_proof wikiPageWikiLink David_Hilbert.
- Turings_proof wikiPageWikiLink Decision_problem.
- Turings_proof wikiPageWikiLink Emil_Leon_Post.
- Turings_proof wikiPageWikiLink Emil_Post.
- Turings_proof wikiPageWikiLink Entscheidungsproblem.
- Turings_proof wikiPageWikiLink Ernest_Nagel.
- Turings_proof wikiPageWikiLink Formal_system.
- Turings_proof wikiPageWikiLink Halting_Problem.
- Turings_proof wikiPageWikiLink Halting_problem.
- Turings_proof wikiPageWikiLink Hans_Reichenbach.
- Turings_proof wikiPageWikiLink James_R._Newman.
- Turings_proof wikiPageWikiLink Kurt_Gödel.
- Turings_proof wikiPageWikiLink Logical_equivalence.
- Turings_proof wikiPageWikiLink Martin_Davis.
- Turings_proof wikiPageWikiLink Post-Turing_machine.
- Turings_proof wikiPageWikiLink Post–Turing_machine.
- Turings_proof wikiPageWikiLink Reductio_ad_absurdum.
- Turings_proof wikiPageWikiLink Rices_Theorem.
- Turings_proof wikiPageWikiLink Rices_theorem.
- Turings_proof wikiPageWikiLink Richards_paradox.
- Turings_proof wikiPageWikiLink Truth_value.
- Turings_proof wikiPageWikiLink Turing_machine.
- Turings_proof wikiPageWikiLink Undecidable_problem.
- Turings_proof wikiPageWikiLink Universal_Turing_machine.
- Turings_proof wikiPageWikiLink Universal_machine.
- Turings_proof wikiPageWikiLinkText "Turing's first and second proofs".
- Turings_proof wikiPageWikiLinkText "Turing's proof".
- Turings_proof hasPhotoCollection Turings_proof.
- Turings_proof wikiPageUsesTemplate Template:Citation.
- Turings_proof wikiPageUsesTemplate Template:Cleanup-rewrite.
- Turings_proof subject Category:Articles_containing_proofs.
- Turings_proof subject Category:Mathematical_logic.
- Turings_proof subject Category:Mathematical_proofs.
- Turings_proof subject Category:Theory_of_computation.
- Turings_proof hypernym Proof.
- Turings_proof type TelevisionShow.
- Turings_proof comment "Turing's proof is a proof by Alan Turing, first published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem. It was the second proof of the assertion (Alonzo Church's proof was first) that some decision problems are "undecidable": there is no single algorithm that infallibly gives a correct "yes" or "no" answer to each instance of the problem. In his own words:"...what I shall prove is quite different from the well-known results of Gödel ...".
- Turings_proof label "Turing's proof".
- Turings_proof sameAs m.09yd22.
- Turings_proof sameAs Q7854954.
- Turings_proof sameAs Q7854954.
- Turings_proof wasDerivedFrom Turings_proofoldid=678648392.
- Turings_proof isPrimaryTopicOf Turings_proof.