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...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.展开更多
文摘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.
