Posts Tagged: Kurt Gödel

Entertainment — 1 Comment
19
Feb 09

BBC Dangerous Knowledge Documentary

infinity2

In 2007 BBC Four released a documentary named Dangerous Knowledge, which is summarized on the official page as follows:

In this one-off documentary, David Malone looks at four brilliant mathematicians – Georg Cantor, Ludwig Boltzmann, Kurt Gödel and Alan Turing – whose genius has profoundly affected us, but which tragically drove them insane and eventually led to them all committing suicide.

Sounds uplifting, huh? Well, David Malone, the British filmmaker, does a really great job tracing how mathematical ideas tie together the four individuals through history. While some of the films claims are a bit…over the top and dramatic,  overall the content is solid and quite informative. There’s a lot of information given not only about mathematics, but about how these four individuals dealt with various difficult aspects of their personal lives. These videos may still be up on YouTube, but I wouldn’t hold my breath for them being there for long given the copy protection issues involved. Having said that, I won’t even attempt to embed one of the videos here. But you CAN watch a clip directly from the BBC 4 official page by clicking here. If provided with the opportunity, you should take advantage of checking it out the program in its entirety.

Editorial / Logic/Math — No Comments
14
Jan 09

Reflections on the Anniversary of Kurt Gödel’s Death

godelKurt Gödel died 31 years ago today. From the little I’ve read of his life, and from the even smaller amount that I truly grasp from his work, I believe that only in reality could such a fantastic and somewhat lamentable figure come to be. He was included in the infamous Vienna Circle, but was himself a Platonist. He was shy, reclusive, and prone to illnesses both physical and mental. He was a friend to Albert Einstein. And he shook the world of mathematics in a way that destroyed the Hilbert program. In simple terms, he showed that the mechanization of mathematics could not be fully automated, or that mathematics was not something that could be neatly placed in a box and tied up with a bow.

John W Dawson Jr. explains the first of Gödel’s Incompleteness Theorems by saying, “In his 1931 paper Gödel showed that, no matter how you formulate the axioms for number theory, there will always be some statement that is true of the natural numbers, but that can’t be proved. (That is, objects that obey the axioms of number theory but fail to behave like the natural numbers in some other respects do exist.)”

John Von Neumann, certainly one of the greatest mathematicians of the 20th century, had the following to say in a letter shortly after the publication of the Incompleteness theorems:

Thus today I am of the opinion that 1. Gödel has shown the unrealizability of Hilbert’s program. 2. There is no more reason to reject intuitionism (if one disregards the aesthetic issue, which in practice will also for me be the decisive factor). Therefore I consider the state of the foundational discussion in Königsberg to be outdated, for Gödel’s fundamental discoveries have brought the question to a completely different level.

Another way of summing this up is to say, “this work has changed the way we must view mathematics.” I have to imagine that the fame of the majority of famous people peaks in the prime of life, only to wane with time and death. Only the smallest number of people see their influence grow with time, as reflection shows their achievements to be truly monumental. Gödel, I believe, sits comfortably in the latter group.

Obviously, I have a bit of a crush.