Decius comments on From the “weird math questions” department...

[Decius]

“In finite time” is not the same as “Using a halting process”