Pages that link to "Item:Q4023115"

The following pages link to Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman (Q4023115):

Displaying 38 items.

• The paradox of the knower revisited (Q392283) (← links)
• Tableaux and hypersequents for justification logics (Q408538) (← links)
• Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)]. (Q1252211) (← links)
• von Neumann standard quantum mechanics is logically inconsistent (Q1401064) (← links)
• Time in philosophy and in physics: from Kant and Einstein to Gödel. (Q1578762) (← links)
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
• Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
• Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
• Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others. (Q2732560) (← links)
• Current status of the foundations of mathematics. Translated from the English by J. M. Almira. (Q2968887) (← links)
• Pythagorean triples: uniform distribution and geometrical applications. II (Q3024733) (← links)
• All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)
• Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
• The Gödel Editorial Project: A Synopsis (Q3370617) (← links)
• Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 (Q3389718) (← links)
• Collected works. Volume I: Publications 1929--1936. Ed. by Solomon Feferman et al. (Q3720554) (← links)
• Gödel and Carnap in Vienna (Q3976583) (← links)
• Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al (Q3997237) (← links)
• (Q4787957) (← links)
• (Q4787958) (← links)
• (Q4859908) (← links)
• KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES (Q5019782) (← links)
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
• Visualization of the Gödel universe (Q5141418) (← links)
• The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
• Gödel and Intuitionism (Q5250219) (← links)
• GÖDEL’S NOTRE DAME COURSE (Q5283448) (← links)
• RUSSELL AND GÖDEL (Q5283450) (← links)
• CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS (Q5381037) (← links)
• In Praise of Replacement (Q5388757) (← links)
• Gödel and Set Theory (Q5421029) (← links)
• (Q5704851) (← links)
• GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
• Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach (Q6098747) (← links)
• Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
• Kurt Gödel and the logic of concepts (Q6585148) (← links)
• Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History (Q6650261) (← links)