Ficción "División por cero", de Ted Chiang

Question

Ficción "División por cero", de Ted Chiang

Leí la historia de ficción "División por cero" de Ted Chiang

Mi interpretación es que el personaje encuentra que una prueba aritmética que es incompatible.

¿Existe una prueba formal que la ficción no se hacen realidad? (No sugerir que la ficción se hacen realidad).

EDIT: veo alguien trató de

Answer 1

Existe una prueba formal de la ficción no puede hacerse realidad?

No, por Gödel del segundo teorema de la incompletitud, que los sistemas formales puede probar su propia consistencia, si y sólo si son inconsistentes. Por lo tanto, dado que la aritmética es consistente, nunca vamos a ser capaces de demostrar que lo es. (EDIT: en Realidad no es del todo cierto; ver Alon aclaración de abajo).

Como un aparte, si te gustó "División por Cero", se podría también como Greg Egan par de historias en las que la aritmética no es consistente: "Luminoso" y "Oscuro Enteros".