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