Proving Church’s Thesis (Abstract)

Yuri Gurevich

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). | January 2007

Published by Microsoft Research

Publication

Download BibTex

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.”