博文
- 在 AI 时代对形式科学的重新思考
- 对形式科学，包括逻辑、数学、计算、语言学和哲学等，一直很感兴趣，有些甚至是我职业生涯的一部分。现在退休有时间了，试图探讨这些学科的共通点或者说是最底层相通的东西。 我过去的方法是从这五个方向分别进入，比如从逻辑、从数学、从语言学 (主要是形式学派如生成语法、范畴语法)，从计算理论，偶尔会从哲学特别是三 ...
- [转载]在 AI 时代我们对于不确定性、未知答案问题的容忍度是多少？
- 高智商最容易被忽视的标志并非好奇心或词汇量，而是对未知答案的容忍度。大多数成年人为了追求廉价的确定性而放弃了面对未解之谜的不安，而这种确定性恰恰扼杀大部分人学习的主要元凶 我们常常会把错误的东西误认为是智慧。看着着词汇量丰富的孩子，每周读三本书的朋友，以及无论你提起什么话题都能侃侃而谈的同事，我 ...
- 在 AI 时代，写博文是否还有价值？
- 热度 1
- 和我的其它文字不同，这次是想虚心征求一下各位老师的意见。退休了，现在想把精力全部放在逻辑学上。我最近在使用谷歌的 NotebookLM，感觉比一般大模型更实用，更适合做研究和学习。最近一直在学习逻辑学，也就是一般被称作《数理逻辑》的逻辑学。越学越觉得逻辑学博大精深，深不可测，但是大部分教科书 ——我这里主要指 ...
