Ideas & society2020 · shared on Hacker News
ssrn.com · abstract=3603021
Explore ssrn.com · abstract=3603021, 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.
Comment #29827254 Comment #29039957 Comment #28915301 Comment #28828026 Comment #28733240 Comment #28722851 Comment #28722630 Comment #28185871 Comment #28185816 Comment #27873946 Comment #27731270 Comment #27578927 Comment #27566295 Comment #27556037 Comment #27552540 Comment #27552513 Comment #27545103 Comment #27543974 Comment #27543916 Comment #27542828 Comment #27541163 Comment #27540947 Comment #27540189 Comment #27539637 Comment #27539491 Comment #27539401 Comment #27420847 Comment #27288597 Comment #27264746 Comment #27259122 Comment #27258280 Comment #27215431 Comment #27210179 Comment #27204208 Comment #27203449 Comment #27203335 Comment #26835494 Comment #26764264 Comment #26763947 Comment #26746865 Comment #26743575 Comment #26742170 Comment #26630643 Comment #26535372 Comment #26246236 Comment #26233867 Comment #26217003 Comment #26216978 Comment #25226234 Comment #25170063
Ystopachka ·
What Gödel Discovered
1,000 points259 comments
Ytheafh ·
How many real numbers exist? New proof moves closer to an answer
501 points344 comments
Yhardmaru ·
1931: Kurt Gödel shows limits of math, logic, computing, AI
347 points296 comments
Ysigna11 ·
Where do type systems come from? (2017)
201 points181 comments
Ylawrenceyan ·
Retrospective review of Gödel, Escher, Bach (1996) [pdf]
200 points150 comments
Ysamcat116 ·
Swift Distributed Actors
168 points128 comments
Ysrijan4 ·
A few notes on message passing
151 points82 comments
Ybmc7505 ·
Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]
135 points72 comments
Ytodsacerdoti ·
The Repeated Deaths of OOP (2015)
130 points212 comments
Ymatt_d ·
The Dawn of Formalized Mathematics
127 points58 comments
Ytmfi ·
Complexity No Bar to AI
120 points118 comments
Ychmaynard ·
Hawking Hawking
113 points72 comments
Ywalterbell ·
Master List of Logical Fallacies (2018)
113 points64 comments
Ytosh ·
Turing and Wittgenstein on Logic and Mathematics [pdf]
95 points53 comments
Ysamuel2 ·
Gödel Incompleteness for Startups (2013)
86 points38 comments
Ybmc7505 ·
Poincaré, Heisenberg, Gödel and the limits of scientific knowledge
86 points43 comments
Ytheafh ·
How Gödel’s Proof Works
58 points12 comments
YVigier ·
‘Journey to the Edge of Reason’ Review: Gödel’s Beautiful Mind
46 points22 comments
Yprivatdozent ·
Turing Uncomputability
45 points22 comments
Ympweiher ·
Why are there no return statements in Objective-S?
42 points65 comments
Yingve ·
Std: Execution, Sender/Receiver, and the Continuation Monad
42 points21 comments
Ypietroppeter ·
What is the point of Computers? A question for Pure Mathematicians
4 points3 comments