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

命题的逻辑结构决定着人工智能的发展/王晓明
(博讯北京时间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人违纪被处分
·昆明警备区原司令员王晓明被立案侦查
博客、论坛推荐文章:
  • 《歷歷在目》15.初小時期的老師
  • 请不要污蔑史前人类为“毕加索”
  • “信仰自由”就是背叛圣经的上帝
  • 扣扣侠没把法官和警察杀掉
  • 中国人为什么打不过美国人
  • 日本人比中国人更像中国人
  • GT:习无赖的“革命”实乃“反革命”是也!
  • 正視《刀鋒上的台灣》中的「一帶一路」
  • 中国异议人士中匪夷所思的文科歧视现象
  • 猪肉屠夫莎士比亚
  • 致北京高洪明先生:
  • 美国人也崇拜秦始皇
  • 站在霸权上的思考
  • 战斗民族饿罗斯的悲哀
  • 巴山老狼惊闻大明崇祯皇帝吐出亡国之音!
  • 中国人口大崩塌,习圣君文过饰非再次乞灵专政
  • 博客最新文章:
  • 谢选骏猎人的任务成为“猎人”——新型原始社会正在成型
  • 东海一枭今日微言(向美国致敬,向特朗普致敬)
  • 藏人主张“文字狱”在西藏实施味着什么?
  • 生命禅院一切依人心而变
  • BURMA-缅甸风云蒲甘王朝与宋朝崇宁通宝
  • 移民秘笈政治庇护的误区之一:一定要受到过迫害
  • 谢选骏华盛顿不是内心的道德,而是上帝的拣选
  • 东海一枭关于“子诛少正卯”
  • 谢选骏美国也有政教合一的一面
  • 严家祺美国之音:“中国缺少葛培理”,流亡异见者追忆美国牧师
  • 上访维权中国空军大校飞行员家遭强拆过年露宿街头
  • 廖祖笙廖祖笙:千年名刹泰宁罗汉寺简介
  • 谢选骏吴小晖长得很像邓小平
  • 独往独来袁征:人类文明史上最伟大的五分钟
  • 生命禅院寻找真正的自己(四)
  • 张杰博闻安邦被接管吴小晖入狱邓小平家族命运堪忧?
  • 东海一枭儒家关于复仇的规定
    论坛最新文章:
  • 两会逼近王岐山新角色猜测又起
  • 李书福再用竞购股票跻身奔驰母厂第一大股东
  • 中国加快在西藏部署先进战机明显针对印度
  • 中国一月份几乎没有向朝鲜输出原油
  • SpaceX发射两颗通讯卫星 开启全球高速互联网计划
  • 吴敦义:两岸能否破冰关键不在陆委会主委是谁
  • 祸不单行: 回归奥运未定 俄选手吃禁药又遭逐
  • 两会前再开党中央全会 凸显习近平打破惯例
  • 新京报被公开指责为吴小晖洗地开脱
  • 美出台最大规模制裁促朝弃核 朝鲜表示不害怕
  • 北京上海人可支配钱财居中国之首
  • 巴黎农展开幕 马克龙前去展开魅力行动
  • 法国宣布预防圣战激进化的新计划
  • 美国宣布最大规模制裁朝鲜名单
  • 马克龙全天驻足第55届法国农展 农民不满四处可闻
  • 不顾俄庇护 安理会今闯叙停火议案表决
  • 美国提前在以色列建国70周年日使馆迁进耶路撒冷
  • 联系我们


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