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