Has Turing's invention of Turing machines contributed to the development of real computers, which resulted in the personal computers we currently use?
I often saw it mentioned that this is an important contribution of mathematical logic to the real world, but Turing machines are just a very theoretical model of computation, so I don't see why this should influence the development of real computers.