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

Other Authors: Baaz, Matthias,
Format: Book
Language: English
Published: Cambridge : Cambridge University Press, 2011.
Online Access: CONNECT