Рет қаралды 3,803
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
www.cs.ox.ac.u...