Mathematics of infinity
Mathematics of infinity
复制标题
无穷大的数学
DOI：
10.1007/3-540-52335-9_54
复制
发表时间：
1988
期刊：
影响因子：
--
通讯作者：
P. Martin
中科院分区：
文献类型：
--
作者：
P. Martin
NNNO . . =((…oi) od)。~ _t，在无穷中否定的否定等的否定的否定。因为这样一个无限推进的命题没有你在有限的步骤中到达的底部，所以它为真意味着什么根本就不清楚。似乎也不清楚这个特定的说法应该是真的还是假的。（为了预测问题，根据我将采用的解释，结果是错误的。）另一种无限对象是迭代集，也就是累积层次结构意义上的集合，
NNNO..=((... oi) od.)~ _t, the negation of the negation of the negation of etc. in infinitum. Since such an infinitely proceeding proposition has no bottom that you reach in a finite number of steps, it is not at all immediately clear what it should mean for it to be true. Nor does it seem clear whether this particular one ought to come out true or false.(To anticipate matters, on the interpretation that I shall adopt, it will come out false.) An infinite object of yet another kind is the iterative set, that is, set in the sense of the cumulative hierarchy,