✦ LIBER ✦

Intuition and formalism in mathematical proof

✍ Scribed by Michael Otte

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An intuitive formal proof for Deadline D

✍ Naijun Zhan 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 607 KB

Insight and intuition in mathematics

✍ I. D. MacDonald 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 463 KB

Proof, Logic and Formalization

✍ Detlefsen, Michael 📂 Fiction 📅 0 🌐 English ⚖ 2 MB

A short and intuitive proof of Marshall'

✍ Christian Ewerhart 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 67 KB

Formal logic and mathematics

✍ Arend Heyting 📂 Article 📅 1947 🏛 Springer Netherlands 🌐 English ⚖ 569 KB

Remarks on formalized proof and conseque

✍ L. Gumański 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 36 KB