看到维基相关讨论对某个汉语词语的用法/适用范围/存在正当性纠结程度之深之细，我似乎充分理解了一个事实，数理逻辑的许多（抽象到我想象不出来为什么会有人耗尽心力的）工作（如死抠集的概念以至于提出了类），很可能仅仅是闲得蛋疼的本性使然，而非对自己的职业有什么强烈的危机/使命/骄傲感。

6月2天前 via mobile

• @ppluvu □ - 数理逻辑是计算机科学的基础
• @yushenjushi 笙歌看水 - @□ 虽然我对计算机近乎一窍不通，但我觉得你大概太高估两者的联系了，绝大部分数理逻辑的成果计算机都不需要，研究本身也不是为了计算机服务的，举个例子，计算机能写递归函数显然不是因为数学证明了递归定义的合理/有效性。
• @ppluvu □ - 从这几本书的简介和目录就可以看出两者的联系有多大了 https://book.douban.com/subject/2350551/ https://book.douban.com/subject/4323391/ https://book.douban.com/subject/2245095/
• @ppluvu □ - 可能我该说理论计算机科学更不容易被误解吧，但tcs就是cs的基础啊
• @yushenjushi 笙歌看水 - @□ 我原吐槽的意思的数理逻辑里有很多概念和想法看不出强迫症以外的意义，你的回复根据我的理解是“它们是计算机的基础所以很有意义”，我的回复的意思是那些内容大多和计算机无关（可能递归的例子不是很好）。当初学校只有计系才开数理逻辑导引，我还不至于否认数理逻辑和计算机的联系……