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

9780521761444 (hardback)


Gödel, Kurt 1906-1978


Gödel's theorem
Mathematics--Philosophy