Dunno how much I trust this guy. He's notorious for claiming that the Halting Problem is actually solvable, and in other places suggests that Godel was wrong, a

Dunno how much I trust this guy. He's notorious for claiming that the Halting Problem is actually solvable, and in other places suggests that Godel was wrong, and even that Cantor's proof that the reals are uncountable is wrong. http://www.cs.toronto.edu/~hehner/halting.html http://www.cs.toronto.edu/~hehner/halting.html Finding the flaws in all those arguments is a good challenge if you have a free afternoon!