✦ LIBER ✦

A Direct Proof of the Unsolvability of the Decision Problem by Means of a General Recursive Algorithmby László Kalmár

✍ Scribed by Review by: John G. Kemeny

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Solution of a Problem of K. Schröter

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

Another Proof of the Gödel-Rosser Incomp

✍ Review by: Günter Asser 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 202 KB

On the Reduction of the Decision Problem

✍ Review by: Th. Skolem 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 353 KB

On the Reduction of the Decision Problem

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

Contributions to the Reduction Theory of

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

Contributions to the Reduction Theory of

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