Videos

Wittegenstein, Logicism, and “Buck-Stopping” Identifications of Numbers
December 13, 2011
The Hebrew University of Jerusalem
Twenty-Fifth Annual International Workshop on the History and Philosophy of Science

Non-Standard Models and Gödel’s Theorem
October 5, 2012
The Graduate Center, CUNY
70th Birthday Celebration Honoring Melvin Fitting

From Church’s Thesis to the First Order Algorithm Theorem
June 13, 2006
Tel Aviv University
Twenty-First Annual International Workshop on the History and Philosophy of Science

https://www.youtube.com/watch?v=D9SP5wj882w?