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

命题的逻辑结构决定着人工智能的发展/王晓明
(博讯北京时间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人违纪被处分
·昆明警备区原司令员王晓明被立案侦查
博客、论坛推荐文章:
  • 中国为什么不会崩溃
  • 警察街头扫描手机内容新疆式维稳监控扩散
  • 中国不可以说不
  • 档案铁证:红朝秘闻:陈云手令山西八路军贩毒
  • 档案铁证:中国20至40年代的大毒枭是中共
  • 鲜为人知:斯大林逼迫蒙古大屠杀中国侨民一个不留!
  • 美军才是人民的军队
  • 《天堂夢醒》三、拼命搏殺
  • “妄议中共”比“妄议中央”处罚更重
  • 经济崩盘只会更加强化习近平权力
  • 真冒险与假冒险
  • 永遠的安娜.卡列尼娜
  • 中国的崩溃与重建才是人类社会里规模最大的
  • 刘国梁的哥哥刘国栋:请你闭嘴!
  • 蚂王在蚁国如此操纵蚁民的生死
  • 三国演义和三国志哪个更真实
  • 博客最新文章:
  • 徐永海论述宇宙都在上帝手心里是上帝给我的使命
  • 胡志伟【附件3】徐伯陽短函
  • 藏人主张中国海外民运组织第一次公开承认“民族自决权”
  • 胡志伟喻舲居何許人也?
  • 曾节明计划生育必导致“计划死亡”
  • 紫电揭开剩余价值和抽象劳动的秘密
  • 明暗經緯錄民進黨違憲暴力組織集團,讓台灣陷入無愛的恐怖狀態
  • 谢选骏老龄社会的颤栗哀鸣
  • 胡志伟喻舲居何許人也?
  • 东海一枭今日微言(化解各种宗教隐患和冲突的最好法门)
  • 谢选骏樱花是日本人的公共生殖器就像是艺妓
  • 胡志伟喻舲居何許人也?
  • 苏明张健评论习近平和它的匪类政权焉得不垮
  • 谢选骏胡鞍钢成了坏人的代号
  • 曾节明特疯子的贸易战,客观上帮了习近平复辟毛共的大忙
  • 生命禅院奔向高潮拥抱精彩人生
  • 谢选骏蛮力巧计将计就计
    论坛最新文章:
  • 莫斯科谴责联合国“阻碍”叙利亚重建
  • 莫斯科谴责联合国“阻碍”叙利亚重建
  • 阿富汗塔利班武装拒绝政府的停火提议
  • 马赛国际商贸城在希望与犹豫中起步
  • 中国网民破8亿 中等教育程度群为主
  • 中国调查境内三起非洲猪瘟可能关联性
  • 伟大的民主预言家托克维尔之七:民主的危险
  • 印度克勒拉省百年不遇洪灾遇难者升至400人
  • 中国开发网攻技术介入邻国政治?
  • 苹果:已将非法彩票赌博APP自中国商店下架
  • 潘永忠 :警钟长鸣:防范“文革”恶梦重演
  • 两韩3年来首次重启离散家庭团聚会
  • 自由了!八年危机后 希腊成功脱离纾困岁月
  • 转移焦点 特朗普:只盯着俄国的傻瓜们,看看中国!
  • 无人机袭击手段成为新的威胁
  • 美国报纸与美国总统之战
  • 马哈蒂尔在京寻援 吁中国帮助解决马国财政问题
  • 联系我们


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