Documentary about infinite and its implications in mathematics (BBC)
http://www.youtube.com/watch?v=Cw-zNRNcF90
As usual, Gregory Chaitin on the history of logic
http://www.youtube.com/watch?v=HLPO-RTFU2o
Another one about logic and artificial intelligence
http://www.youtube.com/watch?v=nA3m9jgMp3U
