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

**Curves and Surfaces in Geometric Modeling: Theory and Algorithms**

by

**Jean Gallier**-

**Morgan Kaufmann**

This book offers both a theoretically unifying understanding of polynomial curves and surfaces and an effective approach to implementation that you can bring to bear on your own work -- whether you are a graduate student, scientist, or practitioner.

(

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

(

**17835**views)

**Strange Attractors: Creating Patterns in Chaos**

by

**Julien C. Sprott**-

**M & T Books**

Chaos and fractals have revolutionized our view of the world. This book shows examples of the artistic beauty that can arise from very simple equations, and teaches the reader how to produce an endless variety of such patterns.

(

**18760**views)

**Probabilistic Programming and Bayesian Methods for Hackers**

by

**Cameron Davidson-Pilon**-

**GitHub, Inc.**

This book is designed as an introduction to Bayesian inference from a computational understanding-first, and mathematics-second, point of view. The book assumes no prior knowledge of Bayesian inference nor probabilistic programming.

(

**20148**views)