This book is intended for readers who are interested in the work of Kurt Gӧdel, but have no background in mathematical logic. Gӧdel is best-known for proving the Incompleteness Theorems of arithmetic, but he did much more than that. He also made crucial discoveries in model theory, set theory, computation theory, intuitionistic logic, and even cosmology. The significance of his work and some of his innovative methods are explained with...