当UNOCF推演达到4^^4时，会显示下一个序数为deduce(w)=w_1，但是这很不合理，因为w_1没有长度为w的基本列，所以只有以下可能
0，在w之前就到达w_1了，但是这里说的是下一个序数
1，其实并不会达到w_1，只会达到2-投影序数
反正就是不太合理
0，在w之前就到达w_1了，但是这里说的是下一个序数
1，其实并不会达到w_1，只会达到2-投影序数
反正就是不太合理
序数增量吧 关注：762贴子：75,629
- 4回复贴，共1页
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频！
看高清直播、视频！
贴吧热议榜
- 1Shy哥嘴硬王者,输T1赖运气2159490
- 2村里发房子!甘肃受灾群众喜提新屋2081011
- 3法式幽默,高官给求职女下利尿剂1959552
- 4媒人瞒娃骗婚!小伙险被坑成接盘侠1778004
- 5还债新方法,结婚化债震碎三观!1761448
- 6美依礼芽顺利演出,绣红旗真有用1603825
- 7痴人说梦,日本妄想稀土卡中国脖子1421736
- 8283万大军战国考,估分时间到1017382
- 9清者自清血洗弹幕!ELK离队引群嘲836308
- 10历史重演,石破茂预警日本偷袭中国730674
