Welcome to E-Books Directory
This is a freely downloadable e-book.

Mathematics in the Age of the Turing Machine

Mathematics in the Age of the Turing Machine
by Thomas Hales

Publisher: arXiv 2013
Number of pages: 45

Description:
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs. Contents: Computer Calculation; Computer Proof; Issues of Trust; Concluding Remarks.

Home page url

 Download or read it online here:

Download link

 (3.7MB, PDF)