scientific article
From MaRDI portal
Publication:4023115
zbMath0826.01038MaRDI QIDQ4023115
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuum hypothesistheory of relativityfoundations of mathematicsphilosophy of mathematicsKantian philosophy
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)
Related Items (24)
RUSSELL AND GÖDEL ⋮ THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME ⋮ Unnamed Item ⋮ The paradox of the knower revisited ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ Tableaux and hypersequents for justification logics ⋮ Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach ⋮ von Neumann standard quantum mechanics is logically inconsistent ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS ⋮ In Praise of Replacement ⋮ Visualization of the Gödel universe ⋮ Kripke semantics for the logic of problems and propositions ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ Empiricism, probability, and knowledge of arithmetic: a preliminary defense ⋮ Gödel and Set Theory ⋮ Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 ⋮ Time in philosophy and in physics: from Kant and Einstein to Gödel. ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument ⋮ The Developments of the Concept of Machine Computability from 1936 to the 1960s ⋮ Gödel and Intuitionism ⋮ KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
This page was built for publication:
