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

命题的逻辑结构决定着人工智能的发展/王晓明
(博讯北京时间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人违纪被处分
·昆明警备区原司令员王晓明被立案侦查
博客、论坛推荐文章:
  • 当一个娼妓刚刚“从良”走出妓院后……
  • 比尔·盖茨正在非洲制造人口炸弹
  • 通过借债治国理政谁不会呀
  • 从人口、文化渗透看中共对西藏人民的愚昧统治
  • 读史札记——读蒋氏之《中国近代史》(2){第三章自强与失
  • 莫斯科悉鄧將攻越,但相信河內足以抗中
  • 春野恋情催花叶
  • 为什么外国人难拿中国绿卡
  • 莫看三人成虎险恶心终尽解数难料破绽出
  • 孟晚舟获准保释,但华为的困境却刚刚开始
  • 达赖喇嘛应该学习一点基督教原理
  • 成大雅:1989年“427大游行”
  • 从互联网之战看义利之辩
  • 春节打脸三部曲
  • 莫看三人成虎险恶心终尽解数难料破绽出
  • 美国要成为雅典帝国还是罗马帝国
  • 博客最新文章:
  • 平宽译室最新評論:鬼祟的超級大國(三)
  • 谢选骏共产党员们怎么都不冲锋陷阵了
  • 独往独来《血红的土地》作者:中共土改残暴延续至今
  • 台湾小小妮52
  • 陈泱潮川普總統第二次國情咨文(全文)
  • 台湾小小妮51
  • 江中学子致江西省委省政府的第二封公开信
  • 谢选骏处决反对派就没有反对派了吗
  • 台湾小小妮50
  • 苦难的中国在噩耗中,为二〇一九年第一次动笔
  • 廖祖笙廖祖笙:血债派杀人李彦宏洗地
  • 谢选骏中共对美国就像和平理性的请愿者
  • 刘水咪蒙们及粉丝:现代精神乞丐
  • 张杰博闻瑞典鸿门宴暗藏杀机习近平让中国在地球上流浪
  • 严家祺第二次新文化运动
  • 谢选骏张君劢为虎作伥、首鼠两端
  • 台湾小小妮49
    论坛最新文章:
  • 默克尔:中国必须参与国际裁减核武军备进程
  • 中国科幻电影《流浪地球》引热议
  • 张爱玲九十九岁传奇 母亲闺密邢广生槟城揭秘辛
  • 特朗普:美中谈判非常顺利 暗示或延长谈判大限
  • 香港泛民派再就反对修订《逃犯条例》发声
  • 北大公布对翟天临调查结果:确认存在学术不端行为
  • 特朗普宣布国家紧急状态取得建墙经费将引发法律大战
  • 三全等11家食品企业产品被检出非洲猪瘟病毒
  • 章立凡:李锐对体制的批判之深刻超过了其他人
  • 《流浪地球》热映 中国航天雄心与问鼎科幻片
  • 特朗普盛赞中国用死刑解决毒品问题
  • 中国当局加强审查,希望重新掌控电影业
  • 尼日利亚选委会选举前夜紧急宣布推迟投票
  • 中国量子科研团队首获美国克利夫兰奖 成果为下一代安全通
  • 西班牙华人上街抗议银行歧视 数千帐户被无理冻结
  • 百岁自由派元老李锐逝世:望「拥戴领军人」文化走入历史
  • 滴滴宣布裁员15% 超过2000人面临失业
  • 联系我们


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