Is mathematics consistent? (2003)

View PDF

Download Links

by Hitoshi Kitada
Citations:2 - 2 self

Active Bibliography

QUANTUM MECHANICS – Hitoshi Kitada - 2003
An implication of Gödel’s incompleteness theorem – Hitoshi Kitada - 2009
theorem – Hitoshi Kitada, Hitoshi Kitada - 2009
Does Church-Kleene ordinal ω CK 1 exist? – Hitoshi Kitada - 2003
KIMS-2003-07-07 Does Church-Kleene ordinal ωCK1 exist? – Hitoshi Kitada - 2003
187 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
The Scope of Gödel’s First Incompleteness Theorem – Bernd Buldt, Bernd Buldt
ω-inconsistency – Hitoshi Kitada - 2003
64 A Treatise on Many-Valued Logics – Siegfried Gottwald - 2001