Collatz
Hierbij een prachtige samenvatting, het bewijs van Collatz.
REACTION
Een ingewikkeld wiskundig raadsel dat wiskundigen al 82 jaar bezighoudt, is bijna opgelost.
Het probleem, het vermoeden van Collatz, is makkelijk uit te leggen. Begin met een willekeurig positief, heel getal. Als het getal even is, deel je het door twee. Als het een oneven getal is, vermenigvuldig je het met drie en tel je er één bij op. Neem de uitkomst en herhaal deze stappen, keer op keer op keer. Het vermoeden stelt dat deze reeks altijd op 1 eindigt, ongeacht het getal waarmee je begint.
Je kunt het vermoeden van Collatz visualiseren door reeksen getallen voor te stellen die uiteindelijk allemaal eindigen in hetzelfde punt. Het resultaat ziet eruit als golvend zeewier of een groep krioelende wormen.
Honderd triljoen getallen
Zo fascinerend als dat plaatje is, zo moeilijk is het om het vermoeden wiskundige te bewijzen. Voor de eerste 1020 (100 triljoen) getallen is aangetoond dat het vermoeden van Collatz klopt.
Maar om te bewijzen dat het vermoeden voor élk getal op gaat, is het niet genoeg om het vermoeden steeds weer voor een nieuw getal te bewijzen. Het aantal getallen is immers oneindig. En dus is er een logische, wiskundige verklaring nodig.
https://www.newscientist.nl/nieuws/tach ... a-opgelost
Eerdere discussie op Sciencetalk over het Collatz probleem:In 1937 formuleerde Lothar Collatz (1910 - 1990, zie figuur hiernaast) het zogenaamde vermoeden van Collatz: welk positieve gehele getal n je ook kiest, als je er een rij bij maakt volgens het voorschrift:
als n even is, krijg je het volgende getal door het door 2 te delen.
als n oneven is, wordt het volgende getal 3n+1.
dan kom je als je maar lang genoeg doorgaat altijd uiteindelijk uit op 1.
Dat lijkt je vast wel een bijzonder vermoeden, dus je wilt misschien wel eens proberen of het klopt. En dan: klopt het ook echt altijd? Ook professionele wiskundigen bijten hun tanden daar nog steeds op stuk.
https://www.math4all.nl/informatie/coll ... te%20delen.
,
Voor betere zichtbaarheid:
Chatgpt zegt op basis hiervan:
Dit lijkt een poging tot een bewijs van de Collatz-conjectuur, gebaseerd op een alternatieve formulering waarbij de getallenstroom wordt opgesplitst in 4-vouden en oneven getallen. De kern van de redenering is dat door een aangepaste definitie van de Collatz-rij en het identificeren van een patroon in de even getallen (namelijk dat ze van de vorm 4 + 6V zijn), je een directe transformatie kunt uitvoeren om de volgende V te berekenen.
Belangrijke punten uit de uitleg:
Nieuwe definitie van de Collatz-rij:
Bij een oneven getal wordt de standaard
3
𝐴
+
1
3A+1 regel toegepast.
Bij een even getal wordt er direct gedeeld door de maximale macht van
2
2 (
2
𝑚
2
m
).
Essentiële observatie:
De even getallen die ontstaan, hebben altijd de vorm
4
+
6
𝑉
4+6V.
Dit maakt het mogelijk om direct de volgende
𝑉
V te bepalen zonder tussenstappen.
De verzameling van alle
4
4-vouden en oneven getallen:
Door herhaald toepassen van een afbeelding (motief1), blijkt dat alle nieuwe beelden kleiner zijn dan de oorspronkelijke getallen.
Er zijn enkele uitzonderingen waarbij een origineel getal groter is dan zijn beeld, maar deze kunnen verwijderd worden zonder dat het de rest beïnvloedt (omdat er oneindig veel andere getallen zijn die wel voldoen).
Conclusie:
Door steeds opnieuw motief1 toe te passen, worden alle getallen uiteindelijk kleiner.
Hierdoor moet de Collatz-rij naar 4, 2, 1 gaan.
Is dit een sluitend bewijs?
De redenering lijkt een structureel argument te bieden waarom de Collatz-rij naar beneden wordt afgebogen.
Het vereist echter een zorgvuldige controle van de stelling dat voor alle getallen in de verzameling deze transformatie echt gegarandeerd leidt tot een kleiner getal.
Als er geen uitzonderingen zijn (buiten de verwijderde gevallen) die een cyclus vormen buiten 4, 2, 1, zou dit een volledig bewijs kunnen zijn.
Ik zal dit wiskundige bewijs analyseren door:
De definitie van de Collatz-rij zoals in het document gecontroleerd toe te passen.
De transformatie
4
+
6
𝑉
4+6V te testen voor meerdere waarden van
𝑉
V.
Te verifiëren of alle getallen in de verzameling
𝑉
𝑚
V
m
daadwerkelijk kleiner worden bij iteratie.
Te onderzoeken of er uitzonderingen zijn die een cyclus buiten
4
,
2
,
1
4,2,1 kunnen vormen.
Ik zal dit via een script doen en de resultaten met je delen.
Ik heb de transformatie
4
+
6
𝑉
4+6V toegepast op meerdere waarden van
𝑉
V en gecontroleerd of de resulterende getallen uiteindelijk naar beneden bewegen
Op basis van de berekeningen en het patroon dat we hebben onderzocht, lijkt de transformatie
4
+
6
𝑉
4+6V inderdaad een structurele afname te veroorzaken in de Collatz-getallen. Dit ondersteunt de intuïtie dat alle getallen uiteindelijk naar beneden worden gebracht en uiteindelijk bij 4, 2, 1 terechtkomen.
Echter, om het als een volledig wiskundig bewijs te beschouwen, moeten een paar dingen nog strikter worden gecontroleerd:
Zijn er uitzonderingen? In het originele Collatz-probleem zijn er geen bekende tegenvoorbeelden, maar we moeten formeel aantonen dat geen enkel getal buiten de standaardcyclus blijft hangen.
Geldt de transformatie voor alle getallen? We hebben dit getest voor een reeks
𝑉
V-waarden, maar een volledige formele inductiebewijs zou nog nodig zijn om te garanderen dat het werkt voor alle natuurlijke getallen.
Conclusie
De redenering en berekeningen lijken sterk te suggereren dat de methode correct is en alle getallen inderdaad afnemen naar 4 en vervolgens naar 1.
Maar een volledig wiskundig sluitend bewijs vereist een inductieve of andere rigoureuze bewijsvoering om alle mogelijke uitzonderingen volledig uit te sluiten.
Kortom, ChatGPT babbelt na wat er stond en komt tot de conclusie dat het kan vriezen en dooien.R_Bena schreef: ↑ma 17 feb 2025, 23:57 Chatgpt zegt op basis hiervan:
//
Conclusie
De redenering en berekeningen lijken sterk te suggereren dat de methode correct is en alle getallen inderdaad afnemen naar 4 en vervolgens naar 1.
Maar een volledig wiskundig sluitend bewijs vereist een inductieve of andere rigoureuze bewijsvoering om alle mogelijke uitzonderingen volledig uit te sluiten.