Ideas & society2017 · shared on Hacker News

academic-pdf · jf.turing.pdf

Research PDF · needs verification

Explore academic-pdf · jf.turing.pdf, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.

Read original

GO BEYOND THE ABSTRACT

The conversation around the idea.

Original Hacker News threads. Different perspectives, questions, and things worth thinking about.

Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.

Links found in the discussion

Up to 50 recent source links, in HN item order.

Comment #21813678 Comment #20014851 Comment #13759085 Comment #13725313 Comment #13723010 Comment #13718914 Comment #13717253 Comment #13493706

Yvo2maxer · 2019-12-17

Kurt Gödel and the Mechanization of Mathematics

155 points132 comments

Ymichaelsbradley · 2017-01-26

Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf]

152 points77 comments

YDawny33 · 2017-02-28

The conversation around the idea.

Links found in the discussion

Kurt Gödel and the Mechanization of Mathematics

Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf]

Has philosophy ever clarified mathematics?

Harvey Friedman bringing incompleteness and infinity out of quarantine

Von Neumann’s critique of automata theory and logic in computer science (1947)

One idea leads to another.