︎ Materialism, Turing, and Math

May 21, 2021

This seminar presents classical mathematics - both geometric and algorithmic in terms of Turing's analysis. It then goes on to how Turing's approach altered how we think about reasoning, and how his work on cryptography took off from his work on proof procedures and in turn led to the computer revolution

(Paul Cockshott)