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

**Think Stats: Probability and Statistics for Programmers**

by

**Allen B. Downey**-

**Green Tea Press**

Think Stats is an introduction to Probability and Statistics for Python programmers. This new book emphasizes simple techniques you can use to explore real data sets and answer interesting statistical questions. Basic skills in Python are assumed.

(

**7998**views)

**Mathematical Illustrations: A Manual of Geometry and PostScript**

by

**Bill Casselman**-

**Cambridge University Press**

The author gives an introduction to basic features of the PostScript language and shows how to use it for producing mathematical graphics. The book includes the discussion computer graphics and some comments on good style in mathematical illustration.

(

**10588**views)

**Algorithmic Algebra**

by

**Bhubaneswar Mishra**-

**Courant Institute of Mathematical Sciences**

The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra.

(

**11347**views)

**Vector Math for 3D Computer Graphics**

by

**Bradley Kjell**-

**Central Connecticut State University**

A text on vector and matrix algebra from the viewpoint of computer graphics. It covers most vector and matrix topics needed for college-level computer graphics text books. Useful to computer science students interested in game programming.

(

**13861**views)