1 Apr
2013
1 Apr
'13
6:35 p.m.
I complement you on your unhalting project. (Google 'recursively enumerable', 'oracle machines', 'arithmetical hierarchy'.) At 04:01 PM 4/1/2013, Keith F. Lynch wrote:
Even that much will probably take at least a year, so I'll begin with just the non-computable numbers, as those have received far too little attention. I can't find an online database of them anywhere.