It's funny you should say "Not everything you read on the internet is true." while on the internet and trying to prove something is not true.

I can see where this is headed, and tail call recursion would save us considerable stack space.

There are heuristic ways to get around the undecidability of the halting problem, and in this case we're in danger of an infinite loop