Gödel and the limits of logicKurt Gödel. Photograph by Alfred Eisenstaedt, taken from the Gödel Papers courtesy of Princeton University and Institute for Advanced Study. The man in the photograph on the right looks formal, reserved and somewhat undernourished. His face and his writings are unfamiliar to most, except for a few philosophers and mathematical logicians. He was Kurt Gödel, celebrated for his incompleteness theorem
