Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel. /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Ohio Academy of Science. Section L (Mathematical Sciences)
Other Authors:	Gödel, Kurt, Bulloff, Jack J. (Editor), Holyoke, Thomas C. (Editor), Hahn, S. W. (Samuel Wilfred), 1921- (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg, New York : Springer, 1969.
Subjects:	Gödel, Kurt. Logic, Symbolic and mathematical. Mathematics > Philosophy. Grondslagen. Logica matematica. Gödelscher Unvollständigkeitssatz. Electronic books. Kongress.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Greetings from Dr. J. Robert Openheimer
Greetings from Dr. Godel
Tribute to Dr. Godel / John von Neumann
Bibliography of Kurt Godel
Realism as a philosophy of mathematics / Stephen F. Barker
The undecidability of [lambda] k conversion / Haskell B. Curry
The definability of cardinal numbers / Azriel Levy
The use of symbolic logic in proving mathematical theorems by means of a digital computer / Bernard Meltzer
A new approach to the foundations of probability / Herman Rubin
Measure-Theoretic uniformity / Gerald E. Sacks
On the cardinality of [sigma] 1/2 sets of reals / Robert M. Solovay
The universe of set theory / Gaisi Takeuti
Definition eines (relativ vollstandigen) formalen systems konstruktiver arithmetik / Edward Wette.