Peter Smith on “Church’s Thesis After 70 Years”
Church’s Thesis After 70 Years is a very expensive collection of new papers on the Church-Turing thesis. It was published by Ontos Verelag a few months ago. It is edited by Adam Olszewski and Jan Wolenski.An Introduction to Gödel’s Theorems is a fairly affordable, sophisticated introduction and discussion of Gödel’s Incompleteness Theorems and related topics, including the …