主题:读维特根斯坦(数学和逻辑) -- texasredneck
共:💬12 🌺73
正整数是一个包含无限元素的集合,意味着不可能数出来
数理逻辑中,正整数,也就是自然数,是无穷的,但可数。它含有无穷多个元素,所以数不完,但无论多么大的一个自然数n,理论上都是可以由1到2,到3,...,到n数出来的。没有读过你引用的书,也许我们对“可数”的理解不同。
另外提点小建议,能不能写成:数@ := 《数(0)》,数@@ := 《数(0),数(1)》,数@@@ :=《数(0),数(1),数(2)》,这样可能好理解些。另外,不知道原书是怎么写的,在离散数学里集合一般用{}表示,也就是可把《》换成{}。提点建议,如有理解不对或冒昧之处请见谅。
- 相关回复 上下关系8
🙂读维特根斯坦(数学和逻辑) 66 texasredneck 字8754 2013-03-14 10:48:50
🙂不知道文章前半部分与数理逻辑的关系
🙂两个可数意思不同 3 庄汀 字413 2013-03-16 06:05:51
🙂谢谢你的回复,的确有点问题 2 texasredneck 字356 2013-03-15 18:24:40
🙂没想到1,2,3里面的名堂还介么多,俺大头装不下 大头大头 字60 2013-03-15 15:53:52
🙂大头兄如此可爱,就贡献两个例子給大头兄看看 ZhenXi 字335 2013-03-18 12:41:08
🙂好文,把一些习以为常的公理内在联系说出来了! 卢克 字62 2013-03-15 11:55:33
🙂我的理解是逻辑包括归纳和演绎两种推理方法 ZhenXi 字56 2013-03-17 22:31:37