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