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

[cousin_it]

To be a valid deductive argument, a theorem must be formalizable. That doesn’t depend on accidental facts like whether its original presentation was formalized or not.