August 3, 2021January 26, 2026 tomrocksmaths Turing Machines – the death of formalism and the birth of computer science
September 22, 2020December 23, 2025 tomrocksmaths Royal Institution: The Million-Dollar Equations Part 1