“machines, logic and the invention of programming”