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.
(7686 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.
(17841 views)
Book cover: Computer Algebra, Algorithms, Systems and ApplicationsComputer Algebra, Algorithms, Systems and Applications
by - Czech Technical University
From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.
(15372 views)
Book cover: Art Gallery Theorems and AlgorithmsArt Gallery Theorems and Algorithms
by - Oxford University Press
Art gallery theorems and algorithms are so called because they relate to problems involving the visibility of geometrical shapes and their internal surfaces. This book explores generalizations and specializations in these areas.
(17905 views)