- 主题:科学、神学、哲学和迷信
对不起对不起，
如果是计算机系用的《数理逻辑》，
你当然学过，我相信你也非常熟悉。
不仅仅是你，就这个版上学过的人也不少。
但是，我显然不是指的这个计算机系用的《数理逻辑》啊，老图！
【 在 qtpr 的大作中提到: 】
: 我懒得理偏执武断的人
:
--
FROM 182.148.74.*
数理逻辑就是数理逻辑，没有“计算机系的数理逻辑”这种东西。
哥德尔的两个不完全性定理，是数理逻辑的基本内容，零阶和一阶逻辑不完备，高阶逻辑一般不一致，这都是常识。
【 在 FirstVest 的大作中提到: 】
: 对不起对不起，
: 如果是计算机系用的《数理逻辑》，
: 你当然学过，我相信你也非常熟悉。
: ...................
--
FROM 111.167.211.*
我估计他讲应该没问题，但是通俗易懂够呛
或许某些数学或物理问题，用通俗易懂就会损失掉正确度或者严谨度？
【 在 FirstVest 的大作中提到: 】
: 哦，那我可能是冤枉你了吧。
: 既然如此，用通俗易懂的语言给大家讲一下2个哥德尔不完全性定理呗。
: 发自「快看水母 于 iPhone 13 Pro」
--
FROM 221.223.245.*
当然不一样！
计算机系的离散数学中的数理逻辑也太简单了。
这么多学计算机的，大一的基础课，
本版学过的都不知道多少，
我至于说你学不懂？
我显然指的是数学里的数理逻辑。
这么办吧，我不刁难你，就说这2个问题：
布尔巴基学派主要做了些什么？
p-adic域上的可定义群的性质？
【 在 qtpr 的大作中提到: 】
: 数理逻辑就是数理逻辑，没有“计算机系的数理逻辑”这种东西。
: 哥德尔的两个不完全性定理，是数理逻辑的基本内容，零阶和一阶逻辑不完备，高阶逻辑一般不一致，这都是常识。
:
--
FROM 182.148.74.*
这个问题完全可以讲得通俗易懂。
【 在 qianyishi 的大作中提到: 】
: 我估计他讲应该没问题，但是通俗易懂够呛
: 或许某些数学或物理问题，用通俗易懂就会损失掉正确度或者严谨度？
--
FROM 182.148.74.*
那拭目以待。。。
但我觉得他有一种反向能力，也就是能将通俗易懂变成艰深晦涩的实力
【 在 FirstVest 的大作中提到: 】
: 这个问题完全可以讲得通俗易懂。
:
--
FROM 221.223.245.*
哈哈 我也这么觉得
钱老师也看哲学书吗？
【 在 qianyishi 的大作中提到: 】
: 那拭目以待。。。
: 但我觉得他有一种反向能力，也就是能将通俗易懂变成艰深晦涩的实力
:
--
FROM 223.104.41.*
那你来给我这小白讲一下吧
我完全的小白
彻底的白的那种
【 在 FirstVest 的大作中提到: 】
: 这个问题完全可以讲得通俗易懂。
:
--
FROM 223.104.41.*
在bbs上卖弄知识有些幼稚。你找哈特儿玩去吧
【 在 FirstVest 的大作中提到: 】
: 当然不一样！
: 计算机系的离散数学中的数理逻辑也太简单了。
: 这么多学计算机的，大一的基础课，
: ...................
--
FROM 111.167.211.*
钱老师也调皮了。
【 在 qianyishi 的大作中提到: 】
: 那拭目以待。。。
: 但我觉得他有一种反向能力，也就是能将通俗易懂变成艰深晦涩的实力
:
--
FROM 182.148.74.*