"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

The most important computer is the one that rages in our skulls and ever seeks that satisfactory external emulator. The standarization of real computers would be a disaster - and so it probably won't happen.