Yarden Katz writes per email:
There’s a new site out — videolectures.net — where anyone can post videos of academic lectures. Right now it’s dominated by (very good) machine learning and statistics lectures, but there’s nothing on logic or philosophy. I was looking online for videos of logic-related lectures to add, but found virtually none. There are three links to logic-type talks by Martin Davis, Saul Kripke and John McCarthy at:
http://broodsphilosophy.wordpress.com/2006/06/15/online-videos-of-philosophical-lectures/
But they do not load for me. Perhaps others know of lectures on logic available online? It’d be a great idea to make lectures available online, if anyone has access to them. Maybe your readers will know.
Also, Merry Gödelmas! Kurtele would have been 101 today.