- 主题:科学、神学、哲学和迷信
你对哲学的理解是片面和不准确的，不知道是从何而来的。
以数学哲学为例，数学研究数量的世界（假设存在的柏拉图世界），数学哲学则研究数学本身，具体说就是它的先验假设和逻辑。例如，康托对角线这种证明技术是否合法，是数学哲学的研究问题。
【 在 FirstVest 的大作中提到: 】
: 科学是用【理性】来研究解释【自然世界】；
: 神学（宗教）是用【非理性的信仰】来对待【超自然世界】；
: 哲学是用【理性】来试图研究解释【超自然世界】；
: ...................
--
FROM 111.167.211.*
我很难理解你哪来的自信做如此荒诞的判断。我看不懂数理逻辑？呵呵，我在大学里教过多年的数理逻辑。
偏执片面如斯，很难相信你是认真做科研的人。
【 在 FirstVest 的大作中提到: 】
: 1. 即使是所谓的数学逻辑这个大框里，一部分，尤其是古典部分，仍然是试图研究超自然。
: 2.分析哲学一个非常显著的特点就是不妄自尊大，不试图解释世界。
: 所以我这个分类里可以排除分析哲学。
: ...................
--
FROM 111.167.211.*
我懒得理偏执武断的人
【 在 FirstVest 的大作中提到: 】
: 哦，那我可能是冤枉你了吧。
: 既然如此，用通俗易懂的语言给大家讲一下2个哥德尔不完全性定理呗。
: 发自「快看水母 于 iPhone 13 Pro」
--
FROM 111.167.211.*
理你还是他？
【 在 myheart2023 的大作中提到: 】
: 理一下嘛
: 我正看的开心
: :
--
FROM 111.167.211.*
数理逻辑就是数理逻辑，没有“计算机系的数理逻辑”这种东西。
哥德尔的两个不完全性定理，是数理逻辑的基本内容，零阶和一阶逻辑不完备，高阶逻辑一般不一致，这都是常识。
【 在 FirstVest 的大作中提到: 】
: 对不起对不起，
: 如果是计算机系用的《数理逻辑》，
: 你当然学过，我相信你也非常熟悉。
: ...................
--
FROM 111.167.211.*
在bbs上卖弄知识有些幼稚。你找哈特儿玩去吧
【 在 FirstVest 的大作中提到: 】
: 当然不一样！
: 计算机系的离散数学中的数理逻辑也太简单了。
: 这么多学计算机的，大一的基础课，
: ...................
--
FROM 111.167.211.*