Sunday, February 18, 2018

Man vs. Computer

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: