✦ LIBER ✦

The Epistemological Status of Computer-Assisted Proofs

✍ Scribed by McEvoy, M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computer Assisted Proofs of Bifurcating

✍ Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 552 KB

Some Computer Assisted Proofs for Soluti

✍ Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 639 KB

A computer-assisted proof of the Feigenb

✍ Lanford III, Oscar E. 📂 Article 📅 1982 🏛 American Mathematical Society 🌐 English ⚖ 624 KB

The Status of Epistemology

✍ R. W. Sellars 📂 Article 📅 1917 🏛 Journal of Philosophy, Inc. ⚖ 253 KB

Computer-assisted proofs of special func

✍ Flavia Stan 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 413 KB

The Epistemological Status of Memory Bel

✍ Richard B. Brandt 📂 Article 📅 1955 🏛 Duke University Press 🌐 English ⚖ 409 KB