Skip to main content


Showing posts from December, 2010

The CTT paper, final version

The writing process of the paper on the Church-Turing thesis, random processes and platonism has come to an end. The paper is forthcoming in Philosophia Mathematica. A more or less final version of the paper is available here. (wrt to earlier versions, I added a bunch of remarks and answers to possible counterarguments, explained what Church randomness is and why Church-random sequences are not Turing-computable and elaborated on the intuitive source of the conceptual conflation involved).
Many thanks to Leon Horsten, Liesbeth De Mol, Robert Thomas, Jeffrey Ketland, Gualtiero Piccinini, Stanisław Dercz and two anonymous referees for discussion and comments.