miércoles, 17 de febrero de 2010

Poliádico «friki»

Una explicación friki del significado de la palabra “poliádico” en el título Indecidibilidad general de la lógica cuantificacional poliádica, un artículo que escribí hace años y que lamentablemente no encuentro por ningún lado (edición: al final lo encontré en un viejo CD). Tened en cuenta que se lo explico a alguien que ya sabe algo de lógica:

Es sencillo. Tenemos un enunciado; por ejemplo: “Heinlein mola”. En general, en los enunciados hay un predicado y uno o más argumentos. Como tal enunciado, el propuesto no da para mucho, ¿verdad? Ahí es donde se cuela la lógica de predicados. Dentro de ese enunciado hay un predicado (mola) y un argumento (Heinlein). El predicado viene a describir una cualidad del argumento; es un atributo del mismo, relacionado con el argumento que se encuentra bajo su cobertura.

Pongamos otro ejemplo: “Heinlein era minarquista”. Parece como si minarquista fuera otro argumento, pero no. El predicado es ser minarquista y el argumento que se relaciona con él es Heinlein. En cambio, en “Heinlein amaba a Virginia” tenemos dos argumentos, Heinlein y Virginia, relacionados por un predicado.

Cuando un enunciado tiene un solo argumento asociado al predicado, se dice que es monádico. Si tiene dos, diádico. Si tiene tres, triádico. Y si tiene cuatro o más, poliádico. Como se trata de que los argumentos estén relacionados con el mismo predicado, a esta parte de la lógica de predicados se la denomina lógica de relaciones.

Si Gödel demostró la incompletud del sistema formal de la aritmética elemental, Church demostró su indecidibilidad y, luego, con ayuda de ese resultado, la indecidibilidad de la lógica elemental, que incluye la lógica cuantificacional poliádica (o sea, la lógica de relaciones de cuantificación entre enunciados formatos por un atributo y varios argumentos).

(9 de marzo de 2002, es.rec.ficcion.misc)

Toma ya. Ocho años después, me preguntas sobre lógica simbólica y sólo me sale decir que si A=B y B=C, entonces A=C. Cuesta abajo y sin frenos.

martes, 16 de febrero de 2010

Frikisubastas (2): «The Man in the Wilderness», de Mervyn Peake

Creo que ya he comentado alguna vez por aquí el talento artístico de Mervyn Peake, el autor de la llamada Trilogía de Gormenghast formada por los tres primeros Libros de Titus (Titus Groan, Gormenghast y Titus Solo) de la serie de cinco que estaba previsto que Peake escribiera (murió antes de poder hacerlo, en 1968). Era un ilustrador notable, y como muestra de ello os traigo una de las últimas "frikisubastas" de 2009 realizada por la casa Christie's: The Man in the Wilderness.


Ilustración en tinta china sobre papel, coloreada al gouache y protegida con una capa de barniz, de 19,7×28 cm, realizada en 1940 por Mervyn Peake para la antología Ride a Cock Horse - And other Nursery Rhymes (Londres, Chatto & Windus, 1940). Ilustra el poema homónimo, que (si no me equivoco) dice así:

The man in the wilderness asked me
How many strawberries grew in the sea.
I answered him, as I thought good,
As many as red herrings grew in the wood.

Preciosa ilustración, ¿verdad? Y cara. Fue vendida en Londres el 16 de diciembre de 2009 por 4375 libras esterlinas (unos 5000 €), cuatro veces por encima del precio estimado por la casa de subastas (cosa rara, pues suelen acertar). El bueno de Peake siempre fue subestimado, pobrecillo.