2 3 Universal Turing Machine proof
The 2 3 Turing Machine proof challenge from Wolfram has been proven! The simplest possible universal Turing Machine may now advance. thanks to Alex Smith, a 20-year-old undergraduate from Birmingham, UK, who produced a 40-page proof. There is still some controversy and time awaits the peer review, but..
![[del.icio.us]](http://images.del.icio.us/static/img/delicious.small.gif){kind=small}
Leave a Reply