Mathematical logician Kurt Gödel was a prodigy who by 1931 at the age of just 25 had already published his landmark incompleteness theorems. Many people are familiar with Gödel’s name but have only a vague idea of why he is such an important figure. This brief biography gives a summary account of it.
In 1931, Gödel published results in formal logic that are considered landmarks of 20th-century mathematics. Gödel demonstrated, in effect, that hopes of reducing mathematics to an axiomatic system, as envisioned by mathematicians and philosophers at the turn of the 20th century, were in vain. 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.
[Read more…]
