The Van Leer Jerusalem Institute Aug 7, 2011 The 21st International Workshop on the History and Philosophy of Science The Origins and Nature of Computation Research Workshop of the Israel Science Foundation Professor Saul Kripke, City University of New York From Church’s Thesis to the First Order Algorithm Theorem Professor Martin Davis, New York University The Church-Turing Thesis: Consensus and Opposition 13 June 2006, Tel Aviv University To vanleer web site: Original from here:
Hide player controls
Hide resume playing