✦ LIBER ✦

On a Diophantine Representation of the Predicate of Provability

✍ Scribed by Carl, M.; Moroz, B. Z.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Diophantine representation of enumerable

✍ Yu. V. Matiyasevich 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 277 KB

On predicate provability logics and binu

✍ Kurahashi, Taishi 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 200 KB

Diophantine Representation of Enumerable

✍ Review by: Martin Davis 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 104 KB

A probabilistic machine for the estimati

✍ S. C. van Westrhenen 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 360 KB

A new proof of the theorem on exponentia

✍ Yu. V. Matiyasevich 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 681 KB

The representation of organisms in terms

✍ N. Rashevsky 📂 Article 📅 1965 🏛 Springer 🌐 English ⚖ 668 KB