Science fiction at its sense-of-wonder best. A wild chase through the billion worlds of the Tenth Millennium in search of a mythical weapon that could save civi

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equi

Berto's highly readable and lucid guide introduces students and the interested reader to Gödel's celebrated Incompleteness Theorem, and discusses some of the m