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)
Format: Book
Published: Cambridge : Cambridge University Press, 2011.
Online Access:CONNECT