Extensions of the Syracuse sequence (3n+1, 3n+b, 5n+1,...) : Proofs of the various conjectures
Here you will find my proposed proofs for the standard Syracuse conjecture (3n+1), as well as for some extensions (3n+b, 5n+1), and responses to the document arXiv2107.11160v4.
Slideshow in PDF format of the key steps of the proof of the "3n+1" conjecture (see it before reading full proof)
Direct access to the PDF files and tests (for those who already have a PDF)
These documents (internal version 4.3) are in the preprint stage
Any feedback that could help improve the writing or simply correct a typo is welcome
The next step is to use a proof assistant (COQ,...) to validate/refute the method
I have taken care to sign the documents:
In Adobe Reader, you can view the signatures of the PDF files