Mitä yrityksiä oli tehty, kun ihmiset yrittivät todistaa Collatz-konseptin?

Mitä yrityksiä oli tehty, kun ihmiset yrittivät todistaa Collatz-konseptin?
Anonim

Vastaus:

Muutama ajatus …

Selitys:

Suuri puolalainen matemaatikko Paul Erdős sanoi Collatzin olettamuksesta, että "matematiikka ei ehkä ole valmis tällaisiin ongelmiin." Hän tarjosi 500 dollarin palkinnon ratkaisusta.

Se tuntuu nykyään niin vaikeaksi kuin silloin, kun hän sanoi.

Collatz-ongelma on mahdollista ilmaista usealla eri tavalla, mutta todellista menetelmää sen ratkaisemiseksi ei ole. Kun olin yliopistossa lähes 40 vuotta sitten, ainoa ajatus, jonka ihmiset näyttivät olevan, oli tarkastella sitä käyttäen 2-adic aritmeettista.

Ajattelin yrittää käsitellä sitä käyttäen jonkinlaista toimenpiteen teoreettista lähestymistapaa, mutta parasta, mitä voisi tehdä, olisi todennäköisesti osoittaa, että joukko numeroita, jotka eivät osu #1# on mittava #0#. Se ei estäisi vasta-näytteiden olemassaoloa.

Collatz-arviot on tarkistettu tietokoneella, niin että numerot ovat jopa #10^20#, mutta se vain osoittaa, että se on uskottava - se ei todista, että se olisi totta kaikille numeroille.

Ymmärtääkseen, miksi iteratiiviset prosessit, kuten Collatzin olettamukset, on niin vaikea ratkaista yleisesti, se voi auttaa näkemään, kuinka monipuolinen lisäys ja kertolasku luonnollisilla numeroilla todella on.

Jos esimerkiksi määrität minkä tahansa muodollisen matemaattisen järjestelmän, jossa on rajallinen määrä symboleja ja sallittuja toimintoja, perustietoarvo riittää kodifioimaan sen. Silloin tulee mahdolliseksi rakentaa algebrallinen lausunto, jonka tulkinta sanoo tehokkaasti "En ole osoitettavissa tässä muodollisessa järjestelmässä". Tällainen lausunto on totta, mutta ei todistettavissa. Niinpä muodollinen järjestelmä on todistettavasti epätäydellinen.

Tämä on karkeasti Gödelin toisen epätäydellisyyden lauseen todiste.