Skip to main content
Book Chapter

The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics

  • De Mol L
Springer International Publishing, (2014), 15-33
DOI: 10.1007/978-3-319-04382-1_2
N/ACitations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

... and van Bendegem (2008) where it is stated that we should account for the practices underpinning formal proofs , including the ... existence theorems and is psycholog- ically comforting in that one is less likely to run across theorems one cannot prove . ... The Proof Is in the Process ...

Cite

CITATION STYLE

APA

De Mol, L. (2014). The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics. In New Directions in the Philosophy of Science (pp. 15–33). Springer International Publishing. https://doi.org/10.1007/978-3-319-04382-1_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free