B. Jack Copeland is Professor of Philosophy at the University of Canterbury, New Zealand, Director of the Turing Archive for the History of Computing, and Honorary Research Professor of Philosophy at the University of Queensland, Australia.
Carl J. Posy is Professor of Philosophy and Member of the Centers for the Study of Rationality and for Language, Logic, and Cognition at the Hebrew University of Jerusalem.
Oron Shagrir is Professor of Philosophy and Former Chair of the Cognitive Science Department at the Hebrew University of Jerusalem. He is currently the vice rector of the Hebrew University.
4: The Church-Turing "Thesis" as a Special Corollary of Gödel’s Completeness Theorem
-
Published:2013
Saul A. Kripke, 2013. "The Church-Turing "Thesis" as a Special Corollary of Gödel’s Completeness Theorem", Computability: Turing, Gödel, Church, and Beyond, B. Jack Copeland, Carl J. Posy, Oron Shagrir
Download citation file: