הסדנה הבינלאומית השנתית העשרים ואחת בהיסטוריה ופילוסופיה של המדע
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
13 June 2006, Tel Aviv University
To vanleer web site: http://www.vanleer.org.il/eng
