Repensar los números reales como decimales infinitos

Por • 15 ago, 2021 • Sección: Leyes

Martín Klazar

Damos una construcción detallada del campo ordenado completo de números reales por medio de expansiones decimales infinitas. Demostramos que en la codificación canónica de decimales ni la suma ni la multiplicación son { em computable}, pero que ambas operaciones son { em débilmente computables}; introducimos ambos tipos de computabilidad en mayor generalidad. Determinamos qué cambios aditivos y multiplicativos (restricciones de suma y multiplicación a una variable) son computables y demostramos que cada uno de estos cambios se vuelve computable después de una permutación de la codificación. Preguntamos si es el caso de la suma y multiplicación bivariadas.

arXiv:2108.02046v1 [math.LO]

Logic (math.LO); History and Overview (math.HO)

Post to Twitter

Escribe un comentario