Raymond Merrill Smullyan ( / ˈ s m ʌ l i ə n / ; 25 de mayo de 1919 - 6 de febrero de 2017) [1] [2] [3] fue un matemático, mago, concertista, lógico , taoísta y filósofo estadounidense. .
Nacido en Far Rockaway , Nueva York, su primera carrera fue la magia escénica. Obtuvo una licenciatura en ciencias de la Universidad de Chicago en 1955 y su doctorado. de la Universidad de Princeton en 1959. Es uno de los muchos lógicos que ha estudiado con Alonzo Church . [1]
Nacido en Far Rockaway, Nueva York de padres armenios, Smullyan mostró talento musical desde una edad temprana, ganando una medalla de oro en un concurso de piano cuando tenía 12 años. [1] Al año siguiente, su familia se mudó a Manhattan y asistió a Theodore . Roosevelt High School en el Bronx , que ofrecía clases adaptadas a sus talentos musicales. Se fue a estudiar por su cuenta, ya que la escuela no ofrecía cursos similares de matemáticas. [1] Estudió matemáticas y música en varias universidades (incluidas Pacific University y Reed College ) antes de recibir una licenciatura de la Universidad de Chicago en 1955 y un doctorado.en matemáticas de la Universidad de Princeton en 1959. [1] Completó su tesis doctoral, titulada "Teoría de los sistemas formales", bajo la supervisión de Alonzo Church . [4]
Mientras que un Ph.D. Como estudiante, Smullyan publicó un artículo en el Journal of Symbolic Logic de 1957 [5] que mostraba que la incompletitud de Gödel era considerablemente más elemental para los sistemas formales que la del artículo histórico de Kurt Gödel de 1931. La comprensión contemporánea del teorema de Gödel data de este artículo de 1931. Más tarde, Smullyan presentó un caso convincente de que gran parte de la fascinación por el teorema de Gödel debería estar dirigida al teorema de Tarski , que es mucho más fácil de probar e igualmente perturbador filosóficamente. [6]
Smullyan escribió muchos libros sobre matemáticas recreativas y lógica recreativa. En particular, uno se titula ¿Cuál es el nombre de este libro? ISBN 0139550623 . Su Guía adicional para principiantes de lógica matemática ISBN 978-981-4730-99-0 , publicado en 2017, fue su último libro.
Fue profesor de matemáticas y filosofía en Lehman College , el Centro de Graduados de CUNY y la Universidad de Indiana . También era un astrónomo aficionado, y usaba un telescopio reflector de seis pulgadas para el cual molió el espejo. [1] El compañero matemático Martin Gardner era un amigo cercano.