[seqfan] Re: This sequence proves the Collatz Conjecture

[israel at math.ubc.ca]

On Apr 10 2024, Thomas Scheuerle wrote:


> Personally I have a very heretic opinion, I know that many will disagree 
> with it: I believe some conjectures are only true by chance or 
> probability. This means they can never be proven because the law which 
> makes these true contains no absolute statement. There is only some 
> probability of failure with some not absolute convergence (or not even 
> that) to zero. On the other hand I doubt that Collatz is really an 
> example of such a conjecture.

There is nothing heretical about that.  Thanks to Godel, we know that
(assuming our mathematics is consistent) there are conjectures that are
true but are not provable.  If Collatz is one of those, we will never know 
it. 

Cheers,
Robert