非有数学家制造,判定性一个并。判定性问题而是天然存在的不可问题的不可半群字,是人类发现的第
就一重真实。意味着另它也
单”。于纯粹算理之“不可判定性,并不仅仅是局限中那么简
它就好像是在强调“不可判定一样。的客观性性”这个概念
成自己思维的无数连宗修士如危险。语言,居然也蕴含着丧考妣。他们实在是无法相信,构“不可判定性”的
但是,一时之间,他们甚至都找不到反驳的由头。
文字问题。这一块因为,在“语言学”,王崎就理使用算理与逻辑来处上占据着垄断地位,他
离宗的领域。这毫无疑问,就是一个
连宗甚至找不发力。到施展拳脚的点,无从
衣,王崎,这一对师“这……冯落联手灭门吗?”徒,是要
有连宗修士惊恐的喊道。
同样难受。宗,离宗也但是,相比于连
这一篇论文,可是再一次强调了“不可判定性”的地位。
所以就拿我们来下自己,手吗?”伙,为了鼓吹“这家
咬牙切齿。有离宗修士也是恨得
梁骨上一篇这论文,无疑就是一记脊王崎。砸在离宗修士的重拳,狠狠
好处有讨到是。还是连宗,都没这一下,无论离宗
但是,很快,就有连宗逍遥做出回应了。
的现阶段任务,专心了自己在征天司准备这一场论战。多位连宗逍遥已经结束
现了新的方向。居然渐渐出现在,连宗内部,
”,吸收离宗的知识他们居,用离宗的理论反击宗的“逻辑离宗。然尝试学习离
这应当算是对冯落衣利成果,进的做法进行反击研究排除指”的研而开始用连宗“切断自自指集究。
此时此刻,居然也流露出下场的意图。而出乎意料的是,一向与世无争的雪国派,
任领新论文。现袖,“雪国主”柯寞歌也发表了雪国派
对现性”的理论,进行了他名为“可实全新的叙述。
派也是连雪国宗典范,同样会对“算君执弟子,也从属于礼。直觉派”
微妙的差异。但是,的“直觉”,又有和算君雪国派的“直觉”,
法。实际上,关于“直觉”的宗修士也有不同的想构造,不同的连
的函数。文指示出了。对于任意命题,存明味着该命题的荒谬。某的事把该命题应的非命题成立的则意在对雪国主的论一个奇异非命题的证明,是的证明变换成荒谬的证,其非命题实
公理得到;(归数,所以任何两个自然0等于任何0=1,所以0也等可以则1将等于n1,在算术中纳假设)如果找到。假定0=1相等的于n1,并进行数学归纳法数都是;通过归纳,但是因为荒谬的标准例子。0等于特定自然数n,:0=0通过等同
这显然是荒谬的。
的地位。或许用自然语言等的笑话?但是在算理实是存在着重要上,它确来叙述,这就是一个低
了类似的成果。而几乎是同时,另士,也独立完一位连宗逍遥修成
写了离宗的重有些怪异的形式,重要成就——算术公理。他用一种离宗修士看来
这一下子,整个万都开始变得一法门片混沌了。
。问题的思考修士都陷之中所有用研究算学理论的入了对三个
?——我是哪边的?是连宗还是离宗
么?朝什——我在研究哪个方向?
派?还是少黎派?——我的队友是谁?歌雪国庭派?冯落衣?基派?
乱。这是前所未有的大混
基于“转化到一个算学基础上”尽管历史上,连离宗会所完成的。宗的成就,宗会吸收离吸收连宗的成就,但那都是
以几何融合算术,以分析容纳几何,这样。
他们几但现在,全的形式进行研究。夺一个乎是在以接力跑乱了,离宗和连宗从没有这样相互争领域过。
成就上进我的你研究一段之后基础上继续研究一段,行研究。,我在你的紧接着你再在
宗连宗分裂之一次出现这样混乱的景年来,头象。中古数家离后,四万
明显,但是,研分割依旧异究上却打成一团。离宗和连宗的常
可以说,他们就纯然是乱战了。
始终气势汹汹的基派,都是尤其是向来超然与争成立,却斗之外的雪国派,不可忽视的力量。以及虽然新近
雪国派与少黎派之同为连宗,间也存在分歧。
为离宗,基派与歌庭不融洽。派之间关系也同
杀成了一团。都大家彼此
离子,甚至有些极端的弟宗连宗了。终于开始不再区分
的“敌人”!以算是凡是与我方不同万法门弟子,都可
战,万法门门内也终于渐渐失去稳定。随着理论层面的混
。执律使,都甚至连维护门规的没办法保持纯粹的重力
了一批执从其他门派调来律使,保部基本安定。持万法门内门主陈景云不得不紧急
惘:“!”我只是来买好过个年啊面粉的……我只想好见到此情此景,赵清潭有些迷
啊!”“还过个屁们离宗无人无人……欺负我牙切齿:“这是欺负我们基派的年啊!”苏君宇咬
不,我觉得歌庭派是派来“。”很喜欢基的支持者,也不着……
得注意的,最值连宗逍遥”现在苏君宇挥挥手:““这不重要!”,应该是了。那个叫做海霆的
。连宗修士声名不显的大抵就属于那种行元算之算的之后天,在全万法门推的光辉,几乎都被算,正中是算主如日。海霆这一代海霆虽然也是逍主盖过去了十数年遥个体。他是在前证得逍遥的。彼时,但
过耀目的。只要直觉派连宗修士,都只—而算算君还在,那么其余所君就是皓月一般。能算星辰了—他也不会太有不,就算没有算主,
的内容,甚居然就但是,现在,这位名不遥,逍与雪国主分别独立见经传的算术公理。写了完成了相似重至
的基础上,算术,尽管在不完备与不可判的荣耀。却是离宗公理也存在着隐患,不似画天公理那样确定而完备但这在过去,定
作为连宗,吸收离太成功了宗的逻辑吸收得他。出新路来了辟,几乎开
去兴趣了,发那篇“那你要怎么做战之也只是恰逢其会而已。”中去的论?也下场吗?”赵清潭。基派是不会深入到这一层论战,应该已经失反问:“王崎对这一场论文
已。那一篇论文研究思路了。基派,就只是专注于“根基”而论战而抛出而非为。,是更大部他太清楚王崎的分的组成拼图,
了点头,“嗯,我很明白这一点。”苏君宇点看了看自己的手。
过信函但是,这些年里,他也逐渐意识到与论文交流,尽管只是通了一些事情。
广阔,去到更高的的区域里。对于,去看那算学上更他来境界越这些东西目光放到了更加高远的美经是过去说,“不周之算”已经将式了。他想要超景。王崎已
基础算学,这个不只是物质的世界也是一样。
个无比。个图景,终归是需要一惊奇又无比优的那美的算学理论去支撑王崎在地下所完成
怪吧……这一点上,他与点类似算君倒是有虽然这么说有点古
嘛?有一些想法……”“也算是完冯前辈的论这年完:“最近看了歌庭我的水平也已经起来了些派还有苏君宇笑了文,我确实又念吧?”善基派算理,成我的一点执
算海霆真人比较边缘吧,“喂,你逍遥之尊!你想要和想要干什么?”赵?”那也是清潭微微皱逍遥期修士怼吗眉:“就
嘴角扯:“我干嘛要专门去苏君宇怼一个逍扯了遥期修士呢?”
君宇就继续说道:“当然是怼连宗啦!”赵清潭正要松口气,苏
“你……”
的天资名“虽然不如王崎那家伙且,这一混战咱,源头还在好几年前,吧被人认为是有逍遥级数,但是我小时候,也确实的一们领袖的不周之算呢?份子,来做个?”苏君宇笑道:“而吧?”我作为基派结尾,也算是师出有
。赵清潭不再言语
,苏君宇便开始了研究。年还没过完的情况下于是,在
着算主给出的“相对一致性”样的方向,继续攀升是沿。的思路,寻找与歌庭派不一而他却
时候。到了新一般开往他乡转眼之间,就的星舰启航的
。赵清潭带着一种弟子,来到神京
重新熟悉起来的故乡城市,赵看着身后已经清潭有些恍惚。
这一次,苏君没有出来相宇送。
他最近一些日子的成果。将一些草稿带上。这他只是托赵清潭,是临走前,
。纸异常的沉重那些稿清潭感觉赵
的——不知道等待苏师弟。,是怎样的未来
派的了星舰。万法门弟子,上他带着那些新加入基
他乡。便回到了他
。在为那些新加入的修独找上王崎,后,报告了这半年的成就赵清潭单士开了欢迎宴之
苏君宇的那些文稿。并且,呈上了
然是……王崎粗粗一读,便是一这个啊?”惊:“啧啧,居