Hacker News new | ask | show | jobs
by Squonk42 2919 days ago
Extract from http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/...

"We can therefore say that, from an abstract theoretical perspective, the computing model of the Z3 is equivalent to the computing model of today's computers. From a practical perspective, and in the way the Z3 was really programmed, it was not equivalent to modern computers."