思想与社会2019 · 分享于 Hacker News
ssrn.com · abstract=3418003
探索《ssrn.com · abstract=3418003》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Ystopachka ·
What Gödel Discovered
1,000 赞同259 评论
Yhardmaru ·
1931: Kurt Gödel shows limits of math, logic, computing, AI
347 赞同296 评论
Ypcr910303 ·
Alan Kay: Smalltalk is not about objects, it’s about messaging (1998)
318 赞同174 评论
Ympweiher ·
“What Alan Kay Got Wrong About Objects”
241 赞同231 评论
Ygjvc ·
The Evolution of Smalltalk from Smalltalk-72 to Squeak [video]
228 赞同63 评论
Ycprecioso ·
My favorite Erlang program (2013)
184 赞同54 评论
Ysamcat116 ·
Swift Distributed Actors
168 赞同128 评论
Ybmc7505 ·
Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]
135 赞同72 评论
Ytodsacerdoti ·
The Repeated Deaths of OOP (2015)
130 赞同212 评论
Ymatt_d ·
The Dawn of Formalized Mathematics
127 赞同58 评论
Ytosh ·
Swift Actors: A practical example, part 1
104 赞同36 评论
Yalokrai ·
The birth of Prolog (1992) [pdf]
100 赞同45 评论
Ysigna11 ·
The Erlang Rationale (2008) [pdf]
94 赞同38 评论
Ypjmlp ·
Pony, Actors, Causality, Types, and Garbage Collection
83 赞同29 评论
Ypcaversaccio ·
The Y Combinator
69 赞同38 评论
Ytheafh ·
How Gödel’s Proof Works
58 赞同12 评论
YVigier ·
‘Journey to the Edge of Reason’ Review: Gödel’s Beautiful Mind
46 赞同22 评论