Mathematics in the Age of the Turing Machine

Name: Mathematics in the Age of the Turing Machine
Author: Thomas C. Hales

Author / Organization: Thomas C. Hales

Computational and Algorithmic Mathematics. Symbolic Computation Published 2014 3814.1 KB ✓ Verified Direct PDF

Overview & Synopsis

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.

Indexed from repository: FreeComputerBooks.com (freecomputerbooks.com)

Visit Original Source Page »

Loading document from verified source...

Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title	Mathematics in the Age of the Turing Machine
Author / Organization	Thomas C. Hales
Subject & Discipline	Computational and Algorithmic Mathematics. Symbolic Computation, Mathematical Logic - Computability, etc., Theory of Computation and Computing, General and Miscellaneous Mathematics
Categories	Computational and Algorithmic Mathematics. Symbolic Computation
Publication Year	2014
Resource Verification	✓ Verified Direct PDF Available
Alternative Mirrors & Links	https://archive.org/details/arxiv-1302.2898 »
Original Host Website	FreeComputerBooks.com (`freecomputerbooks.com`)
File Format	application/pdf (Portable Document Format)
Reported File Size	3814.1 KB (3,905,612 bytes)
Language	ENGLISH
Catalog ID	`DOC-73335`
Original Source Link	Visit Source Page on freecomputerbooks.com »