Skip to main content
SpringerLink
Log in

Foundations of Mathematics

Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

  • Book
  • © 1969

Overview

Editors:
  1. Jack J. Bulloff

    1. State University of New York at Albany, Albany, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas C. Holyoke

    1. Antioch College, Yellow Spring, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Samuel W. Hahn

    1. Wittenberg University, Springfield, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Realism as a Philosophy of Mathematics

    • Stephen F. Barker
    Pages 1-9

  3. The Undecidability of λK-Conversion

    • Haskell B. Curry
    Pages 10-14

  4. The Definability of Cardinal Numbers

    • Azriel Lévy
    Pages 15-38

  5. The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital Computer

    • Bernard Meltzbr
    Pages 39-45

  6. A New Approach to the Foundations of Probability

    • Herman Rubin
    Pages 46-50

  7. Measure-Theoretic Uniformity

    • Gerald E. Sacks
    Pages 51-57

  8. On the Cardinality of \( \sum_2^1 \) Sets of Reals

    • Robert M. Solovay
    Pages 58-73

  9. The Universe of Set Theory

    • Gaisi Takeuti
    Pages 74-128

  10. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik

    • Eduard Wette
    Pages 130-195
Back to top

Keywords

About this book

Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty­ fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac­ ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme supported by the late Director of The Institute for Advanced Study at Princeton, New Jersey, Dr. J. ROBERT OPPENHEIMER: "Logic, and Its Relations to Mathematics, Natural Science, and Philosophy." The symposium also celebrated the founding of Section L (Mathematical Sciences) of the Ohio Academy of Science. Salutations to Dr. GODEL were followed by the reading of papers by S. F. BARKER, H. B. CURRY, H. RUBIN, G. E. SACKS, and G. TAKEUTI, and by the announcement of in-absentia papers contributed in honor of Dr. GODEL by A. LEVY, B. MELTZER, R. M. SOLOVAY, and E. WETTE. A short discussion of "The II Beyond Godel's I" concluded the session.

Editors and Affiliations

  • State University of New York at Albany, Albany, USA

    Jack J. Bulloff

  • Antioch College, Yellow Spring, USA

    Thomas C. Holyoke

  • Wittenberg University, Springfield, USA

    Samuel W. Hahn

Bibliographic Information

  • Book Title: Foundations of Mathematics

  • Book Subtitle: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

  • Editors: Jack J. Bulloff, Thomas C. Holyoke, Samuel W. Hahn

  • DOI: https://doi.org/10.1007/978-3-642-86745-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin · Heidelberg 1969

  • Softcover ISBN: 978-3-642-86747-7Published: 21 May 2012

  • eBook ISBN: 978-3-642-86745-3Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XII, 196

  • Number of Illustrations: 2 b/w illustrations

  • Topics: Mathematical Logic and Foundations, Classical and Quantum Gravitation, Relativity Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation