Wednesday, 28 October 2015

Gödel and the limits of logic

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.
Read more: http://ift.tt/1jS6ek1

No comments:

Post a Comment