Is mathematics consistent? (2003)

Cached

Download Links

by Hitoshi Kitada
Citations:2 - 2 self

Active Bibliography

QUANTUM MECHANICS – Hitoshi Kitada - 2003
theorem – Hitoshi Kitada, Hitoshi Kitada - 2009
An implication of Gödel’s incompleteness theorem – 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
180 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
ω-inconsistency – Hitoshi Kitada - 2003
60 Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi – Jean Gallier - 1992
57 Metatheory and Reflection in Theorem Proving: A Survey and Critique – John Harrison - 1995