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.bqgbb.cc。笔趣阁手机版：https://m.bqgbb.cc
无上净土……算了，不想多说了，这个养猪场的内容已经写完了，反正很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.bqgbb.cc。笔趣阁手机版：https://m.bqgbb.cc