Mathematics in the Age of the Turing Machine [article]

Thomas Hales
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