Artículos con la etiqueta ‘maquinas de Turing’

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.

Towards an axiomatic system for Kolmogorov complexity

Por • 4 feb, 2011 • Category: Filosofía

In this paper, we try to extend this work, both by looking at alternative axiomatic systems for plain complexity and by considering potential axiomatic systems for other types of complexity.