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

This book—the culmination of forty years of friendship between J. Hillis Miller and Jacques Derrida, during which Miller also closely followed all Derrida’s

Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity. It explain

Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of

Describes the use of computer programs to check several proofs in the foundations of mathematics.