¿Es esta fórmula realmente los nueve axiomas?

Question

Estaba leyendo una nota del tutor.reino unido, Lo que se esconde debajo de un científico de la bata de laboratorio?, una pequeña galería de geek-tatuajes.

Sin embargo, el número 11 de la serie tiene la siguiente imagen y el texto de los subtítulos:

"A partir de estas nueve axiomas," escribe Turing Eret, un diseñador de software en Colarado, en las que uno puede derivar toda la matemática – un campo que es probable que dígale que yo tanto amo'

Es que realmente así? Son esos los nueve axiomas? (Supongo que significa que los axiomas de ZF) Si es así, ¿cómo se expresa como que? (La última pregunta que significa: ¿cómo es que la expresión implica los nueve axiomas?)

Traté de buscar a su alrededor, pero la búsqueda de fórmulas es muy duro. También, Google y TinEye la búsqueda de imágenes de no producir nada relevante.

Yo realmente malo en las matemáticas, pero me encanta, así que me perdone si estoy preguntando algo estúpido.

Answer 1

Es llamado Y combinator. Este en particular fue inventado por Haskell Curry de acuerdo a la página de la Wikipedia. Tiene poco que ver con la teoría de conjuntos y no estoy seguro de lo que son los "nueve axiomas" a que se refiere. Sé que como una herramienta útil en la construcción de un LISPcomo lenguaje de combinador de cálculo. Esto tiene el efecto de la aplicación de su argumento en sí, es decir, Yx -> x(Yx) -> x(x(Yx)), que pueden utilizarse para aplicar la recursividad. Esta no es la única expresión con tal efecto; desplácese hacia abajo la página de la Wikipedia para ver algunos otros ejemplos de Y combinadores.

Answer 2

¡Ese es mi brazo! Sí, fue etiquetado incorrectamente en el artículo de The Guardian. Ése es el combinador de Y como otros han mencionado. Mi OTRO tatuaje son los axiomas de ZFC. En el libro, ambos tatuajes se representan, pero sólo el ZFC uno se describe. Un poco desafortunado, pero bueno. ¿Qué puedes hacer?