Anong mga pagtatangka ang ginawa kapag sinubukan ng mga tao na patunayan ang Collatz Hinggil?

Anong mga pagtatangka ang ginawa kapag sinubukan ng mga tao na patunayan ang Collatz Hinggil?
Anonim

Sagot:

Ang ilang mga saloobin …

Paliwanag:

Ang mahusay na Polish dalub-agbilang na si Paul Erdős ay nagsabi tungkol sa Collatz haka-haka na "ang Matematika ay hindi maaaring maging handa para sa gayong mga problema.". Nag-alok siya ng $ 500 na premyo para sa isang solusyon.

Mukhang hindi kanais-nais ngayon tulad nang sinabi niya iyon.

Posibleng ipahayag ang problema ng Collatz sa maraming iba't ibang paraan, ngunit walang tunay na paraan upang subukang lutasin ito. Noong ako ay nasa unibersidad halos 40 taon na ang nakakalipas ang tanging ideya ng mga tao ay tila mayroon ay upang tingnan ito gamit ang 2-adic arithmetic.

Naisip ko na sinusubukang i-address ito gamit ang ilang mga uri ng panukalang-panteorya diskarte, ngunit tungkol sa mga pinakamahusay na maaaring gawin ay marahil ay upang ipakita na ang hanay ng mga numero na hindi hit #1# ay sukatan #0#. Hindi nito ibubukod ang pagkakaroon ng mga counterexamples.

Ang Collatz haka-haka ay na-check sa pamamagitan ng computer para sa mga numero hanggang sa tungkol sa #10^20#, ngunit talagang nagpapakita lamang na makatwirang ito - hindi ito nagpapatunay na ito ay totoo para sa lahat ng mga numero.

Upang maintindihan kung bakit ang mga prosesong umuulit tulad ng sa Collatz haka-haka ay napakahirap upang malutas sa pangkalahatan, maaaring makatulong upang makita kung gaano mayaman ang kumbinasyon ng pagdaragdag at pagpaparami sa mga natural na mga numero ay aktwal na.

Halimbawa, kung tukuyin mo ang anumang pormal na sistema ng matematika na may may hangganan na bilang ng mga simbolo at pinapayagan ang mga pagpapatakbo, pagkatapos ay ang pangunahing aritmetika ay sapat na upang gawing codify ito. Pagkatapos nito ay posible na bumuo ng isang algebraic statement na binigyang-kahulugan ng epektibong nagsasabing "Hindi ako pinatutunayan sa pormal na sistema na ito". Totoo nga ang gayong pahayag ngunit hindi napatunayan. Kaya ang pormal na sistema ay di-kumpleto.

Ito ay halos ang kakanyahan ng katibayan ng ikalawang incompleteness teorama Gödel ni.