David Corfield over computerbewijzen

What mathematicians are largely looking for from each other’s proofs are new concepts, techniques and interpretations. Computer proofs certainly give information concerning the truth of a result, but very little beyond this.
David Corfield, Towards a philosophy of real mathematics (2003), Cambridge University Press, p. 56

¶ Posted Sunday 10 June 2007 § Bewijzen, Citaten, Computers ‡ Comments (0)