cousin_it comments on Induction, Deduction, and the Collatz Conjecture: the Decidedly Undecidable Propositions.

[cousin_it]

Argh! Sorry, in a hurry I got Collatz mixed up with something else, so the second half of my comment was completely stupid.