Materialism and number theory
Channel: Paul Cockshott
Date: 14/12/2023

A critique of Cantor's idealism in maths with a constructive counter argument to his diagonal procedure.
The counter argument given here was presented by us in Chapter 5 of 
Cockshott, Paul, Lewis M. Mackenzie, and Gregory Michaelson. Computation and its Limits. OUP Oxford, 2012.
An independent development of the same basic argument was also given in
Kotani, K. (2016) A Refutation of the Diagonal Argument. Open Journal of Philosophy, 6, 282-287. doi: 10.4236/ojpp.2016.63027.
 
The original paper by Turing is available here
https://www.cs.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf