Skip to main content

How not to use the Church-Turing thesis against platonism

Recently, I've written up a quick note explaining why an argument against platonism, based on the Church-Turing thesis and deployed by Olszewski (1999) doesn't work. It's here. Abstract below.
Olszewski [1999] claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. I argue that the argument relies on the illegitimate conflation of effective computability with computability by any means, and that even if it worked, it would not be an argument against platonism, but rather against any realism about truth-value of mathematical sentences.

Comments