亚城论坛

用户名  找回密码
 立即注册
搜索
热搜: 活动 交友 discuz
查看: 25|回复: 0

数学证明就是数学家个人意志寻找逻辑语言的镜像

[复制链接]

41

主题

47

帖子

392

积分

骑士

积分
392
发表于 昨天 05:21 | 显示全部楼层 |阅读模式



数学证明就是数学家个人意志寻找逻辑语言的镜像






导读
AI导读带你速览精华



数学证明是意识与逻辑的镜像对称,数学家寻找上帝意识的对应,却常因思维混乱与假设滥用而偏离真理。真理的诞生需要漫长训练与深刻洞察,而菲尔兹奖的年轻限制,不过是这场理性游戏中的一个玩笑。内容由AI智能生成
有用




数学命题证明,是数学家自由意志发挥的过程


是一个自我决定,即数学家的意识按照语言规则和逻辑规则将数学概念和判断联系起来,与逻辑语言形成镜像对称。语言规则和逻辑规则就是上帝的意识和意志。


什么是镜像对称,就是你照镜子时,镜子里面的你与自然的你一模一样,只是方向不同,你朝南,镜子里的你朝北,你的右耳朵在镜子里面是左耳朵。其它都是一模一样。如果你和镜子里面的你不一样,就是镜像破缺。


意识是人类经过漫长的岁月进化而成的,意识是所有的信号打包一起的感受总和。意识的属性就是是行为与记忆。数学家按照数学概念联系和逻辑规则加语言规则在保持理性的状态下推理。


大脑左半球负责语言规则,右半球负责逻辑,即灵魂-意识不能偏激。在证明推理过程还会出现实验-试验,例如画出图像检验函数是否合理。大脑新皮质负责处理高级情感和认知,如果大脑不会处理一些信号就会出现盲视。


数学家在推理时,就是用自己的意识寻找上帝的意识去对应,看是否能够一一对应·。不仅仅用自己的意识进行工作,还要知道或者意识到别人有意识,会检验自己的推理。例如,丘成桐证明卡拉比猜想得出或然判断结论,还有证明正质量猜想时用假设否定假设错误,就是一意孤行,单方面认识自己的判断,出现思维混乱以后,陈省身也不能认识。看到鸟有翅膀会飞,就认为给狗安装翅膀也会飞。


我们看到,数学家的生物进化没有完成,例如陶哲轩-陈景润-吴文俊-丘成桐等,数学家的神经中枢系统没有完善,无法接收上帝的意识信号。他们不知道别人会意识到他们的工作不可靠。看到老鼠不怕猫,是老鼠没有怕猫的意识还是他们认为猫没有意识到老鼠可以吃。


在没有制定推理规则的情况下,数学家只是一个推理的傀儡,不能保证思维的合理性,数学家推理时做出决定是随机的,因为没有制定推理规则。


就像人工智能一样没有意识,这是制造时决定的。


数学家都是“柯塔德综合征”,坚信自己的证明,这是因为大脑额叶和顶叶受损,活动能力弱,硬件受损,丧失了个性与记忆,影响自我的完整性。数学家的证明工作,即数学家自我意识不是指挥中心,只是进行概念联系组装并且解释是否合理。





论据,也称根据,数学家成为引理,是在作为论证的命题那个用来确定论题是否真实、并且自身的真实性已经得到断定的或者至少为论证所涉及各方共同接受的命题。


论证之所以必要,就在于论题真假不明显或者尚未得到确定。


于是就需要援引论据来判定真假,因此,论据的可信度必须高于论题。


如果论据的可信度不高,原有论据对论题的支持关系也就不成立。


如果作为引理的论据是一种假设,最后没有被证明,就是无效论据。


论证与推理的关系,论证总是借助推理进行,论据相当于推理的前提,论题是推理的结论。论证方式反映了论据与论题的关系。任何论证过程都是运用推理的过程,没有推理就无法构成论证。


但是,并非任何推理都是论证。论证总是现有论题,围绕论题寻找论据。这是从结论到前提的过程;而推理是从前提向结论的过度。


论证比推理复杂,构成一个复杂的论证由多个推理完成,是作为一种推理有目的的使用,即证实或者证伪,论证必定要断定论据的真实性和可接受性,否则论证的目的就不能实现。


论证链,各个论据与论题构成整个支持关系必须明确,基本论据是论证中最先引用的无需其他理由支持的论据,一般都是公理或者正确的定理。而数学家却用假设否定假设,用假设证明假设。例如丘成桐和王虹-扎尔。他们把的意识(假设)当成上帝的意识。


主论据与子论据不能互相依赖


证明过程是线性结构;每一个论据必须环环相扣。


论证过程是发散结构,必须进行收敛证实。


例如陈景润的一个证明工作,用了24条发散的引理去证明,却没有通过收敛结尾。


间接证明,包括反证法和选言证明法。


反证法是通过确定与论题相矛盾的命题的虚假来证实论题的间接论证。


步骤是:首先假定反论题为真,并从中引出谬误的推断,然后根据归谬原则,即根据假言推理的否定式,从否定谬误的推断导出对反论题真实性的否定。即断定反论题的虚假。最后根据排中律,从反论题的虚假推断出论题的真实性。


所谓谬误的推断,包括3种情况,1,推断与已知的真理相悖。2,推断本身逻辑矛盾。3,推断与所依据的假定矛盾。如果是1,既可以将1作为大前提。


选言证否法,是列举出欲证明论题的可能存在的其他论题,根据事实推理一 一将其排除和否定。


归纳假设证明和先验估计命题是数学家常犯的错误:


(1)没有进入因果关系;


(2)没有进入构成关系;


(3)无法被感知。


(4)估计和假设进入证据以后,如果从区分两类否定真理的角度来检视这一问题:


第一类涉及虚构或者主观创造的一些对象;


第二类涉及实际存在的对象。


而估计和假设的虚构的对象并不具有事务的全部属性。


(5)假设最后必须被证明才能进入证据链。


(6),假设理由的虚假性胡乱修改前提条件,得出错误结论。


(7),推理的无关性胡编乱造的结论不能算定理。


(8),隐含的假设性这些结论都有一个共同的缺陷,假设存在他们想要的内容,都是无关地联系他们预想的东西,例如张益唐和陈景润。


(9),论证的单一性这些论证都是违反演绎推理的基本规则,不能反推回去,正确的定理证明,百分之百可以倒推回去。

https://pics6.baidu.com/feed/461 ... 7d9bcfc553a75b430b1


全世界每一年产生20万条定理,几乎全部都是错误的,因为,真理的产生成本非常高,需要大量的错误作为学费,需要数学家具备强烈的洞察力和对事物深刻地了解,并且具备逻辑学和语言学的熟练操作,准确的利用演绎推理的正确格式。这个过程必须经过漫长时间的训练才能完成,40岁以下的数学家做出重要的证明几乎不可能,所以,菲尔兹奖就是一个笑话。

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver|小黑屋|Atlanta168.com

GMT-5, 2025-7-4 05:30 , Processed in 0.417524 second(s), 18 queries .

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表