Greg Egan en su ficción "Dark Integers" (historia sobre dos universos con dos matemáticas diferentes que se comunican mediante la demostración de teoremas de inconsistencia en la aritmética) afirma que es posible construir una computadora de propósito general únicamente en enrutadores de Internet existentes utilizando solo su funcionalidad básica de conmutación de paquetes (y corrección de suma de verificación, para ser precisos).
¿Es esto posible, en principio?
Actualizar.
Para hacer la pregunta más precisa:
¿Cuál es un conjunto absolutamente mínimo de propiedades que la red del enrutador debe tener para que sea posible construir una computadora de propósito general sobre ella?
3
La pregunta no se ve bien definida. Si es así, no es comprensible para aquellos que no han leído el libro mencionado.
—
Tsuyoshi Ito
Quizás la pregunta se definirá mejor si la formalizo. Pero para hacerlo correctamente debo estar a más de la mitad de la respuesta.
—
Vag
Será mejor agregar "Entonces, la pregunta: tener solo una red de maquinaria de conmutación de paquetes IP, ¿es posible construir encima de eso una computadora de propósito general? O debo ir más allá y asumir que a) tener un paquete único ¿o b) que tiene una fuente de paquete constante controlable? " ?
—
Vag
El autor no profundiza mucho en los detalles, escribió algo como dije: solo computadora en enrutadores, sin detalles.
—
Vag
No estoy seguro de por qué esto está fuera de tema. Definitivamente es un poco por ahí, y un poco vago. Pero es una pregunta interesante sobre los modelos universales de cómputo
—
Suresh Venkat,