August 3, 2021August 3, 2021 tomrocksmaths Turing Machines – the death of formalism and the birth of computer science