100th anniversary of the birth of Kurt Gödel
2006 marks the 100th anniversary of the birth of Kurt Gödel (1906-1978), the foremost mathematical logician of the twentieth century. Gödel developed his incompleteness theorems in 1931. They describe the limitations of formal mathematical systems. His theorems were seen as a bombshell which shook the world of mathematics.
Pauline Newman profiles the life of Kurt Gödel.
http://www.abc.net.au/rn/scienceshow/stories/2006/1807626.htm