Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Turings Proof: Entscheidungsproblem , Undecidable Problem -

inglise keel
2026-03-19
128,12 € 213,53 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

High Quality Content by WIKIPEDIA articles! First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem, Turing's proof was the second proof of the assertion (Alonzo Church 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 h ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

High Quality Content by WIKIPEDIA articles! First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem, Turing's proof was the second proof of the assertion (Alonzo Church 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".

Lisateave

Kirjastaja OmniScriptum
Väljalaskeaasta 2026
Kaanetüüp Pehme kaanega
EAN 9786131142420
Kirjuta oma arvustus
Te vaatate: Turings Proof: Entscheidungsproblem , Undecidable Problem
Teie hinnang:

Goodreads'i arvustused

128,12 € 213,53 €