What is an Algorithm? (Revised)
- Yuri Gurevich
In Church's Thesis: Logic, Mind and Nature (eds. A. Olszewski et al.) Copernicus Center Press 2014.
This is a revised version of article What is an Algorithm?
We put the title problem and Church’s thesis into a proper perspective, and we address some common misconceptions about Turing’s analysis of computation. In addition, we comment on two approaches to the title problem, one well known among philosophers and another well known among logicians.