Book contents
- Frontmatter
- Contents
- Preface
- Part I Invited Papers
- Part II Contributed Papers
- Gödel's Ontological Proof Revisited
- A Uniform Theorem Proving Tableau Method for Modal Logic
- Decidability of the Class in the Membership Theory NWL
- A Logical Approach to Complexity Bounds for Subtype Inequalities
- How to characterize provably total functions
- Completeness has to be restricted: Gödel's interpretation of the parameter t
- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits
- Information content and computational complexity of recursive sets
- Kurt Gödel and the Consistency of R##
- Best possible answer is computable for fuzzy SLD-resolution
- The finite stages of inductive definitions
- Gödel and the Theory of Everything
- References
A Bounded Arithmetic Theory for Constant Depth Threshold Circuits
from Part II - Contributed Papers
Published online by Cambridge University Press: 23 March 2017
Edited by
Book contents
- Frontmatter
- Contents
- Preface
- Part I Invited Papers
- Part II Contributed Papers
- Gödel's Ontological Proof Revisited
- A Uniform Theorem Proving Tableau Method for Modal Logic
- Decidability of the Class in the Membership Theory NWL
- A Logical Approach to Complexity Bounds for Subtype Inequalities
- How to characterize provably total functions
- Completeness has to be restricted: Gödel's interpretation of the parameter t
- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits
- Information content and computational complexity of recursive sets
- Kurt Gödel and the Consistency of R##
- Best possible answer is computable for fuzzy SLD-resolution
- The finite stages of inductive definitions
- Gödel and the Theory of Everything
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Gödel '96Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy, pp. 224 - 234Publisher: Cambridge University PressPrint publication year: 2017
References
, and , 1965, Introduction to General Relativity, McGraw-Hill, New York.
and (eds.), 1995, Mack's Principle: from Newton's Bucket to Quantum Gravity, Einstein's Studies Vol.6, Birkhauser, Boston, Basel, Berlin.
and (eds.), 1986, Cosmological Constants: Papers in Modern Cosmology, Columbia University Press, New York.
, 1973, Ontology and the Vicious-Circle Principle, Cornell University Press, Ithaca.
, 1917, “Kosmologische Betrachtungen zur allgemeinen Relativitäts-theorie,” Sitzungsberichte der Preussischen Akad. d. Wiss., Berlin, pp. 142–52; for an English translation see Bernstein and Feinberg, 1986, pp. 16–26; Lorentz et al., 1952, pp.175–88.
, 1918, “Prinzipielles zur allgemeinen Relativit'atstheorie,” Annalen der Physik, 4th ser., 55, pp.241–44.Google Scholar
, 1983, Foundations of Space-Time Theories, Princeton University Press, Princeton, New Jersey.
, 1944, “Russell's mathematical logic,” in (ed.), 1944, The Philosophy of Bernard Russell, Northwestern University Press, Chicago, pp. 123–153.
, 1949a, “An example of a new type of cosmological solutions of Einstein's field equations of gravitation,” Rev. Mod. Phys., 21, pp.447–50.Google Scholar
, 1949b, “A remark about the relationship between relativity theory and idealistic philosophy,” in Schilpp, 1970, pp.557–62.
, 1950, “Rotating universes in general relativity theory,” in , , and (eds.), Proceedings of the 1950 International Congress of Mathematics, Providence RI, American Mathematical Society, 1952, I, pp.175–181.
, 1962, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, (tr.) with Introduction by , Basic Books, New York.
, 1990, Collected Works,
et al. (eds.), Vol. 2: Publications 1938–1974, Oxford University Press, Oxford.
, 1991, The Incomplete Universe: Totality, Knowledge and Truth, a Bradford Book, The MIT Press, Cambridge, Mass., London.
, 1974, Philosophical Problems of Space and Time, Boston Studies in the Philosophy of Science, XII, Reidel, Dordrecht.
and , 1973, The Large Scale Structure of Space-Time, Cambridge University Press, Cambridge.
, 1989, The Invented Universe: The Einstein-De Sitter Controversy (1916–17) and the rise of relativistic cosmology, Clarendon Press, Oxford.
, , and , 1952, The Principle of Relativity, with notes by , Dover, New York.
, 1984, “‘Time travel’ in the Gödel-universe,” Proceedings of the Philosophy of Science Associations, 2, pp.91–100.Google Scholar
, 1987, “A note about closed timelike curves in Gödel space-time,” J. Math. Phys., 28, pp.2427–30.Google Scholar
, 1965, The Measure of the Universe, Clarendon Press, Oxford.
, 1982, Subtle is the Lord, Oxford University Press, Oxford.
, 1981, “Time travel in Gödel's space,” General Relativity and Gravitation, 13, pp.1073–91.Google Scholar
, 1995, Beyond the Limits of Thought, Cambridge University Press, Cambridge.
, 1965, The Foundations of Mathematics, Routledge &: Kegan Paul, London.
(ed.), 1970, Albert Einstein: Philosopher-Scientist, Open court, La Salle, Illinois.
, 1967, Completeness in Science, Appleton-Century-Crofts, New York.
, 1995, Philosophy of Physics, Oxford University Press, Oxford.
, 1970, On the paradoxical time-structures of Gödel,” Phil, of Science, 37, pp.589–601.Google Scholar
, 1974, From Mathematics to Philosophy, Routledge, London.
, 1991, Reflections on Kurt Godel, the MIT Press, a Bradford Book, Cambridge, Massachusetts (3rd printing).
1991, The Disappearance of Time: Kurt Gödel and the Idealistic Tradition in Philosophy, Cambridge University Press, Cambridge.