Gödel's Incompleteness Theorem, which proved that no formal mathematical system can demonstrate every mathematical truth, is a landmark of modern thought. It's a simple but profound statement, but the ...

Peter Woit's review of Max Tegmark's "Our Mathematical Universe" (Books, Jan. 18) emphasizes the role of math in physics but leaves out the work of 1930s mathematician Kurt Gödel and his ...

The reticent and relentlessly abstract logician Kurt Gödel might seem an unlikely candidate for popular appreciation. But that’s what Rebecca Goldstein aims for in her new book Incompleteness, an ...