今天看数理逻辑,好玩。
今天看数理逻辑，看到证明狭义谓词演算公理系统的完备性证明，发现一个挺好玩
的构造：0=<0,0,0>
1=<0,0,1> 2=<0,1,0> 3=<1,0,0>
4=<0,0,2> 5=<0,1,1> 6=<0,2,0> 7=<1,0,1> 8=<1,1,0> 9=<2,0,0>
10=<...
在用三元向量即用<a,b,c> 表示情况下，n=<?,?,?>
在h元向量表示的情况下，n又该如何表示呢？
不过这与定理证明没关系，呵呵。
问题点数：100、回复次数：3Top
1 楼fallstone（天蓝）回复于 2001-11-18 15:02:40 得分 0
咦，这可以表示出来么？Top
2 楼forulong（龙行天下）回复于 2001-11-18 15:06:20 得分 0
可以的吧，用含n 的式子表示各分量，应该可以的吧？Top
3 楼wavecheng（CryingOwl）回复于 2001-11-23 13:56:17 得分 100
不用看了，反正又不考！Top
