**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.

Download or read it online for free here:

**Download link**

(3.7MB, PDF)

## Similar books

**An Architecture for Combinator Graph Reduction**

by

**Philip J. Koopman, Jr.**-

**Academic Press**

The results of cache-simulation experiments with an abstract machine for reducing combinator graphs are presented. The abstract machine, called TIGRE, exhibits reduction rates that compare favorably with previously reported techniques.

(

**10241**views)

**The Life of Pi: From Archimedes to Eniac and Beyond**

by

**Jonathan M. Borwein**-

**DocServer**

The desire to understand Pi, the challenge, and originally the need, to calculate ever more accurate values of Pi, has challenged mathematicians for many many centuries, and Pi has provided compelling examples of computational mathematics.

(

**12193**views)

**Implementing Mathematics with The Nuprl Proof Development System**

by

**R. L. Constable, at al.**-

**Prentice Hall**

The authors offer a tutorial on the new mathematical ideas which underlie their research. Many of the ideas in this book will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.

(

**10852**views)

**Art Gallery Theorems and Algorithms**

by

**Joseph O'Rourke**-

**Oxford University Press**

Art gallery theorems and algorithms are so called because they relate to problems involving the visibility of geometrical shapes and their internal surfaces. This book explores generalizations and specializations in these areas.

(

**13665**views)