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
Gödel and the Theory of Everything
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. 291 - 306Publisher: Cambridge University PressPrint publication year: 2017
References
. More is different—Broken Symmetry and the nature of the hierarchical structure of science. Science
177, 1972, 393–396.Google Scholar
and . The Undivided Universe—An Ontological Interpretation of Quantum Theory.
London & New York: Routledge, 1995.
. Einsteins Relativitάtstheorie und ihre Stellung im System der Gesamterfahrung.
Dresden und Leipzig: Steinkopff, 1921.
. Ziel und Struktur der physikalischen Theorien.
Hamburg: Meiner, 1978.
. Infinite in all Directions.
London: Penguin Books, 1990.
. Major Themes in the relation between Philosophy and Cosmology. Invited paper, Venice Hubble Centenary conference (1989). Mem Ital Ast Soc
62, 1991, 553–605.Google Scholar
. Collected Works. Vol.II, ed. by et.al. New York, Oxford: Oxford UP, 1990.
. Collected Works. Vol.III, ed. by et.al. New York, Oxford: Oxford UP, 1995.
. Die Grundlagen der Physik. In: em Hilbertiana—Fünf Aufsätze von David Hilbert. Darmstadt: wbg
1964, 47–78.
. Gödel's Platonismus. In: Wahrheit und Beweisbarkeit, ed. by et. al. Wien: hpt, 1996, paging tentative.
. Subtle is the Lord.
Oxford: University Press, 1982.
. Infinito—Viaggi ai limiti dell'universo.
Milano: Mondadori, 1994.
. Physics, community and the crisis in physical theory. Physics Today,
Nov. 1993, 34–40.Google Scholar
M. Stöltzner and . Entstehen neuer Gesetze in der Evolution der Welt. Naturwissenschaften
81, 1994, 243–249.Google Scholar
. Levels of Physical Theories. In: , , (eds.): The Foundational Debate,
Dordrecht: Kluwer, 1995, 47–64.
. Time in Philosophy and in Physics: From Kant to Einstein and Gödel. Synthese
102, 1994, 215–234.Google Scholar
. Dreams of a Final Theory.
London: Vintage, 1993.
. Philosophical Reflections on GόdeΓs Cosmology. In: Wahrheit und Beweisbarkeit, op. cit.