Philosophia Mathematica

TitleHow not to use the Church-Turing thesis against platonism
Publication TypeJournal Article
Year of Publication2011
AuthorsUrbaniak, R
JournalPhilosophia Mathematica
Volume19
Number1
Pagination74–89
ISSN0031-8019
Abstract

Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out.

DOI10.1093/philmat/nkr001
Citation Key3148473