✦ LIBER ✦

A Note on the Entscheidungsproblem

✍ Scribed by Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correction to a Note on the Entscheidung

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

Entscheidungsproblem Reduced to the ∀ ∃

✍ A. S. Kahr, Edward F. Moore and Hao Wang 📂 Article 📅 1962 🏛 National Academy of Sciences 🌐 English ⚖ 468 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 ∀∃∀

✍ Review by: W. Ackermann 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB