August 3, 2021August 3, 2021 tomrocksmaths Turing Machines – the death of formalism and the birth of computer science
February 19, 2019February 19, 2019 tomrocksmaths Maths, but not as you know it… (St Hugh’s College Oxford Magazine)