¿Qué intentos se hicieron cuando las personas intentaron probar la conjetura de Collatz?

¿Qué intentos se hicieron cuando las personas intentaron probar la conjetura de Collatz?
Anonim

Responder:

Unos pocos pensamientos …

Explicación:

El gran matemático polaco Paul Erdős dijo sobre la conjetura de Collatz de que "las matemáticas pueden no estar listas para tales problemas". Ofreció un premio de $ 500 por una solución.

Parece tan intratable hoy como cuando dijo eso.

Es posible expresar el problema de Collatz de varias maneras diferentes, pero no hay un método real para tratar de resolverlo. Cuando estuve en la universidad hace casi 40 años, la única idea que la gente parecía tener era verla usando la aritmética 2-adic.

Pensé en tratar de abordarlo utilizando algún tipo de enfoque teórico-de medida, pero lo mejor que podría hacer sería mostrar que el conjunto de números que no llegan #1# es de medida #0#. No excluiría la existencia de contraejemplos.

La conjetura de Collatz ha sido verificada por computadora para números hasta aproximadamente #10^20#, pero eso solo demuestra que es plausible, no prueba que sea verdad para todos los números.

Para entender por qué los procesos iterativos como el de la conjetura de Collatz son tan difíciles de resolver en general, puede ayudar ver cuán rica es realmente la combinación de suma y multiplicación en números naturales.

Por ejemplo, si define cualquier sistema matemático formal con un número finito de símbolos y operaciones permitidas, entonces la aritmética básica es suficiente para codificarlo. Entonces, es posible construir una declaración algebraica que interprete que dice efectivamente "No soy demostrable en este sistema formal". Tal afirmación es entonces cierta pero no demostrable. Así que el sistema formal es, probablemente, incompleto.

Esto es aproximadamente la esencia de la prueba del segundo teorema de incompletitud de Gödel.