Hvilke forsøk har blitt gjort da folk prøvde å bevise Collatz Conjecture?

Hvilke forsøk har blitt gjort da folk prøvde å bevise Collatz Conjecture?
Anonim

Svar:

Noen tanker …

Forklaring:

Den store polske matematikeren Paul Erdős sa om Collatz-formodningen om at «matematikk kanskje ikke er klar for slike problemer». Han tilbød en $ 500-premie for en løsning.

Det virker så uhåndterlig i dag som når han sa det.

Det er mulig å uttrykke Collatz-problemet på flere forskjellige måter, men det er ingen reell metode for å prøve å løse det. Da jeg var på universitetet for nesten 40 år siden, syntes den eneste ideen folk hadde å se på det ved hjelp av 2-adic aritmetikk.

Jeg tenkte på å prøve å adressere den ved hjelp av en slags måle-teoretisk tilnærming, men om det beste som kunne gjøre, ville det trolig være å vise at settet med tall som ikke rammer #1# er av mål #0#. Det ville ikke utelukke eksistensen av moteksempler.

Collatz-formodningen er blitt kontrollert av datamaskinen for tall opp til ca. #10^20#, men det viser egentlig bare at det er plausibelt - det viser ikke at det er sant for alle tallene.

For å forstå hvorfor iterative prosesser som det i Collatz-formodningen er så vanskelig å løse generelt, kan det bidra til å se hvor rik kombinasjonen av tillegg og multiplikasjon på naturlige tall egentlig er.

For eksempel, hvis du definerer et formelt matematisk system med et begrenset antall symboler og tillatte operasjoner, er grunnleggende aritmetikk tilstrekkelig til å kodifisere den. Det blir da mulig å konstruere en algebraisk uttalelse som tolket sier effektivt "Jeg er ikke beviselig i dette formelle systemet". En slik erklæring er da sann, men ikke bevisbar. Så det formelle systemet er beviselig ufullstendig.

Dette er omtrent essensen av beviset på Gödels andre ufullstendighetsteorem.