Mathematics in the age of the Turing machine

@inproceedings{Hales2014MathematicsIT,
  title={Mathematics in the age of the Turing machine},
  author={T. Hales},
  booktitle={Turing's Legacy},
  year={2014}
}
  • T. Hales
  • Published in Turing's Legacy 2014
  • Computer Science, Mathematics
  • The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs. 
    22 Citations
    What is a Proof?
    • 3
    Mathematics and Language
    • PDF
    The data science life cycle
    Formalization of closure properties for context-free grammars
    • 7
    • PDF
    A Survey on Theorem Provers in Formal Methods
    • 3
    • PDF
    Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles
    • PDF

    References

    SHOWING 1-10 OF 58 REFERENCES
    The status of the P versus NP problem
    • 227
    • PDF
    Certified Computer Algebra on Top of an Interactive Theorem Prover
    • 35
    • PDF
    The Language of Mathematics
    • 25
    Proof of the Double Bubble Conjecture
    • F. Morgan
    • Mathematics, Computer Science
    • Am. Math. Mon.
    • 2001
    • 110
    • PDF
    Homotopy theoretic models of identity types
    • 220
    • PDF
    Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type
    • P. Paule
    • Mathematics, Computer Science
    • Electron. J. Comb.
    • 1994
    • 54
    • PDF