Mathematics2014 · shared on Hacker News
Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf]
Research PDF · needs verificationExplore Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
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.
Ymichaelsbradley ·
Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf]
152 points77 comments
Ysebg ·
With Category Theory, Mathematics Escapes from Equality (2019)
123 points96 comments
Ymichaelsbradley ·
The Essence of Event-Driven Programming [pdf]
116 points24 comments
Yivanmaeder ·
Programming is not math
66 points113 comments
Yahmadss ·
Programming is not math
21 points7 comments
Ycscurmudgeon ·
Proofs Are Programs: 19th Century Logic and 21st Century Computing [pdf]
4 points0 comments