✦ LIBER ✦

Lehrer's proof of the consistency thesis

✍ Scribed by David Blumenfeld

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lehrer's personal coherentism and the KK

✍ G. J. Mattey 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 815 KB

Knowledge, machines, and the consistency

✍ Timothy J. Carlson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 195 KB

Reinhardt's strong mechanistic thesis, a formalization of "I know I am a Turing machine", is shown to be consistent with Epistemic Arithmetic.

On Kalmar's consistency proof and a gene

✍ Boolos, George S. 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 363 KB

A note on the impossibility proof of the

✍ Carlo Giannoni 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 165 KB

On the philosophical significance of con

✍ Michael D. Resnik 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 889 KB

Extending Bachmair's method for proof by

✍ Olav Lysne 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 755 KB