From Davis and Hersh (in "The Mathematical Experience"):
"To the philosopher, there is all the difference in the world between a proof that depends on the reliability of a machine and a proof that depends only on human reason. To the mathematician, the fallibility of reason is such a familiar fact of life that he welcomes the computer as a more reliable calculator than he himself can hope to be."
No comments:
Post a Comment