未找到相关数据
Hilbert's Second Problems and Uncertainty Computing, from HCP Logic's Point of View
被引：0
|作者：
James Kuodo Huang
[1
]
机构：
[1] California Information Technology California U.S.A. (Member IEEE)
来源：
关键词：
bioinformatics;
computer science;
fuzzy control systems;
mathematical logic;
natural sciences;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Hilbert’s complete perfect (HCP) logic is introduced. The Gdel’s incompleteness theorem discloses the limit of logic.Huang’s universal consistent theorem and relative consistent theorem extends the limit of logic.The proofs of these theorems are in 2-valued logic but the completeness can be extended in the three-valued HCP logic. The author proposes HCP logic for the foundation of uncertainty computing as well.
引用
收藏
页码：36 / 42
页数：7
相关论文