HackerPapers

arXiv:1302.2898math.HO

Mathematics in the Age of the Turing Machine

Thomas Hales

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

arXiv comments
45 pages. This article will appear in "Turing's Legacy," ASL Lecture Notes in Logic, editor Rodney G. Downey
Journal reference
DOI
Subjects
math.HOHistory and Overview

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Jan 2016 to Jan 2016. Found in 1 HN submission from Oct 2014 to Oct 2014. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Google achieves AI 'breakthrough' by beating Go champion 1 comment

    • > Much higher (but still short of general intelligence, obviously) would be beating the best humans at language translation, proving math theorems, or answering factual questions phrased in natural language. Then, if and when computers can write novels which you'd prefer to read…

      cfcefView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.