思想与社会2020 · 分享于 Hacker News

ssrn.com · abstract=3603021

探索《ssrn.com · abstract=3603021》的原文与 Hacker News 社区讨论,查看来源并加入阅读清单。

阅读原文

看看社区如何讨论这个想法。

来自 Hacker News 的原始讨论。不同的视角、疑问,以及值得继续思考的线索。

最多展示 100 条相关讨论。论文可能出现在评论中,并非原帖投稿内容。

在讨论中发现的引用

按 HN 条目顺序展示最近的 50 条引用来源。

Ystopachka ·

What Gödel Discovered

1,000 赞同259 评论
Ytheafh ·

How many real numbers exist? New proof moves closer to an answer

501 赞同344 评论
Yhardmaru ·

1931: Kurt Gödel shows limits of math, logic, computing, AI

347 赞同296 评论
Ysigna11 ·

Where do type systems come from? (2017)

201 赞同181 评论
Ylawrenceyan ·

Retrospective review of Gödel, Escher, Bach (1996) [pdf]

200 赞同150 评论
Ysamcat116 ·

Swift Distributed Actors

168 赞同128 评论
Ysrijan4 ·

A few notes on message passing

151 赞同82 评论
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 评论
Ytmfi ·

Complexity No Bar to AI

120 赞同118 评论
Ychmaynard ·

Hawking Hawking

113 赞同72 评论
Ywalterbell ·

Master List of Logical Fallacies (2018)

113 赞同64 评论
Ytosh ·

Turing and Wittgenstein on Logic and Mathematics [pdf]

95 赞同53 评论
Ysamuel2 ·

Gödel Incompleteness for Startups (2013)

86 赞同38 评论
Ybmc7505 ·

Poincaré, Heisenberg, Gödel and the limits of scientific knowledge

86 赞同43 评论
Ytheafh ·

How Gödel’s Proof Works

58 赞同12 评论
YVigier ·

‘Journey to the Edge of Reason’ Review: Gödel’s Beautiful Mind

46 赞同22 评论
Yprivatdozent ·

Turing Uncomputability

45 赞同22 评论
Ympweiher ·

Why are there no return statements in Objective-S?

42 赞同65 评论
Yingve ·

Std: Execution, Sender/Receiver, and the Continuation Monad

42 赞同21 评论
Ypietroppeter ·

What is the point of Computers? A question for Pure Mathematicians

4 赞同3 评论

一个想法,引向另一个。

发现更多论文