✦ LIBER ✦

The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem

✍ Scribed by S. Cavagnetto

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated proofs of Löb's theorem and Gö

✍ Art Quaife 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 558 KB

A Connection Between Blum Speedable Sets

✍ Martin K. Solomon 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 339 KB

ELEMENTARY RELATIONS BETWEEN THE FUNDAME

✍ Albert A. Mullin 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 166 KB 👁 1 views

Short proofs of normalization for the si

✍ Felix Joachimski; Ralph Matthes 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 302 KB

q-Hypergeometric Proofs of Polynomial An

✍ S. Ole Warnaar 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 182 KB