Is mathematics consistent? (2003)

Cached

Download Links

by Hitoshi Kitada
Citations:1 - 1 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
ω-inconsistency – Hitoshi Kitada - 2003
1 Dynamic Properties of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
Extensions, Automorphisms, and Definability – Robert I. Soare
3 Towards a theory of intelligence – Peter Kugel
3 Computability and Incomputability – Robert I. Soare
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
Computable Content of Vaughtian Models – Robert I. Soare - 2006
Turing’s Economics -- A Birth Centennial Homage – K. Vela Velupillai - 2012
10 Codable Sets and Orbits of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
2 Physical Constraints on Hypercomputation – Paul Cockshott , Lewis Mackenzie , Greg Michaelson - 2008
33 Computability and recursion – Robert I. Soare - 1996
Syntactic Characterization In Lisp Of The Polynomial Complexity Classes And Hierarchy – Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino - 1997
An Intensional Investigation of Parallelism – Denis Dancanet - 1994
Decision Procedure for a Fragment of Temporal Logic of Belief and Actions with Quantified Agent and Action Variables – Regimantas PLIUSKEVICIUS, Aida PLIUSKEVICIENE - 2004
1 Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves – Jean Gallier, Jean Gallier - 1995