Raymond M. Smullyan (New York, Estados Unidos, 1919 -), matemático, lógico, filósofo, mago y humorista.

Raymond Merril Smullyan (Ray) nació en Far Rockaway, New York, en 1919. Desde una edad temprana se sintió fascinado por las matemáticas recreativas, en especial por la lógica.

A los trece años se mudó con su familia a Manhattan, donde acudió al instituto Theodore Roosevelt High School, en el Bronx por sus cursos especiales de música, otra de las áreas de interés de Ray. Sin embargo, pese a la excelente formación musical, el instituto Theodore Roosevelt no le ofrecía suficiente en otra materia que le apasionaba: las matemáticas. Así fue como decidió abandonar la escuela y convertirse en un autodidacto.

Algunos años más tarde Smullyan se presentó a los exámenes para acceder a la universidad, logrando su ingreso en el Pacific College de Oregón. No pasó mucho tiempo antes de que se trasladara al Reed College, y más tarde a San Francisco, donde retomó sus estudios de piano. No es un secreto que esta etapa de su vida estaba llena de confusión, sin saber si orientar su carrera hacia la música o hacia las matemáticas.

Al cabo de un tiempo regresó a New York, donde nuevamente retomó sus estudios autodidactos sobre matemáticas y lógica, sirviéndole de inspiración para lo que serían sus primeros acertijos sobre ajedrez. Sin una perspectiva clara en su horizonte, se ganaba la vida como mago, realizando algunos trucos tradicionales de cartas, y otros de propia invención, mezclados con la lógica matemática, lo que le dio un cierto renombre.

En 1943 decidió retomar la formación reglada, accediendo a la Universidad de Wisconsin. Un año más tarde fue a Chicago, donde se matriculó en algunos cursos, dejándolo tras el primer semestre. Decidió seguir por su camino autodidacto, ganándose la vida como profesor de música en el Roosevelt College de Chicago.

Sin rumbo fijo en su vida, no tardaría en regresar a New York, permaneciendo allí por dos años, y trabajando otra vez como mago en los locales de Greenwich Village.

Una vez más, en 1949, regresó a Chicago para recibir algunos cursos en la universidad, mientras continuaba con su carrera como mago.

En 1954 continuaba estudiando en la universidad, realizando algunas investigaciones por cuenta propia, aunque no contaba con los créditos suficientes para obtener un título de grado. Uno de sus profesores, Rudolf Carnap, le recomendó para el puesto de profesor en el Dartmouth College, pese no contar con un título universitario. Ejerció como tal desde 1954 hasta 1956, obteniendo su título en 1955. La Universidad de Chicago decidió concederle los créditos correspondientes a un curso de cálculo, que si bien nunca lo había realizado como alumno, lo estaba impartiendo como profesor.

En 1957 entró en la Universidad de Princeton, trabajando en la preparación de su doctorado bajo las órdenes de Alonzo Church. Logró el doctorado en 1959, y trabajó en Princeton hasta 1961.

Desde 1982 ocupa el cargo de Profesor Emérito de la Universidad de New York. El mismo año le fue concedida la Cátedra de Oscar Erwing como profesor de filosofía en la Universidad de Indiana.

Libros

Matemáticas recreativas

• Juegos por siempre misteriosos (1988) Editorial Gedisa, S.A.
• ¿Cómo se llama este libro? (1989) Ediciones Cátedra, S.A.
• ¿La dama o el tigre? (1989) Ediciones Cátedra, S.A.
• Alicia en el país de las adivinanzas (1989) Ediciones Cátedra, S.A.
• Juegos para imitar a un pájaro imitador (1989) Editorial Gedisa, S.A.
• Satán, Cantor y el infinito (1995) Editorial Gedisa, S.A.
• El enigma de Scherezade (1998) Editorial Gedisa, S.A.
• Caballeros, bribones y pájaros egocéntricos (2002) Editorial Gedisa, S.A.
• Bosques curiosos y pájaros aristocráticos (2002) Editorial Gedisa, S.A.

Ajedrez

• Juegos de ajedrez y los misteriosos caballos de Arabia (1986) Editorial Gedisa, S.A.
• Juegos y problemas de ajedrez para Sherlock Holmes (1987) Editorial Gedisa, S.A.

Filosofía

• Cinco mil años a. de C. y otras fantasías filosóficas (1989) Ediciones Cátedra, S.A.
• Silencioso Tao (1994) La Liebre de Marzo

Lógica

• First-order Logic
• Theory of Formal Systems
• Gödel's Incompleteness Theorems(Oxford University Press,1992.)