¿Quién eligió primero los nombres de Alice y Bob para los jugadores A y B?

Question

¿Quién eligió primero los nombres de Alice y Bob para los jugadores (u observadores) A y B?

Answer 1

Citado de Wikipedia :

Los caracteres Alice y Bob fueron inventados por Ron Rivest, Adi Shamir y Leonard Adleman en su artículo de 1978 "Un método para obtener firmas digitales y criptosistemas de clave pública".

Rivest, R. L.; Shamir, A.; Adleman, L. , Método de obtención de firmas digitales y criptosistemas de clave pública , Commun. ACM 21, 120-126 (1978). ZBL0368.94005 .

Answer 2

Permítanme mencionar que como los jugadores adoptan en efecto los papeles de los cuantificadores $\forall$ y $\exists$ como Bob tiene una estrategia ganadora sólo en el caso de que por cada movimiento de Alice, haya una respuesta de Bob, y así sucesivamente, algunos lógicos han preferido utilizar nombres alternativos que resalten mejor esta conexión.

Cuando era estudiante de posgrado y asistía a las conferencias de Adrian Mathias en Berkeley, él utilizaba los nombres Abelardo y Éloïse El libro se inspira en la célebre pareja y en sus cartas de amor en la corte (más interesantes aún por el hecho de que Abelardo era lógico). La ventaja es que los nombres empiezan por A y E, alineándose con $\forall$ y $\exists$ .

Otro ejemplo, por supuesto, sería Adán y Eva, aunque Mathias prefería Abelardo y Éloïse. En realidad, sin embargo, recuerdo que Mathias no quedó del todo satisfecho con ninguno de estos ejemplos, y buscó otras parejas famosas, cuyos nombres empezaran por A y E. ¿Alguien conoce alguna?

Permítanme recopilar aquí los ejemplos de nombres A/E de parejas famosas aportados en los comentarios y en otros lugares.

• Abelardo y Éloïse los amantes famosos. Abelardo era un lógico
• Adán y Eva del mito de la creación
• Anna y Elsa, de la película de Disney Frozen
• Arwen y Elessar (también conocido como Aragorn), de la saga de Tolkien. Relacionado con el infinito y la vida eterna.
• Alberto e Isabel, miembros de la realeza británica
• Ares y Enyo Dioses griegos de la guerra

Añada más en los comentarios.