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

命题的逻辑结构决定着人工智能的发展/王晓明
(博讯北京时间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人违纪被处分
·昆明警备区原司令员王晓明被立案侦查
博客、论坛推荐文章:
  • 共产党中国不是西方的亲儿子
  • 中国医疗专家因涉嫌参与非法活摘 被拒参加国际会议
  • 共和党原是民主党,民主党原是共和党
  • 放屁的人都说自己的屁不怎么臭
  • 昨夜,巴山老狼梦中惊魂!
  • 金沙江流域梯级水电站潜在地质危险性调查
  • 法国政府可能参与杀害法广记者
  • 毛泽东不是中国人
  • 第一次世界大战与原子弹
  • 领袖为何最不爱国
  • 安史之乱是第二期中国文明的春秋战国的开始
  • 要求撤南沙导弹:美国对中国打压升级!
  • 埃及妖后实现了柏拉图的理想国
  • 贼鞑子伪咸丰是毛泽东的老师
  • 印第安人的复仇战争开始了
  • 【干擾袁紅冰演講場地的「外力」早已呼之欲出】
  • 博客最新文章:
  • 谢选骏竞选比赚钱更加刺激
  • 苦难的中国在生与死之间,在“政审” 封杀自媒体公众号之间,与博讯
  • 谢选骏加拿大是极乐世界吗
  • 藏人主张綠營內部的分裂、本土力量的撕裂等於政治的自殺
  • 魏紫丹长痛歌(订正稿)第廿二章问世间情为何物
  • 谢选骏红了就会被黑
  • 基督化生活帐篷房子宫殿和天堂
  • 陈泱潮17.7.啓示錄預言:末世【永遠的福音(恆約)】,要傳給各
  • 璋㈤夐獜鏂囬泦绾簡灏变細琚粦
  • 金光鸿各国应该立法禁止女性参与政治活动
  • 邱国权“培养干净人”与“饲养大肥猪”
  • 苏明张健评论共匪的慌乱不知所措,正是全民大革命大起义的良机
  • 陈泱潮17.6.基督教發祥地歐洲的基督教堂今日門可羅雀的式微狀況
  • 谢选骏没有大一统就没有同胞了
  • afaf
  • chenffafsafsfa
  • afaf1ffafsafsfa
    论坛最新文章:
  • 网信办约谈10家自媒体平台 要求全面自查自纠
  • 金正恩视察新战术武器试验
  • 中国一名被梵蒂冈认可的主教继续失踪
  • 维基解密创始人阿桑奇被美国秘密起诉
  • 欧盟敦促中国参与世贸组织改革
  • APEC峰会之际看中美太平洋军事主导权之争
  • 从重庆市万州区公交车坠江事故看三峡水库泥沙淤积问题
  • 台北故宫闭馆三年国宝南迁政策受各界强力抨击
  • 梵蒂冈与北京签约后中国天主教继续遭受迫害
  • 越南高度赞扬美国在南海的作用
  • 习近平为巴新中资“独立大道”和学校揭幕 显中国影响力
  • 彭斯:南海不属于任何国家
  • 两名前红色高棉领袖“种族灭绝”罪成立 被判终身监禁
  • 一国两制走样美拟对香港制裁京官忙辩解港府犹嘴硬
  • 习近平将到访菲律宾
  • 美已制定新策略对付中国盗取商业机密
  • 消息人士:中国已向美国提交书面贸易改革清单
  • 联系我们


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