Apuntes de la introducción a TAU del profesor Carmi - mayo 2020

Las primeras líneas del libro blanco dicen: TAU es una plataforma descentralizada auto-enmendable que permite a un programa de ordenador, cambiar basado en las decisiones colectivas de múltiples usuarios.

En matemáticas, si quieres describir consistentemente un sistema de manera formal, debes comenzar con los axiomas y después podemos argumentar si los axiomas verdaderamente aciertan al describir la realidad¹, de igual forma buscamos los axiomas del sistema TAU.

Puedes decir que TAU hace muchas cosas por ti, sin embargo una definición tan amplia no resalta el núcleo del sistema, muy superficialmente se puede decir que TAU es una plataforma asociativa para la elección social².

El núcleo de TAU es auto-enmendable, cambia de acuerdo a las elecciones de sus usuarios por tanto el cambio es la única constante en el sistema.

El sistema requiere recursividad, pero si fuese completo³, esto conduciría a paradojas.

Basados en sus axiomas y lógica específica⁴, evitamos las paradojas de la autoreferencia⁵.

Las 3 leyes de las leyes: tres axiomas definen TAU: recursividad, retracción y decidibilidad⁶.

Recursividad: para definir las leyes para cambiar leyes, necesitamos recursividad ilimitada.

Retracción: necesitamos un punto donde la ley no es más aplicable, realizable o moral; esto implica que vives en un mundo non monotonic⁷.

Decidibilidad: el sistema eventualmente entregará una respuesta que pueda ser convertida en acción.

Estas características serán muy valiosas en área como la financiera, donde la lógica debe ser decidible.

Se ha presentado un nuevo ángulo para abordar TAU, se han formulado dos áreas: el calculo de leyes y el calculo de la moral, aun en desarrollo.

El sistema que se está desarrollando es un sistema matemático y por lo tanto se supone que debe ser bien definido, con los axiomas y sus consecuencias y así eventualmente tendremos un sistema practico.

No hay dualidad en TAU, usuario y sistema son inseparables lo que indica que son los usuarios los que deben discutir y elegir las reglas que rigen el sistema, para eso necesitamos una plataforma que permita discutir, elegir y elegir sobre que elegir⁸, que es algo que no existe actualmente.

El profesor Carmi cierra su intervención con un pedagógico cuento oriental:

"¿quién eres tú que deseas estudiar aquí?"

Un hombre decidió ir a estudiar con un maestro

fue a la puerta del maestro

"¿quién eres tú que deseas estudiar aquí?" preguntó el maestro.

el estudiante le dijo al maestro su nombre

"eso no es lo que eres, eso es sólo cómo te llaman,

¿quién eres tú que deseas estudiar aquí?" preguntó otra vez.

el hombre pensó por un momento, y respondió "soy un profesor"

"eso es lo que haces, no lo que eres", respondió el maestro.

"¿quién eres tú que deseas estudiar aquí?"

confundido, el hombre pensó un poco más

finalmente, respondió: "soy un ser humano"

"eso es sólo tu especie, no lo que eres,

¿quién eres tú que quieres estudiar aquí?", preguntó el maestro otra vez.

después de un momento de reflexión, el profesor respondió "soy una conciencia que habita en un cuerpo arbitrario"

"eso es meramente lo que eres, no lo que eres,

quién eres tú que deseas estudiar aquí"

el hombre se estaba irritando

"yo soy", empezó,

pero no se le ocurrió nada más que decir, así que se alejó

después de una larga pausa el maestro respondió, "entonces eres bienvenido a venir a estudiar"

Con “yo soy” ha llegado a un “fixed point”, “yo soy”, sin ninguna otra descripción, describe completamente a “yo soy”.

¹ https://es.wikipedia.org/wiki/Sistema_axiom%C3%A1tico

²https://es.wikipedia.org/wiki/Teor%C3%Ada_de_la_elecci%C3%B3n_social

³ https://es.wikipedia.org/wiki/Completitud_(l%C3%B3gica)

⁴ La lógica pfp (partial fixed point) es la única que cumple los requisitos de las 3 leyes de las leyes,pero nunca antes de TAU fue implementada dada su complejidad para llevarla a la práctica, Ohad lo logró con la implementación de las BDDS.

⁵ https://es.wikipedia.org/wiki/Autorreferencia

⁶ https://es.wikipedia.org/wiki/Decidibilidad

⁷ https://en.wikipedia.org/wiki/Non-monotonic_logic

⁸ http://www.idni.org/es/blog/art-of-self-ref