苏联哲学百科：实无穷与潜在可实现性的抽

 

 

实无穷的抽象

数学和逻辑学的基本抽象之一，它使人们有可能应用从接触有限总体的经验中获得的逻辑原理(特别是排中律、任意抽样原则等)来研究无限总体(无穷集)。实无穷的抽象就是撇开无穷集形成过程的未完成性和不可完成性，撇开列举无穷集全部分子的不可能性(从这个意义上说，实无穷的抽象就是撇开集的“无穷”)。参见算法、数学上的无穷、集合论。

参考书目：

[A·H．科尔莫哥洛夫]　<数学上的无穷>　载<苏联大百科全书>第5卷，莫斯科1950年第2版第73—74页；

H·A·沙宁<关于算术的几个逻辑问题>　

莫斯科1955年版。 作者：B·乌斯宾斯基，莫斯科 译者：吴祖增

潜在可实现性的抽象

 数学与逻辑学的基本抽象之一。这种抽象就是“撇开由于我们在空间和时间之中生存的局限性而带来的我们的构 造可能性上的现实界限”(A.A.马尔科夫)。参见算法。

 

参考书目：

A．A．马尔科夫, <算法论>， 莫斯科1954年版；

H．A．沙宁, <论算术的几个逻辑问题>， 莫斯科1955年版。

    译者：吴祖增