This is discussed in the following google Tech Talk, "Incompleteness: a personal perspective" from Cristian Claude http://www.youtube.com/watch?v=tYjmiT422yQ h

This is discussed in the following google Tech Talk, "Incompleteness: a personal perspective" from Cristian Claude http://www.youtube.com/watch?v=tYjmiT422yQ http://www.youtube.com/watch?v=tYjmiT422yQ He discusses, amongst other things, the work done on computing this uncomputable number, and why that isn't a contradiction. I think one of the people involved is in the audience.