|
|
本帖最后由 ygvfe 于 2024-8-3 22:50 编辑
吴文俊先生去世，享年98岁。吴先生是首位中国国家最高科学奖的得主，因为在数学机械化方面的成就。
那么什么是数学机械化呢？就是用计算机完成数学的方程计算和命题证明。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。
机器证明数学定理已经失败。因为：
因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。
为什么机器证明数学定理是荒唐的？
首先，所有的数学定理全部都是全称判断，即“一切A是B”。。
其次，所有的全称判断的主项都是“普遍概念”或者“单独概念”。
第三，普遍概念的定义就是依据事物的属性。
有属性的定理只能够来自演绎推理，即三段论的形式。（形式）。
第四，机器不能判定属性。例如判定一个人的性别是生物化学的工作，即染色体xx是女人，xy是男人。
中国数学界就是一群乌合之众。
|
|
IP卡
狗仔卡
发表于 2022-8-8 07:47:55
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡