[seqfan] Re: This sequence proves the Collatz Conjecture

[Peter Luschny]

All of this advice, including Terence's, is yesterday's advice.

If I had found the proof from Collatz Conjecture, I wouldn't tell anyone
because
I would immediately be declared a 'crank' even if it were correct because
none
of the people with enough reputation would waste their time checking it.

So what to do? A proof of C.C. would only be accepted today if it was
subjected
to a formal analysis by a proof assistant.

So why not start there? The beginning of any such undertaking is to create
an
accurate blueprint of the proof. That would be precisely what, in Fred's
words,
"distinguishes serious researchers who have at least taken the trouble to
familiarize themselves initially with the relationships of their topic to
the
mathematical world at large!"

If you haven't seen anything like this, take a look at this example that
shows
how Terence Tao organizes his proofs and prepares them for formal testing:
https://teorth.github.io/pfr/blueprint/sect0001.html

Peter