Home » Categories » Computational and Algorithmic Mathematics. Symbolic Computation

Computational and Algorithmic Mathematics. Symbolic Computation

Reference documents in Computational and Algorithmic Mathematics. Symbolic Computation.

Documents in Computational and Algorithmic Mathematics. Symbolic Computation

Page 1 of 1

Mathematics in the Age of the Turing Machine

Author: Thomas C. Hales • Year: 2014 • Source: freecomputerbooks.com • Size: 3814.1 KB • PDF

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.