My other Gödel videos start with: http://www.youtube.com/watch?v=B2DY8WvSOLU
and my Georg Cantor videos start here: http://www.youtube.com/watch?v=L26Ioa3WAtc
http://garygeck.com for more info.
Held at the Princeton Institute for Advanced Study
Kurt Godel A Program to Mark the Centenary Year of the Birth of Kurt Gödel was held in Wolfensohn Hall at the Institute for Advanced Study on November 17, 2006. The program, which attracted some three-hundred people, consisted of talks aimed at a general audience on the life and work of Kurt Gödel (1906-1978) and his impact on mathematics, philosophy and computer science.
Kurt Gödel was among the Institute's first Members in 1933-34, returning for further periods in the 1930s and 1940s before joining the Faculty in 1953. He remained at the Institute until his death in 1978.
Lectures on this video:
"At Odds with the Zeitgeist: Kurt Gödel's Life and Work"
John W. Dawson, Jr., The Pennsylvania State University
[He talks about the Leibniz conspiracy at around: 36:00 ]
Panel Discussion with Speakers starts at: 40:00
Moderated by Juliette Kennedy, University of Helsinki
"Kurt Gödel and Computer Science" starts at 01:19:43
Avi Wigderson, Institute for Advanced Study
Karl Sigmund (University of Vienna) starts at 01:57:40
"The Nature and Significance of Gödel's Incompleteness Theorems" starts at 02:13:49
Solomon Feferman, Stanford University