Product Description
Kurt Gödel (1906 - 1978) was a logician, mathematician and philosopher. He is regarded as one of the most significant logicians of all time, whose work has had immense impact upon scientific and philosophical thinking in the 20th century. Gödel is best known for three theorems about the strengths and theoretical limitations of mathematical systems. This book provides the proof for the third of his three theorems. Included is a new foreword by Richard Laver, Professor of Mathematics at the University of Colorado at Boulder, who explains in simple, non-technical terms the basic Gödel's theorems and proofs and why they are relevant and important.