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: 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.
(8549 views)
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.
(19763 views)
Book cover: Algorithmic MathematicsAlgorithmic Mathematics
by - Queen Mary University of London
This text is a course in mathematical algorithms, intended for second year mathematics students. It introduces the algorithms for computing with integers, polynomials and vector spaces. The course requires no computing experience.
(21743 views)
Book cover: A Computational Introduction to Number Theory and AlgebraA Computational Introduction to Number Theory and Algebra
by - 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.
(40156 views)