Ideas & society2016 · shared on Hacker News
academic-pdf · belaxioms1.pdf
Research PDF · needs verificationExplore academic-pdf · belaxioms1.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.
Ytheafh ·
How many real numbers exist? New proof moves closer to an answer
501 points344 comments
Ymathgenius ·
The Busy Beaver Game
112 points42 comments
Ylisper ·
How many real numbers exist? New proof moves closer to an answer (2021)
58 points60 comments
Yjoek1301 ·
Ask HN: Introductory reading on philosophy of mathematics/formal logic?
3 points2 comments