UTM is an unsolvable problem.
We should keep in mind that since a UTM requires infinitly long tape there does not exits a mechanical implementation, since all our representations of storage are by nature finite.
However, we can take memeory to be infinite, (i.e. when we need more space on the tape, we add more memory sticks) thus making a general computer theoretically able to simulate a UTM.
Interesting project nonetheless.
N. Korea and Iran are going to get attacked.
By refusing nuclear inspections will start the way, war is America's only hope to stimulate their economy thats the real reason.
Slashdot Mirror
UTM is an unsolvable problem. We should keep in mind that since a UTM requires infinitly long tape there does not exits a mechanical implementation, since all our representations of storage are by nature finite. However, we can take memeory to be infinite, (i.e. when we need more space on the tape, we add more memory sticks) thus making a general computer theoretically able to simulate a UTM. Interesting project nonetheless.
N. Korea and Iran are going to get attacked. By refusing nuclear inspections will start the way, war is America's only hope to stimulate their economy thats the real reason.