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

**A Computational Introduction to Number Theory and Algebra**

by

**Victor Shoup**-

**Cambridge University Press**

This introductory book emphasises algorithms and applications, such as cryptography and error correcting codes. It is accessible to a broad audience. Prerequisites are a typical undergraduate course in calculus and some experience in doing proofs.

(

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

(

**16308**views)

**Numerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphics**

by

**Justin Solomon**-

**CRC Press**

Using examples from a broad base of computational tasks, including data processing and computational photography, the book introduces numerical modeling and algorithmic design from a practical standpoint and provides insight into theoretical tools.

(

**4306**views)

**Mathematics for Computer Scientists**

by

**Gareth J. Janacek, Mark L. Close**-

**BookBoon**

In this textbook you will find the basic mathematics needed by computer scientists. It should help you to understand the meaning of mathematical concepts. Subjects as elementary logic, factorization, plotting functions and matrices are explained.

(

**19360**views)