The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Mathematics in the Age of the Turing Machine
[article]
2013
arXiv
pre-print
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
arXiv:1302.2898v1
fatcat:ko2iqnfnq5dlbe6fwirbpvuswy