✦ LIBER ✦

On Unsolvable Mathematical Problemsby L. Kalmár

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Practical Infinitistic Computerby L. K

✍ Review by: William E. Gould 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB

On Unsolvable Algorithmic Problemsby A.

✍ Review by: Andrzej Mostowski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 202 KB

Remarks on "Unsolvable" Problemsby A. J.

✍ Review by: S. C. Kleene 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 202 KB

Zur Reduktion des Entscheidungsproblemsb

✍ Review by: Alonzo Church 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

On the Possibility of Definition by Recu

✍ Review by: S. C. Kleene 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 164 KB

A Direct Proof of the Unsolvability of t

✍ Review by: John G. Kemeny 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 129 KB