19.初等嵌入
把设计好的养猪大法(浑元呼吸法)在梦中传授给紫石英后,楚歌转身就跑到了无上净土找酒颜玩去了,紫石英又不是妹子,楚歌才懒得天天盯着他看、观察他的修炼进度,家里这么多好看的妹子为什么要天天看一个抠脚大汉?是妹子不漂亮了还是你取向变了?
无上净土……算了,不想多说了,这个养猪场的内容已经写完了,反正很nb就对了,老母牛上了飞机,nb上天了。
楚歌枕在酒颜的大腿上——看不见酒颜的脸,被挡住了——给酒颜科普了一下神学盒子的叠法,这大概是妄想序列第一次叠神学盒子,前面要么叠数学,要么叠哲学,要么叠民科……
“下面又是我最爱的数学盒子时间了,”楚歌说道,“我们先复习一下如何构建莱因哈特基数:
……说起来很复杂,其实总结起来就一句话:莱茵哈特基数基数是初等嵌入j:v→v的关键点,或者说莱茵哈特基数就是初等嵌入j:v→v的强极限。”
(初等嵌入:模型间存在的一种映射方式。假设存在实体u,语言l。m是语言l的语言模型,如果存在这么一个映射j:v→m,对于任意n元组φ(v_1,v_2,……v_n)∈u,且有u?φ,当且仅当b?φ(j_v_1,j_v_2,……j_v_n),我们将其称之为映射j是u到m的初等嵌入。或称u能初等嵌入m中,u与m的一个初等子模型同构,即u≡j(u)<m。——by数学百科。
嗯,还是不懂啥是初等嵌入的同学自己去数学百科上百科吧,大概率可能依然看不懂,我已经尽力把数学百科上的原话以最精简、易理解、最保留原汁原味的方式给你们转述出来了,不理解的话我也没办法了。顺便提一句,我前面没有写错,就是“v→v”!不是“v→m”!
既然有初等嵌入,那么必然有高等……,定义计算器或计数器:φ(0)=初等嵌入,φ(1)=高等嵌入…………
蛐蛐莱因哈特基数,不过是初等嵌入级的强极限罢了,强极限之外复有强极限,就如同阿列夫0(一个强极限基数)之上还有阿列夫1、阿列夫2……等一样,初等嵌入的强极限并不是初等嵌入的最终极限,这只是一个全新的起点罢了,而这在高等嵌入级的任意一个数、基数、序数面前屁都不是!)
……
“我老婆就是好看。”洛晨曦从沙盒世界里出来的第二天,难得去了一趟和学校。
校内老师已经对洛晨曦选择性无视了,只要他不主动挑事,爱咋咋地。
一手撑着头,洛晨曦侧着身子倚靠在课桌上目不转睛的盯着夏语遥看,相比洛晨曦的吊儿郎当,夏语遥则乖多了,妥妥的三好学生、学神。
这也是最让无数老师、学生疑惑不解的一点,两个差距如此之大的人到底是怎么谈恋爱的?在思考良久之后,只能感叹一句:造物者之玄妙。
高中生谈恋爱在学校里是明令禁止的,洛晨曦是如此之嚣张,张口闭口“我老婆”“语遥老婆”之类的话脱口而出,夏语遥也没有什么异议,甚至还有点……高兴?两人的关系不言而喻,不过考虑到两人的情况——洛晨曦几乎不怎么来学校,夏语遥也没有因此掉成绩,索性睁一只眼闭一只眼。大概过了半小时吧,洛晨曦早就趴桌子上睡着了,在洛晨曦眼里这些课听不听无所谓,先不说他脑子里的无穷无尽的知识、真理、道理、大道、……等等等等,就单单课堂上讲的这些知识——求知之路了解一下,你到第几层了?
把课堂作业写完后,自习课的下课铃声刚刚好响起,夏语遥扭头看向熟睡中的洛晨曦,略加思索后决定还是不叫醒他了,直接将手放在洛晨曦头上揉了起来,嗯,手感一如既往地棒,不知道为什么,似乎越揉手感越好。(洛晨曦资质逆天,不需要努力就能无时无刻无止境的变强,而且还是相对于永恒者等级体系这样子的体系来说都算是“大幅度变强”的那种变强速度,变强之后……手感自然就好起来了,换句话说,洛晨曦越强,摸起来手感越好。)
周围的男同学、百合向的女同学都一脸羡慕嫉妒恨的看着洛晨曦,少数几个还似乎在咬牙切齿,全校师生的女神就tm的被这个挨千刀的家伙给拱了。
不过没人敢找洛晨曦的麻烦,纵使中学时期是现代人类生命中好斗因子——尤其是因为异性而挑起的——最活跃的时期也没人敢来和洛晨曦约架,又不是没人这么干过,不过都去icu讨论人生与未来了,以及赌气运了(半身瘫痪或是全身瘫痪),久而久之也就没人敢来了。
“别闹!”被夏语遥揉醒,洛晨曦打了个哈欠,不满的说道,“昨天晚上睡得有点晚。”
对洛晨曦来说睡不睡觉都没有关系,不过已经养成习惯了,洛晨曦也没有主动剔除掉这种习惯,如果“睡眠时间不足”的话,洛晨曦还是会打哈欠,不过这只是身体习惯性的打哈欠,并不是说洛晨曦需要睡觉,毕竟身体、灵魂甚至是“意识”都能随便换、随便更替更新、随便批量制造,更不要说洛晨曦早就不需要睡觉这种行为来调理身体机能、恢复精力、减少耗能等,地球生命体需要睡觉只是因为没有更好的办法罢了。
“哦?”夏语遥眯起了眼,危险的目光盯着洛晨曦,冷冷的开口道:“你不说我还忘了,我记得昨晚你好像一晚都没回来吧?”
“额⊙?⊙!”睡眼惺忪的洛晨曦当场愣住了,刚刚睡得太香,加上压根就不觉得夏语遥会纠结这件事,下意识的就给忽略掉了,“昨天晚上我回来了啊,不过看你睡得太香就没打扰你了。”
夏语遥的神色缓和了一点,语气也温暖了一点:“所以?”
“所以我去找初音老婆了,昨天晚上我抱着初音睡的!”洛晨曦习惯性作死,语气中自带得意忘形,大实话脱口而出,反应过来的时候已经晚了。
“噢!这样啊~”夏语遥扯着洛晨曦的脸,笑吟吟的说道……
请收藏本站:https://www.skhnc.com。笔趣阁手机版:https://m.skhnc.com
无上净土……算了,不想多说了,这个养猪场的内容已经写完了,反正很nb就对了,老母牛上了飞机,nb上天了。
楚歌枕在酒颜的大腿上——看不见酒颜的脸,被挡住了——给酒颜科普了一下神学盒子的叠法,这大概是妄想序列第一次叠神学盒子,前面要么叠数学,要么叠哲学,要么叠民科……
“下面又是我最爱的数学盒子时间了,”楚歌说道,“我们先复习一下如何构建莱因哈特基数:
……说起来很复杂,其实总结起来就一句话:莱茵哈特基数基数是初等嵌入j:v→v的关键点,或者说莱茵哈特基数就是初等嵌入j:v→v的强极限。”
(初等嵌入:模型间存在的一种映射方式。假设存在实体u,语言l。m是语言l的语言模型,如果存在这么一个映射j:v→m,对于任意n元组φ(v_1,v_2,……v_n)∈u,且有u?φ,当且仅当b?φ(j_v_1,j_v_2,……j_v_n),我们将其称之为映射j是u到m的初等嵌入。或称u能初等嵌入m中,u与m的一个初等子模型同构,即u≡j(u)<m。——by数学百科。
嗯,还是不懂啥是初等嵌入的同学自己去数学百科上百科吧,大概率可能依然看不懂,我已经尽力把数学百科上的原话以最精简、易理解、最保留原汁原味的方式给你们转述出来了,不理解的话我也没办法了。顺便提一句,我前面没有写错,就是“v→v”!不是“v→m”!
既然有初等嵌入,那么必然有高等……,定义计算器或计数器:φ(0)=初等嵌入,φ(1)=高等嵌入…………
蛐蛐莱因哈特基数,不过是初等嵌入级的强极限罢了,强极限之外复有强极限,就如同阿列夫0(一个强极限基数)之上还有阿列夫1、阿列夫2……等一样,初等嵌入的强极限并不是初等嵌入的最终极限,这只是一个全新的起点罢了,而这在高等嵌入级的任意一个数、基数、序数面前屁都不是!)
……
“我老婆就是好看。”洛晨曦从沙盒世界里出来的第二天,难得去了一趟和学校。
校内老师已经对洛晨曦选择性无视了,只要他不主动挑事,爱咋咋地。
一手撑着头,洛晨曦侧着身子倚靠在课桌上目不转睛的盯着夏语遥看,相比洛晨曦的吊儿郎当,夏语遥则乖多了,妥妥的三好学生、学神。
这也是最让无数老师、学生疑惑不解的一点,两个差距如此之大的人到底是怎么谈恋爱的?在思考良久之后,只能感叹一句:造物者之玄妙。
高中生谈恋爱在学校里是明令禁止的,洛晨曦是如此之嚣张,张口闭口“我老婆”“语遥老婆”之类的话脱口而出,夏语遥也没有什么异议,甚至还有点……高兴?两人的关系不言而喻,不过考虑到两人的情况——洛晨曦几乎不怎么来学校,夏语遥也没有因此掉成绩,索性睁一只眼闭一只眼。大概过了半小时吧,洛晨曦早就趴桌子上睡着了,在洛晨曦眼里这些课听不听无所谓,先不说他脑子里的无穷无尽的知识、真理、道理、大道、……等等等等,就单单课堂上讲的这些知识——求知之路了解一下,你到第几层了?
把课堂作业写完后,自习课的下课铃声刚刚好响起,夏语遥扭头看向熟睡中的洛晨曦,略加思索后决定还是不叫醒他了,直接将手放在洛晨曦头上揉了起来,嗯,手感一如既往地棒,不知道为什么,似乎越揉手感越好。(洛晨曦资质逆天,不需要努力就能无时无刻无止境的变强,而且还是相对于永恒者等级体系这样子的体系来说都算是“大幅度变强”的那种变强速度,变强之后……手感自然就好起来了,换句话说,洛晨曦越强,摸起来手感越好。)
周围的男同学、百合向的女同学都一脸羡慕嫉妒恨的看着洛晨曦,少数几个还似乎在咬牙切齿,全校师生的女神就tm的被这个挨千刀的家伙给拱了。
不过没人敢找洛晨曦的麻烦,纵使中学时期是现代人类生命中好斗因子——尤其是因为异性而挑起的——最活跃的时期也没人敢来和洛晨曦约架,又不是没人这么干过,不过都去icu讨论人生与未来了,以及赌气运了(半身瘫痪或是全身瘫痪),久而久之也就没人敢来了。
“别闹!”被夏语遥揉醒,洛晨曦打了个哈欠,不满的说道,“昨天晚上睡得有点晚。”
对洛晨曦来说睡不睡觉都没有关系,不过已经养成习惯了,洛晨曦也没有主动剔除掉这种习惯,如果“睡眠时间不足”的话,洛晨曦还是会打哈欠,不过这只是身体习惯性的打哈欠,并不是说洛晨曦需要睡觉,毕竟身体、灵魂甚至是“意识”都能随便换、随便更替更新、随便批量制造,更不要说洛晨曦早就不需要睡觉这种行为来调理身体机能、恢复精力、减少耗能等,地球生命体需要睡觉只是因为没有更好的办法罢了。
“哦?”夏语遥眯起了眼,危险的目光盯着洛晨曦,冷冷的开口道:“你不说我还忘了,我记得昨晚你好像一晚都没回来吧?”
“额⊙?⊙!”睡眼惺忪的洛晨曦当场愣住了,刚刚睡得太香,加上压根就不觉得夏语遥会纠结这件事,下意识的就给忽略掉了,“昨天晚上我回来了啊,不过看你睡得太香就没打扰你了。”
夏语遥的神色缓和了一点,语气也温暖了一点:“所以?”
“所以我去找初音老婆了,昨天晚上我抱着初音睡的!”洛晨曦习惯性作死,语气中自带得意忘形,大实话脱口而出,反应过来的时候已经晚了。
“噢!这样啊~”夏语遥扯着洛晨曦的脸,笑吟吟的说道……
请收藏本站:https://www.skhnc.com。笔趣阁手机版:https://m.skhnc.com