Is that guy in comp.theory still saying he's solved the halting problem and been suppressed by big computer science for 25 years?