November 8, 2023January 19, 2026 tomrocksmaths Mathematical Philosophy: Russell, Godel and Incompleteness
August 3, 2021January 26, 2026 tomrocksmaths Turing Machines – the death of formalism and the birth of computer science