Kurt Gödel is widely recognized as being one of the premier mathematical logicians of all time whose incompleteness theorems revealed a stunning limitation on the limits of the axiomatic approach. “His findings put an end to logicist efforts such as those of Bertrand Russell and Alfred North Whitehead and demonstrated the severe limitations of David Hilbert’s formalist program for arithmetic.” He was also notoriously eccentric. After suffering from severe digestive disorders due to an ulcer, later in life he became convinced that he was being poisoned and his wife acted as his food taster. But his digestive problems and his refusal to eat led to him finally dying of starvation in 1978 at the age of 71.
[Read more…]
