Mathematics in the age of the Turing machine

@inproceedings{Hales2014MathematicsIT,
  title={Mathematics in the age of the Turing machine},
  author={Thomas C. Hales},
  booktitle={Turing's Legacy},
  year={2014}
}

From This Paper

Topics from this paper.