I’ve returned from attending the inaugural ‘Alan Turing Lecture’, celebrating Turing’s genius and pioneering Computer Science work. It was held at his (and incidentally mine) alma mater.
The Turing Machine model is a very clever and accessible way of thinking about computation. An advantage it has over the equivalent (and elegant) Lambda Calculus, is that it is easier to do time complexity analysis.
I’ve left feeling inspired and re-energised. Some parts of Software Engineering can sometimes feel like a poor approximation of Computer Science - it’s always good to revive the connection 😊