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

On the planet Ilmatar, under a roof of ice a kilometer thick, a team of deep-sea diving scientists investigates the blind alien race that lives below. The Terra

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