-
题名论实数集(连续统)的可数性及其相关问题
被引量:5
- 1
-
-
作者
沈卫国
-
机构
中国人民大学现代逻辑研究所
-
出处
《天津职业院校联合学报》
2006年第5期112-122,共11页
-
文摘
在前期研究[2][3][4]的基础上,进一步讨论了康托对角线法及实数集的可数性问题,并给出了一个证明。同时对区间套法,康托定理,哥德尔定理,选择公理等与之密切相关的一些问题,作了深入讨论并得出创新性结论。
-
关键词
连续性
可数性
康托定理
哥德尔定理
选择公理
区间套法
-
Keywords
continuity
countability
cantor theorem
Coedel incompleteness theorem
axiom of choice
nested interval method
-
分类号
O412.1
[理学—理论物理]
B021
[哲学宗教—哲学理论]
-
-
题名第二类计算机构想
被引量:1
- 2
-
-
作者
杨正瓴
-
机构
天津大学电气与自动化工程学院
-
出处
《中国电子科学研究院学报》
2011年第4期368-374,共7页
-
文摘
根据集合论中康托定理等,"定位几何曲线"被定义为第二类数———f数,并建立了相应的第二类数域F0,它们是对实数、实数域的一种本质性扩充。以第二类数为基本运算单元的计算机,是第二类计算机。人类的视觉等,是第二类计算的一些实际例子。
-
关键词
康托定理
P对NP
第二类计算机
定位实曲线
第二类数域
-
Keywords
cantor theorem
P versus NP
second class computer
locating real curve
second class number field
-
分类号
TJ02
[兵器科学与技术—兵器发射理论与技术]
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名论序数及连续统的可数性与正则公理
被引量:4
- 3
-
-
作者
沈卫国
-
机构
西北工业大学信息智能与逻辑研究所
-
出处
《天津职业院校联合学报》
2011年第5期51-62,共12页
-
文摘
在前期一系列论文及著作中([2][4][5])对实数集(连续统)的可数性、康托对角线法等问题充分讨论的基础上,对序数的可数性问题进行分析,并由此引出对ZFC公理系统中的正则公理(基础公理,限制公理)的讨论。对与斯梅尔第18问题密切相关的哥德尔定理进行了分析,得到全新结论。提出实数的一进制表示法并在此基础上讨论康托对角线法的局限性问题。
-
关键词
序数
康托对角线法
连续统
可数
正则公理
哥德尔定理
一进制实数
直觉主义悖论
丘奇悖论
-
Keywords
ordinal number
cantor diagonal method
continuum
countable
axiom of regularity
Gdel's incompleteness theorem
real number of the unitary system
paradox of intuitionalism
paradox of Church
-
分类号
O15
[理学—基础数学]
-