某宗门位炼丹师,曾放豪言:“本炼丹技艺十分高超,誉满神州。将仙给炼丹炼丹,给炼丹!”找炼丹络绎绝,炼丹。,,位炼丹师觉修停滞,本打丹炉,,给炼丹呢?
著名炼丹师悖论,果替换魔位lo版,炼丹师悖论,果高表述,它等价表述方式——罗素悖论。
设性质p()表示“属”,假设由性质p确定类a——“a={|?}”。问题:a属a否立?首先,若a属a,则aa元素,a具性质p,由性质p知a属a;其次,若a属a,a具性质p,a由具性质p类组,a属a。
逻辑主义者法绕难题:件物整体否它部分?
问题造集合论法洽。
规避悖论方法,王崎知两。策梅罗-弗兰克尔公理系统【zf系统】冯·诺伊曼-博内斯-哥德尔【nbg系统】。者限定操集合方法,者则实集合与类分离,球数问题做努力,或者挣扎。
“集合论法洽,算君认输——吧承认,算集合论洽任何义。哦言空洞概念,文字游戏。”王崎蜷书房,将算君论文读遍:“且证明集合论完备……傻啊?明知条路走黑完备,证明?”
虽算君篇综述论文,更挑衅,宣告,者毕竟神州伟算,术价值。
王崎,论文价值与,它整理神州算逻辑目遇问题关键几。
握笔,却写字,几根指将它转。
通少量逻辑几乎将全部算推导——算君眼,根本算。况,王崎论做什果被方视“更滑稽戏”。
吧,球,论战很容易陷入穷尽挑骨头及身攻击。数办法通实验甩辩驳结果,论战期基本撕逼。比,球数史很客气指责戴维·希尔伯特与鲁伊兹·布劳威尔“缺乏将争斗局限术领域”品格,参公鸡服量,虚受补果。
“神州,概更加暴力方式做场吧?”知何,王崎万法门逍遥战,居隐隐兴奋。
场论战义其实增加信,釜底抽薪方其理论找漏洞,打击方术位,或者做与方相似研究,证明算造诣全碾压方,直边信消磨殆尽住主投降,另边取胜利。
,球术界略显耻方法——轻方等迈方老死,让间“证明切”。神州,诀窍实。
“果单纯攻击方其理论降低方术位……嗯,做,完全拉仇恨嘛。”
王崎很快识身穿越众巨优势。
数神州算至少半世纪落差。甚至需完全消化方理论,需将方理论进比,找其细节,很轻轻松松完“挑刺”任务。
破坏性工很难取术声望,很容易拉仇恨。王崎指望算主冯老师给t,广积粮、缓称王呢。
至全碾压……算吧。算君史强算,疑似no.·1。全碾压仅难度,相将数体系独立推导遍。据王崎保守估计,等活做完逍遥。
圈王崎悲哀,其实做基本变化,做加快脚步。
双方差距实太。
“,正因,才思啊!”王崎站活活身体,推房门向神京驻书库走。
眼,除战外,更,纯粹光彩。
习远超神州体系数,知,论算君算主,论离宗连宗,场论战败涂,胜者。
哥德尔完备定理固击碎算主完乐观梦,未,算基础依旧逻辑重铸。
【认识十老书友给推荐追书app,野果阅读!真特,车、睡靠朗读听书打间,载 】
因此,场论战,输赢反倒重。
世界伟算台竞技候,究竟够取怎辉煌呢?
————————————————————————————
王崎知方,场新风暴正酝酿。
万法门深处,算君将专著扔,笑:“,弯弯绕绕东西——希先,莫打算修回古法?”
算主希柏澈养气功夫再位被气色暗。庞莱仅仅语言嘲讽,实际刚才,直接绝强算功底将希柏澈身边弟驱逐万仙幻境。
**裸宣战。
“庞辈风采依旧啊——粗鄙论文。”
“呵呵。”庞莱笑:“次,其实件。”
希柏澈知方葫芦卖什药,疑惑。
“次回,待太久。,放任亵渎算。”庞莱眼精光闪:“,打赌吧?”
“赌什?”
“输,回。输,替。”
——————————————————————————————————————————
希尔伯特先布劳威尔先……真悲剧。布劳威尔先脾气火爆,话经脑,率先使参公鸡。幸骂整德数界,老希尔伯特先终飙,联合除爱因斯坦外哥廷根工者艹方。原先布劳威尔先很快复燃,满足收神通。布劳威尔先刚烈头——气病,并且指责希尔伯特脑坏掉………………
真悲剧。