Materialism and number theory

Описание к видео Materialism and number theory

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/ie...

Комментарии

Информация по комментариям в разработке