Kurt Gödel and the foundations of mathematics : Horizons of truth /
Edited by Mattias Baaz; Christos H. Papadimitriou; Hilary W. Putnam; Dana S. Scott; Charles L. Harper, Jr.
- 1st publ.
- New York : Cambridge University Press, 2011.
- XXIII, 515 p. : photos ; 26 cm.
Includes bibliographical references and index
Contents: I. Historical context: Gödel's contributions and accomplishments: Gödel's historical, philosophical, and scientific work; II. A wider vision: The interdisciplinary, philosophical, and theoretical implications of Gödel's work; III. New frontiers: Beyond Gödel's work in mathematics and symbolic logic