Proving Church’s Thesis (Abstract)
- Yuri Gurevich
V. Diekert, M. Volkov, and A. Voronkov (Eds.): Computer Science - Theory and Applications CSR 2007, 2nd International Symposium on Computer Science in Russia Springer Lecture Notes (2007). |
Published by Microsoft Research
This is an extended abstract of the opening talk of CSR 2007. It is based on, “A Natural Axiomatization of Computability and Proof of Church’s Thesis.”