Artículos con la etiqueta ‘pruebas formales’

Mathematics in the Age of the Turing Machine

Por • 13 feb, 2013 • Category: Opinion

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 isfound.