Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz [and others].

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice...

Full description

Bibliographic Details
Other Authors: Baaz, Matthias (Editor)
Language:English
Published: Cambridge : Cambridge University Press, 2011.
Subjects:
Online Access:
Physical Description:1 online resource (xxiii, 515 pages) : digital, PDF file(s).
Variant Title:
Kurt Gödel & the Foundations of Mathematics.
Format: Electronic eBook
Search Result 1

Kurt Gödel and the foundations of mathematics : horizons of truth

Published: Cambridge University Press, 2011
Physical Description: xxiii, 515 pages : illustrations ; 27 cm
Book
Search Result 2