Prev: Polynomial expansion
Next: galaxies form a diffraction pattern like a double slit experiment Chapt10, density & distribution of galaxies #228 Atom Totality
From: Dan on 22 Jul 2010 01:37
Hi everyone,

In 2003 Skelet (http://skelet.ludost.net/bb/nreg.html) left off
working on the Busy Beaver problem, stating that he had narrowed down
the search to just 43 machines.

Clearly, this will need to be independently verified at some point. As
I feel the first thing to do, however, is finish, I have taken up the
torch, proving 11 of these machines never halt (I feel this number
will soon be 19). All my work is here, including the program I have
written:
http://web.mit.edu/~dbriggs/www/

If you would like to help, you can download and compile the .cpp
and .h files to run Turing machines. Also, a forum is up here, and
will have posts shortly:
http://dbriggs.scripts.mit.edu/forum/index.php
 | 
Pages: 1
Prev: Polynomial expansion
Next: galaxies form a diffraction pattern like a double slit experiment Chapt10, density & distribution of galaxies #228 Atom Totality