汪峰在吧 关注:252,603贴子:19,660,098

关于终极l普遍被认为是l的事

只看楼主收藏回复

终极l与l不一样,l是可构建宇宙,即zfc最小模型,l是v(冯诺依曼宇宙)的内模型,v=l又称可构造公理,但它限制了基数的高度所以要有一个l的扩展叫做终极l,它是zfc一致性的,它包含所有一致性的基数但是!不一致包含不了,它的成立只会抹除不一致(引用10年前伍丁论文“超越选择的大基数”)终极l的成立不能被大的基本公理反驳所以,zfc+lac+v=终极l将是完全完整的理论。论终极l的建议加上超幂公理➕地面公理➕超紧


来自Android客户端1楼2023-01-08 08:18回复
    你圈不只是你圈,包括整个自创圈就没几个人写完完整整构造,都是名词说一下或者给个冯诺依曼和l的定理当成v=终极l😅


    来自Android客户端2楼2023-01-08 08:20
    回复
      我寻思着知乎也有中文的吧?实在不行看洞虚贴的教学博客不行吗?v=l成立又成立一堆大基数当这数学是啥f坑啊


      来自Android客户端3楼2023-01-08 08:22
      收起回复
        还有这样认为的?


        IP属地:广东来自Android客户端4楼2023-01-08 15:07
        收起回复
          你说得对,但我看不懂,+3告辞


          IP属地:湖北来自Android客户端6楼2023-01-09 13:04
          回复
            V=终极L不是公理?还是说有些人乱传L和终极L分不清?还有,终极L这玩意貌似伍丁还没搞出来


            IP属地:广东来自iPhone客户端7楼2023-01-10 14:38
            收起回复
              你这是靠造谣辟谣是吧


              IP属地:广东8楼2023-01-10 14:49
              收起回复
                应某位说我造谣又不给为什么是造谣发图先自证后半段包含不了不一致(伍丁的论文是Large Cardinals Beyond Choice但这篇不是,这篇我忘了叫什么


                来自Android客户端9楼2023-01-10 17:35
                回复




                  来自Android客户端10楼2023-01-10 17:40
                  回复
                    如果我记得没错v=终极l+大基数公理一般最强伊卡洛斯是你们的观点,伍丁这v=终极l+莱因哈特呢


                    来自Android客户端11楼2023-01-10 17:43
                    回复
                      超幂公理是什么我也给出了,先不说了我姐生日捏


                      来自Android客户端12楼2023-01-10 17:50
                      回复
                        哦对了,最后一句话是最后一页的,说的是可扩展但是伍丁说的是最低超紧所以改了一下


                        来自Android客户端13楼2023-01-10 17:54
                        回复


                          IP属地:广西来自Android客户端14楼2023-01-10 17:57
                          回复
                            很好,慕容大哥(姐?)薄纱我@征服群山之星 真被人薄纱了我
                            错误整理
                            一对l认知错误(确切说是对零尖锐不存在情况下的l)
                            二集合基本词语认知错误
                            三……等我想想


                            来自Android客户端15楼2023-01-10 21:20
                            回复
                              佐证一下


                              来自Android客户端16楼2023-01-10 21:43
                              回复