Mathematics in the Age of the Turing Machine

Por • 13 feb, 2013 • Sección: Opinion

Thomas Hales

Abstract: The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs. Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. A comprehensive survey is out of the question. It would almost be like asking for a summary of applications of symmetry to mathematics. Computability – like symmetry – is a wonderful structural property that some mathematical objects possess that makes answers flow more readily wherever it is found.

arXiv:1302.2898v1 [math.HO]

Post to Twitter

Etiquetado con: , , , , ,

Escribe un comentario