智能AI
morning
人工智能解锁哥德尔笔记本，据说其中包含数百个已证明的定理
摘要
【HN用户评论摘要】 The stuff about Gabelsberger shorthand sounds ludicrous to me. My father would write notes in a custom version of it until his death 2020.Officially (i.e. in schools teaching stenography, b...
his
the
was
that
about
Gabelsberger
shorthand
but
maybe
who
2026-11-14
1 阅读
约1分钟阅读
bookofjoe
字号:
【HN用户评论摘要】
关于 Gabelsberger 速记的东西对我来说听起来很可笑。我父亲会用它的定制版本写笔记，直到 2020 年去世。官方（即以前在教授速记的学校）它很久以前就被“统一的德语速记”（Deutsche Einheitskurzschrift IIRC）所取代，但他一直认为 Gabelsberger 更优秀。好吧，也许他也是世界上能读懂它的 6 个人之一（或者是的，也许这是夸张的，我不确定）：D
我不记得确切的引用，但我相信我读到哥德尔（在普林斯顿散步时）向爱因斯坦吐露了他对自己的工作被遗忘的深切担忧。如果他知道就好了。
听到哥德尔所追求的这 14 个新的逻辑主题会很有趣！
> 晚年愈发偏执，拒绝吃妻子未煮过的食物，并于1978年饿死天才常常伴随着副作用
原始链接：https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths
这篇文章对您有帮助吗？
订阅66必读
每日精选科技资讯，直达你的邮箱