Entscheidungsproblem

Entscheidungsproblem (Lingua Theodisca, 'quaestio diiudicationis') in mathematica et informatica est quaestiuncula a David Hilbert posita anno 1928. 

Anno 1936 Alphonso Church, et anno 1937 A. M. Turing, libere laborantes, commentarios divulgaverunt qui monstraverunt diiudicare num sententiae algorismi in arithmetica sint verae vel falsae nullo modo fieri potest, et simile solutio generalis quaestionis diiudicationis. Hic eventus nunc appellatur Theorema Church vel Theorema Church-Turing (non Thesis Church–Turing).

 Historia quaestionis 
Quaestio diiudicationis originem habet in operibus Leibnitii, qui saeculo septimo decimo, prospera machina calculationis constructa, somniavit se machinam fecisse quae poterat symbola ordinare ut
valentias veritatis (Anglice: truth values) sententiarum mathematicarum decerneret (Davis 2000:3–20). Comprehendit primum gradum necessarium esse apertam linguam formalem, et ut ad illam calcem perveniret postea laboravit. 

 Altera Hilbert quaestio
 Machina oraculorum
 Machina Turing
 Quaestio Halting
 Theoremata Gödel de imperfectione

 Bibliographia 
 Church, Alonzo. 1936. "An unsolvable problem of elementary number theory." American Journal of Mathematics 58:345–363.
 Church, Alonzo. 1936. "A note on the Entscheidungsproblem." Journal of Symbolic Logic 1:40–41. 
 Davis, Martin. 2000. Engines of Logic. Londinii: W. W. Norton. ISBN 0-393-32229-7.
 Turing, A. M. 1937. "On computable numbers, with an application to the Entscheidungsproblem." Proceedings of the London Mathematical Society, series 2, 42:230–265. , Browse the Turing Digital Archive apud www.turingarchive.org, On computable numbers, with an application to the Entscheidungsproblem - A. M. Turing, 1936 apud www.abelard.org. Errata in series 2 43:544–546 apparuerunt.
 Davis, Martin Davis, ed. 1965. The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. Novi Eboraci: Raven Press.
 Hodges, Andrew. 1983. Alan Turing: The Enigma. Novi Eboraci: Simon and Schuster.
 Toulmin, Stephen. 1984. "Fall of a Genius." New York Review of Books, 19 Ianuarii, pp. 3ff. Recognitio libri Hodges 1983. 
 Whitehead, Alfred North, et Bertrandus Russell. 1962. Principia Mathematica to *56. Cantabrigiae.

Categoria:Verba Theodisca
Categoria:Mathematica
Categoria:Logica
Categoria:Alanus Mathison Turing