Gödel and the limits of logic
The man in the photograph 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 theorems, the implications of which are far-reaching for the foundations of mathematics and computer science.
Continue Reading https://plus.maths.org
Join the Discussion