I've had on my "to blog about" list for months the Wolfram Prize to prove that a certain 2,3 Turning Machine is universal.
Well, in the mean time, Alex Smith has gone and won the prize. I'll still blog about the theory behind the prize, though, and maybe eventually say some things about the proof (pdf).
Created: Nov. 4, 2007
Last Modified: Nov. 4, 2007
Author: James Tauber
The original post was in the categories:
but I'm still in the process of migrating categories over.
The original post had 2 comments I'm in the process of migrating over.