✦ LIBER ✦

Correction to a Note on the Entscheidungsproblem

✍ Scribed by Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Note on the Entscheidungsproblem

✍ Alonzo Church 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 270 KB

On Computable Numbers, with an Applicati

✍ Turing, A. M. 📂 Article 📅 1938 🏛 Oxford University Press 🌐 English ⚖ 155 KB

On Computable Numbers, with an Applicati

✍ Turing, A. M. 📂 Article 📅 1938 🏛 Oxford University Press 🌐 English ⚖ 155 KB

Appendix one (B): On computable numbers,

📂 Article 📅 1960 🏛 Elsevier Science ⚖ 176 KB

Entscheidungsproblem Reduced to the ∀ ∃

✍ A. S. Kahr, Edward F. Moore and Hao Wang 📂 Article 📅 1962 🏛 National Academy of Sciences 🌐 English ⚖ 468 KB

Note on the noncommutative correction to

✍ Mukherjee, Pradip; Saha, Anirban 📂 Article 📅 2006 🏛 The American Physical Society 🌐 English ⚖ 71 KB