Entscheidungsproblem

E Vicipaedia
Salire ad: navigationem, quaerere

Entscheidungsproblem (Lingua Theodisca, 'quaestio diiudicationis') in mathematica 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 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[recensere | fontem recensere]

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.

Vide etiam[recensere | fontem recensere]

Bibliographia[recensere | fontem recensere]


stipula Haec pagina est stipula. Amplifica, si potes!