页面有问题?请点击打印板-》打印版                  [推荐此文给朋友]
[博讯主页]->[大众观点]
   

命题的逻辑结构决定着人工智能的发展/王晓明
(博讯北京时间2018年2月05日 来稿)
    
    作者:王晓明
    

    我们在前面的文章介绍了许许多多的数学问题、特别在数论命题的证明中产生的逻辑错误,它们之中有论据错误,证明方法错误,但是最根本的还是命题中的错误。
    
    吴文俊的机器证明是个什么东西?为什么黎曼猜想无法证明?为什么费马大定理证明了全世界数学家都是白痴?为什么哥德巴赫猜想是一个初等数论问题?为什么孪生素数猜想是一个初等数论问题?为什么陶哲轩是菲尔兹奖桂冠下的数学赝品?为什么张益唐是造假事件?
    
    数论命题是数学中最简洁的命题,如果数论命题都没有搞清楚,人工智能只能在简单学习和模仿中爬行。人工智能就不可能完成创新工作(我们说的创新是指人类没有完成的工作,计算机下棋依然是模仿)。这个见解就连丘成桐也有同样感觉。
    
    数论全面溃败,是因为全世界数论学家这个群体的思维混乱和精神上的狂妄傲慢。他们像当年项羽,怎么听得韩信忠言?我自诩数论中的韩信,因为我比这些项羽们更加冷静、更加理性、更加客观。
    
    重大数论命题结构分析
    
    所有的数论命题,无论主项还是谓项,都有:
    
    一,按照属性还是实体划分
    
    1,属性概念。
    2,实体概念。
    3,属性包含实体。
    4,实体包含属性。
    
    需要说明的是,如果主项和谓项都不是属性概念,仅仅是实体概念,那就是恒等式,例如二项式“定理”,其实不是定理,只是恒等式。因为没有属性不能算定理。
    
    因为一个定理就是一个全称判断。一个全称判断的主项必须是普遍概念或者单独概念。一个普遍概念的定义就是依据这个词项的属性确定的。
    
    就是说,一个定理应该是:
    1,一种具有某种属性的事物有多少(例如素数有多少,高斯类数有多少)。
    2,一种事物是否具有某种属性(圆周率是一个超越数,e是超越数)。
    
    二,主项按照外延划分
    
    1,普遍概念。
    2,单独概念。
    3,集合概念。
    
    三,几个重要命题
    
    (一),哥德巴赫猜想
    命题:大于4的偶数都是两个素数之和。
    主项:偶数,外延性质是按照内涵定义的。属于普遍概念,是一个合理命题。
    谓项:两个素数之和,素数是属性概念,“两个素数之和”,是实体概念。
    谓项是实体概念包含属性概念。
    命题合理。
    
    (二),孪生素数猜想
    命题:孪生素数(相差2的素数对)有无穷多个。
    主项:孪生素数,外延性质是按照内涵定义的,是普遍概念,合理。同时,素数是属性,两个素数相差2,一起考虑,属于实体概念。
    即实体概念包含了属性。
    谓项:无穷多个,实体概念。
    命题合理。
    
    哥德巴赫猜想的谓项是“实体概念包含属性概念”;孪生素数猜想的主项是“实体概念包含属性概念”。
    
    (三),费马大定理
    Xⁿ+Yⁿ=Zⁿ
    费马说n=3,4,5,。。。没有整数解。
    主项:是集合概念,n有无穷多个,不合理,只能对n一个一个证明。因为世界上所有的数学定理都是普遍概念或者单独概念。
    
    谓项:没有整数解是指Z=√(Xⁿ+Yⁿ)不是有理数。是属性概念包含实体概念。
    如果费马大定理正确,z不是整数,根号是属性概念,Xⁿ+Yⁿ之和如果不是一个整数的n次方根,z就是无理数,两个数的和又是实体概念。命题是属性概念包含实体概念。
    如果不是将所有的n一次性证明,而是对n=3,4,5,。。一个个证明,就是合理命题。
    你看,n=2时我们叫做勾股定理。当然n=3,4,5,。。。等等都是一个个定理,没有一个总定理。所以说费马当年说自己找的一个证明,纯属误会。
    
    (四),黎曼猜想
    黎曼猜想:
    黎曼ζ函数,
    ζ(s)=Σ1/K^ⁿ,n=α+βi,(Σ上端是∞,下端k=1)。
    非平凡零点(在此情况下是指s不为-2、-4、-6,。。.等点的值,s=x+yi)的实数部分α是1/2。
    主项:无穷多个非平凡零点,是指这个方程的根,是一个问题的属性,也是一个集合概念,只能一个个验证。
    谓项:位于直1/2+yi线(“临界线”)上。s=1/2+βi,确立了黎曼公式的二次属性,依然是属性概念,还是一个二阶逻辑问题,是无法证明的,但是,可以逐一验证。
    
    (五),费马素数猜想
    命题:f(n)=2^2^ⁿ+1
    (其中n为非负整数)的素数有无穷多个。
    主项:指这个形状的素数,属性概念包含实体概念,n可以无穷多,又是一个集合概念。无法一次性证明。只能逐一验证。
    谓项:无穷多个。
    
    (六)梅森素数
    2^P-1的素数是否有无穷多个。
    与费马素数一样,主项是属性概念包含实体概念,还是一个集合概念,因为素数p有无穷多个。谓项无穷多个是实体概念。
    
    四,数论命题逻辑决定人工智能的未来
    
    数论已经有2000多年,从来没有人进行过命题结构和属性的研究。所以,2000年以来的数论问题,几乎是盲目的。一些已经得到证明的内容,可能也是错误的。例如“卡塔兰猜想”。
    机器证明不仅仅机器本身可能出问题,还有证明过程中的问题也无法验证,许许多多的论据是否正确也是不知道的。
    机器证明的四色定理和吴文俊搞得机器证明都是荒唐的。
    对于一个不明确的问题,机器无法证明的。这是因为机器不能理解语言的内涵,只能对外延盲目搜索。
    数学的上端是逻辑学,逻辑学的上端是语言学,机器无法突破学科链条,凌驾于人类。 [博讯来稿] (博讯 boxun.com)
(本文只代表作者或者发稿团体的观点、立场)
2211600
分享:
blog comments powered by Disqus
   
------------------------------------


相关报道(更多请利用搜索功能):
·哥德巴赫猜想、费马大定理、黎曼猜想与广义相对论量子理论大融合 /王晓明
·为素数普遍公式而作/王晓明
·为什么说孪生素数猜想只是一个初等数论问题/王晓明
·古代三大算法和算法的公式——开方公式 /王晓明
·古代三大算法和算法的公式/王晓明
·对学术规则要有敬畏之心/王晓明
·多维空间是如何构造的/王晓明
·两个数论问题的黑洞合并以后产生的引力波/王晓明
·数学家的级别/王晓明
·王晓明:从严新到潘建伟,从华罗庚到吴文俊
·紧密团结在以王晓明为核心的数学思想周围复兴数学
·诚实永远是科学人的宗教/王晓明
·王晓明:新的国家认同及其未来
·山东海阳市血案死者王晓明妻子:我丈夫真是太冤了
·央行征信中心党委书记王晓明等3人违纪被处分
·昆明警备区原司令员王晓明被立案侦查
博客、论坛推荐文章:
  • 骗子说他没有骗人大家就更加认为他在骗人了
  • 后邓时代造成的道德败坏,对中国民主化的阻碍,甚于毛泽东
  • 石三伢子毛泽东是恶魔之子
  • 香港6·16是『司法独立日』
  • 塑胶脸王毅把外交部变成了咆哮公堂
  • 国家恐怖主义与非政府恐怖主义
  • 狗命与狼命
  • 《实践论》为什么是反科学的?评毛泽东的“三论”1)
  • 狗眼与狼眼
  • 毕太岁回击求掴犬(即邱国权)之二暨回击黄花岗之一毕汝谐
  • 特朗普就是美国特首
  • Don’tAidandAbetChina’sSurveillanceState
  • 柏林危机70年
  • 柏林危机70年
  • 与台湾网友“三根木头”文章观点商榷
  • 特朗普就是美国特首
  • 博客最新文章:
  • 谢选骏没有人权只有代表权
  • 康正果悼念高教授
  • 苏明张健评论香港人不仅为自己抗争,而且是为所有的中国人
  • 台湾小小妮BBC記者實地走訪新疆「再教育營」
  • 谢选骏怪不得比尔盖茨不能毕业
  • 毕汝谐毕太岁回击求掴犬(即邱国权)之十五至二十暨回击黄花岗之
  • 独往独来全世界都在看他笑话有人劝习:再不回头万事休
  • 璋㈤夐獜鏂囬泦瑗垮煙鍖呭惈浜嗚タ鏂逛笌涓滄柟
  • 邱国权博讯网站不该把辱骂网友的东西放入“博客精选”
  • 谢选骏神道教只能否定现实
  • 邱国权希望博讯博客恢复对以前文章修改的功能
  • 谢选骏最后一个共产党员之死
  • 魏紫丹论认识过程呈阶段性的原理评毛泽东的”啥三论“4
  • 谢选骏历史传说就是集体的儿童记忆
  • 陈奎德六四30年:建立“天安门六四学”
  • 天路灵语活水周报(第235期)
  • 台湾小小妮政治作秀
    论坛最新文章:
  • 登Quai Branly博物馆看台纸糊《极乐天堂》
  • 美媒: 解放军强大但打台湾太难
  • G20大阪峰会:北京已对香港话题下噤声令
  • 港示威或国际效应 瑞典拒将一红通犯送中
  • 北京或头疼 杜特尔特翻脸谴中国南海主权主张
  • 香港与G20: 或是一次艰难的中央政治局会议
  • 美中朝互访信件频共舞 蓬佩奥盼核谈快重启
  • 可口可乐与中国蒙牛成CIO史上“最大合作伙伴”
  • 中国将把联邦快递列入华版“不可靠实体清单”
  • “捷克版特朗普”巴比斯涉贪25万人轰下台
  • 中美经贸谈判团队正在磋商
  • 香港对中国的挑战
  • 美俄以安全官员举行有关中东局势的三方会谈
  • 骂归骂 中美认真筹备习特大阪贸易谈判
  • 特朗普29日访问韩国
  • 家乐福撤出中国股价今不跌反而激升透端倪
  • 伊朗称美国无人机如果再来还会被打
  • 联系我们


    All rights reserved
    博讯是畅所欲言的场所、所有文章均不一定代表博讯立场
    声明:博讯由编辑、义务留学生、学者维护,如有版权问题,请联系我们。另外,欢迎其他媒体 转载博讯文章,为尊重作者的辛勤劳动以及所承担风险,尊重博讯广大义务人士的奉献,请转载时注明来源和作者。