Para imitar a un pájaro imitador (Parte 1)

Introducción

(Para ver todas las entrada de este tema vayan ala etiqueta “pájaro imitador”)

Mi intención en la serie de entradas que aquí seinicia es (en la medida de mis posibilidades) explicar, poner en orden y tratarde clarificar algunos de los conceptos que Raymond Smullyan desarrolla en sulibro “Para Imitar a un Pájaro Imitador” (1989, Gedisa, México, hay edicionesmás recientes; el título original, de 1985, es “To mock a mockingbird”. La edición en inglés puede leerse on line aquí http://es.scribd.com/doc/55546137/Smullyan-To-Mock-a-Mockingbird).

En ese libro Smullyan hace una introducción a laLógica Combinatoria que va desde los conceptos básicos de la teoría hasta casiuna demostración del Teorema de Gödel.

¿Por qué es necesario clarificar y poner en ordenlos conceptos de Smullyan? Por una parte, porque en ese trayecto que va desdelos conceptos básicos de la Lógica Combinatoria hasta casi llegar al Teorema deGödel el autor toma muchos desvíos. Hay capítulos enteros que son solamentedigresiones, recopilación de curiosidades, etc., interesantes en sí mismas,pero que desvían la atención del objetivo.

Por otra parte, en lo personal, me resulta muydifícil el lenguaje que usa Smullyan en este libro. No porque sea excesivamenteformal, sino porque mezcla una y otra vez términos formales con otros demasiadofloridos y metafóricos que, hasta el punto de resultar bastante confuso (almenos tal es mi experiencia, que no sé si será compartida por otros lectores–para una opinión simétrica a la mía véase aquí: http://www.lecturalia.com/comunidad/libro-comentado/68525/68371/juegos-para-imitar-a-un-pajaro-imitador).

Para ejemplificar lo dicho más arriba, cito unpasaje típico del libro: “En cierto bosque encantado habitan pájaros parlantes.Dados dos pájaros cualesquiera A y B, si le gritamos al pájaro A el nombre deB, entonces A responderá gritándonos el nombre de otro pájaro. Designamos aeste pájaro como AB. Así, AB es el pájaro nombrado por A después de haber oídoel nombre de B”.

Una de mis intenciones del hilo es, entonces, “traducir”el lenguaje de Smullyan a una versión no tan florida, pero no que por ello dejede ser amable.

Una aclaración necesaria es que no soy unconocedor profundo de la Lógica Combinatoria, buena parte de lo que sé del temalo he ido entresacando a fuerza de intuición de lo que cuenta Smullyan. Por lotanto, tal vez, algunos de los términos que use no sean los “consagrados” en lateoría.

Nota histórica: Según cuenta Smullyan en unapéndice del libro, la Lógica Combinatoria se inició a principios de la décadade 1920 y fueron sus pioneros Shönfinkel, Curry, Fitch, Church, Kleene, Rosser,Turing y otros. Agrego yo que en el marco de esta teoría es que Alonzo Churhdesarrolló su “cálculo lambda” que fue la primera definición rigurosa de laidea de algoritmo (pocos meses después, de manera independiente, Turing presentó,con el mismo objetivo, su “máquina de Turing”).

Continuará…