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.
The lectures by Davis, Kripke, and John McCarthy require Windows Media Player 10. Unfortunately, they are not provided in the now-prevalent (thanks to YouTube) Flash format.I started the Davis lecture (there is someone else’s talk or an introduction at the beginning, it is not identified). These are very topical for me. Also, there is considerable other material on the philosophical side (e.g., Searle, Hofstadter, Dennett, Putnam and material on Cognitive Computing) on the “Brood Comb” site and the blog seems of high quality for an amateur such as myself.
John H. Conway has some lectures, given at Northwestern University, on his webpage:http://www.math.princeton.edu/facultypapers/Conway/Some are logic-related. (“Cantor’s Infinities”, “Gödel and Undecidability”, and “Geometry, Logic and Physics”.)