November 8, 2023December 1, 2025 tomrocksmaths Mathematical Philosophy: Russell, Godel and Incompleteness
August 3, 2021December 15, 2025 tomrocksmaths Turing Machines – the death of formalism and the birth of computer science