El Raymond Merrill Smullyan ( llevado 1919 ) es matemático, el lógico, el filósofo, y el mago .

Llevado en el Rockaway lejano, Nueva York, su primera carrera (como el Persi Diaconis una generación más adelante) era magia de la etapa. Él entonces obtuvo un BSCA de Chicago en 1955 y un Ph. de Princeton en 1959. Él es uno de muchos lógicos excepcionales haber estudiado debajo de la iglesia de Alonzo.

Vida

Mientras que un estudiante del Ph., Smullyan publicó un papel en el diario 1957 del de la demostración de la lógica simbólica que el estado incompleto de Gödelian sostuvo para los sistemas formales considerablemente más elemental que el del papel 1931 de la señal de Gödel. La comprensión contemporánea del teorema de Gödel fecha de este papel. Smullyan hizo más adelante un caso compelling que mucha de la fascinación con el teorema de Gödel se debe dirigir en el teorema de Tarski, que es mucho más fácil de probar e igualmente disturbando filosófico. La culminación de la reflexión de por vida de Smullyan en los teoremas limitativos clásicos de la lógica matemática es su absolutamente legible:

Smullyan, R del " de M (2001); " de los teoremas del estado incompleto de Gödel; en Goble, Lou, ed., la guía de Blackwell a la lógica filosófica . Blackwell (ISBN 0-631-20693-0).

¿Smullyan es el autor de muchos libros en las matemáticas recreacionales, la lógica recreacional, el etc. especialmente, uno se titula cuál es el nombre de este libro? .

Muchos de sus problemas de lógica son extensiones de rompecabezas clásicos. El Knights y los bribones implican a caballeros (quién dicen siempre la verdad) y basan a los bribones (quién siempre mentira) en la historia de las dos puertas y de dos protectores, uno quién miente y una quién no lo hace. Una puerta lleva al cielo y a uno al infierno, y el rompecabezas es descubrir que la puerta lleva al cielo haciendo a uno de los protectores una pregunta. Una forma para hacer esto es pedir el " ¿Qué puerta el otro protector diría lleva al infierno? ". Esta idea fue utilizada famoso en el laberinto de 1986 películas.

En rompecabezas más complejos, él introduce los carácteres que pueden mentir o dicen la verdad (designada " normals"), y además en vez de " de contestación; yes" o " no", palabras del uso que " malo; yes" o " no", solamente el lector no sabe qué palabra significa cuál. El rompecabezas conocido como " el " más duro del rompecabezas nunca de la lógica; se basa apagado de estos carácteres y temas. En sus rompecabezas de Transilvania, la mitad de los habitantes es insana, y cree solamente cosas falsas, mientras que la otra mitad es sana y cree solamente cosas verdaderas. Además, los seres humanos dicen siempre la verdad, y la mentira de los vampiros siempre. Por ejemplo, un vampiro insano creerá una cosa falsa (2 + 2 no es 4) sino después mentirán sobre él, y dicen que es. Un vampiro sano sabe que 2 + 2 es 4, pero que mentirán y no es decirlo. Y mutatis mutandis del para los seres humanos. Así todo dicha por un vampiro humano o insano sano es verdad, mientras que todo dicha por un vampiro humano o sano insano es falso.

Su indeciso del libro populariza por siempre los teoremas del estado incompleto del de Gödel expresándolos en términos de reasoners y su creencia, algo que sistemas formales y qué se puede probar en ellos. Por ejemplo, si un natural de una isla del caballero/del bribón dice a un " suficientemente uno mismo-enterado del reasoner; Usted nunca creerá que soy un knight", el reasoner no puede creer tampoco que el natural es un caballero o que él es un bribón sin llegar a ser contrario (es decir creencia contradictoria de la tenencia dos). El teorema equivalente es ése para cualquier sistema formal S, allí existe una declaración matemática que se pueda interpretar como " Esta declaración no es demostrable en el sistema formal S". Si el sistema S es constante, ni la declaración ni su contrario será demostrable en él.

El inspector Craig es un carácter frecuente en el " de Smullyan; puzzle-novellas." Le llaman generalmente en una escena de un crimen, que tiene una solución que sea matemática en naturaleza. Entonces, con una serie de desafíos cada vez más más duros, él (y el lector) comienzan a entender los principios en la pregunta. Finalmente la novela corta culmina en el inspector Craig (y el lector) que soluciona el crimen, utilizando los principios matemáticos y lógicos aprendidos. El inspector Craig no aprende generalmente la teoría formal en la pregunta, y Smullyan reserva generalmente algunos capítulos después de la aventura de Craig del inspector para iluminar la analogía para el lector.

Su del libro para imitar un Mockingbird (1985) es una introducción recreacional al tema de la lógica combinatoria .

Aparte de la escritura alrededor y la lógica de enseñanza, Smullyan ha lanzado recientemente una grabación de sus pedazos clásicos preferidos del piano por los compositores tales como Bach, Scarlatti, y Schubert . Algunas grabaciones están disponibles en el Web site de la sociedad del piano, junto con el " video; Paseos, reflexiones, música y Readings". Él también ha escrito una autobiografía titulada el algunas memorias interesantes: Una vida paradójica (ISBN 1-888710-10-1).

En 2001, el documental Tao Ruspoli del cineasta hizo una película sobre el llamado Smullyan de Raymond necesidades de esta película ningún título .

Publicaciones seleccionadas

Popular

( 1977 ) el el Tao es silencioso
¿( 1978 ) cuál es el nombre de este libro?
( 1979 ) los misterios del ajedrez de Sherlock Holmes
( an o 80) el este libro no necesita ningún título
( 1981 ) el los misterios del ajedrez del árabe Knights
¿( 1982 ) la señora o el tigre?
( 1982 ) Alicia del en la Rompecabezas-Tierra
( 1983 ) 5000 A. del
( 1985 ) para imitar un Mockingbird
( 1987 ) por siempre indeciso del
( 1992 ) Satan del, chantre e infinito
( 1997 ) la criba de Scheherazade
( 2002 ) algunas memorias interesantes: Una vida paradójica
( 2003 ) que sabe?: Un estudio del sentido religioso

Académico

( 1961 ) teoría de los sistemas formales
( 1968 ) lógica de primer orden
( 1992 ) teoremas del estado incompleto de Gödel
( 1993 ) teoría de la repetición para Metamathematics
( 1994 ) Diagonalization y autorreferencia
( 1996 ) teoría determinada y el problema de la serie continua

Citas

El I ahora presenta a profesor Smullyan, que probará a usted que o él no existe o usted no existe, sino que usted no sabrá cuál. --Guarnición de Melvin

Ver también

para imitar un Mockingbird

Referencias externas

¿El es dios al Taoist? de Raymond Smullyan, 1977. * planeta del sin la risa de Raymond Smullyan, el an o 80. * una pesadilla epistemológica de Raymond Smullyan, 1982.

Zenithic

Raymond Smullyan

Random links:

Dos puntos, Nebraska | Tol Eressëa | Lista de Oceanids | Parque de la liga (Toledo) | J. Reginald Murphy