āMathematics in the Age of the Turing Machineā, Thomas Hales2013-02-12 (computability, math, epistemology; backlinks)ā :
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs. Backlinks:
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
Backlinks:
View PDF:
Mathematics in the Age of the Turing Machine