Quins intents s'havia fet quan la gent va intentar provar la conjectura de Collatz?

Quins intents s'havia fet quan la gent va intentar provar la conjectura de Collatz?
Anonim

Resposta:

Alguns pensaments …

Explicació:

El gran matemàtic polonès Paul Erdős va dir sobre la conjectura de Collatz que "les matemàtiques poden no estar preparades per a aquests problemes". Va oferir un premi de $ 500 per una solució.

Sembla tan intratable avui com quan va dir això.

És possible expressar el problema de Collatz de diverses maneres, però no hi ha cap mètode real per intentar resoldre'l. Quan vaig estar a la universitat fa gairebé 40 anys, l’única idea que semblava que la gent era mirar-la amb aritmètica 2-adic.

Vaig pensar en tractar d’abordar-lo amb algun tipus d’enfocament teòric, però el millor que podria fer seria probablement mostrar que el conjunt de números que no arriben #1# és de mesura #0#. No exclouria l’existència de contraexemples.

La conjectura de Collatz s'ha comprovat per ordinador per obtenir números aproximats #10^20#, però això només demostra que és plausible: no demostra que sigui cert per a tots els números.

Per entendre per què els processos iteratius, com el de la conjectura de Collatz, són tan difícils de resoldre en general, pot ajudar-vos a comprovar la realitat de la combinació d'addició i multiplicació en nombres naturals.

Per exemple, si definiu qualsevol sistema matemàtic formal amb un nombre finit de símbols i operacions permeses, l'aritmètica bàsica és suficient per codificar-la. Aleshores es fa possible construir una declaració algebraica que interpretés de manera efectiva "No sóc demostrable en aquest sistema formal". Aquesta afirmació és cert, però no es demostra. Per tant, el sistema formal està completament incomplet.

Això és aproximadament l’essència de la prova del segon teorema de incompletesa de Gödel.