Mathematics in the age of the Turing machine
@inproceedings{Hales2014MathematicsIT,
title={Mathematics in the age of the Turing machine},
author={T. Hales},
booktitle={Turing's Legacy},
year={2014}
}The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
Figures and Topics from this paper
Paper Mentions
22 Citations
Automated and Human Proofs in General Mathematics: An Initial Comparison
- Computer Science
- LPAR
- 2012
- 21
- PDF
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
- Computer Science
- IJCAR
- 2012
- 66
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification. (Investigations en Mathématiques Assistées par Ordinateur : Expérimentation, Calcul et Certification)
- Computer Science
- 2017
- PDF
Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles
- Computer Science, Biology
- ArXiv
- 2018
- PDF
References
SHOWING 1-10 OF 58 REFERENCES
Certified Computer Algebra on Top of an Interactive Theorem Prover
- Computer Science
- Calculemus/MKM
- 2007
- 35
- PDF
Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
- Mathematics
- 2010
- 1,315
Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type
- Mathematics, Computer Science
- Electron. J. Comb.
- 1994
- 54
- PDF
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
- Computer Science
- POPL '06
- 2006
- 707
- PDF