@article {3148473, title = {How not to use the {C}hurch-{T}uring thesis against platonism}, journal = {Philosophia Mathematica}, volume = {19}, number = {1}, year = {2011}, pages = {74{\textendash}89}, 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.

}, issn = {0031-8019}, doi = {http://dx.doi.org/10.1093/philmat/nkr001}, author = {Urbaniak, Rafal} }