THE MAN WHO PUTTHE ENLIGHTENMENT OUT OF ITS MISERY:

Kurt Gödel and the limits of mathematics (Philosophers' Zone, 20 February 2010, ABC)

Kurt Gödel was one of the foremost mathematicians and logicians of the 20th century, best known for his famous incompleteness theorem, which tells us that there are mathematical 'blind spots': parts of mathematics that traditional methods of proof cannot access. The theorem has far-reaching consequences for computing and even for our understanding of the nature of the human mind. This week, Mark Colyvan from the University of Sydney introduces us to this strange and paradoxical result.