Logo

Mathematics in the Age of the Turing Machine

Small book cover: Mathematics in the Age of the Turing Machine

Mathematics in the Age of the Turing Machine
by

Publisher: arXiv
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.

Home page url

Download or read it online for free here:
Download link
(3.7MB, PDF)

Similar books

Book cover: Mathematical Illustrations: A Manual of Geometry and PostScriptMathematical Illustrations: A Manual of Geometry and PostScript
by - 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.
(12775 views)
Book cover: The Life of Pi: From Archimedes to Eniac and BeyondThe Life of Pi: From Archimedes to Eniac and Beyond
by - 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.
(11440 views)
Book cover: FractalsFractals
- Wikibooks
The aim of this text is to develop an informal, light introduction to the world of fractal geometry and to inspire further research into the subject, whether your interest is of a pure, applied or even recreational nature.
(5085 views)
Book cover: An Architecture for Combinator Graph ReductionAn Architecture for Combinator Graph Reduction
by - Academic Press
The results of cache-simulation experiments with an abstract machine for reducing combinator graphs are presented. The abstract machine, called TIGRE, exhibits reduction rates that compare favorably with previously reported techniques.
(9464 views)