¿Puedes predecir la cantidad de pasos necesarios para resolver un enunciado matemático?
Voy a interpretar esto como: dada una declaración matemática T, ¿podemos predecir la longitud de la prueba de T (si hay una), o la prueba de ~ T (si hay una)?
Podemos dar un límite superior en la longitud de la prueba. Sea TP una máquina de Turing que genera los teoremas de ZFC uno por uno. (TP significa “Bomba de teorema”). Entonces, la prueba más corta de T, si hay una, tiene una longitud inferior a
- ¿Cuáles son algunos problemas matemáticos famosos que han sido re-descubiertos (y resueltos) por diferentes personas de forma independiente varias veces a lo largo de los años?
- Supongamos que aprendimos que algún teorema matemático establecido es incorrecto, pero no sabemos cuál. ¿Cuál, en tu opinión, es más probable que esté mal?
- Notación matemática: ¿Existe un significado detrás del hecho de que usamos un delta como símbolo de Kronecker y no una "K", por ejemplo?
- En conjunto permutación, ¿qué es un ciclo?
- ¿Cuál es la relación entre grupos y espacios métricos?
BB (longitud (T) + longitud (TP))
Aquí BB es la función Busy Beaver: Busy beaver – Wikipedia
Prueba: https://arxiv.org/pdf/1406.1808.pdf
BB es una función indiscutible. No podemos dar un límite superior computable en la longitud de una prueba. Si pudiéramos, sería decidible si T es un teorema o no (calcule el límite superior, luego verifique todas las pruebas hasta ese límite superior). Y luego podríamos resolver el problema de detención.