Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Raymond M Smullyan

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

1919

Far Rockaway, Long Island, New York City, USA

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Raymond Smullyan, conocido como Ray, fue educado en Extremo Rockaway en Nueva York. Richard Feynman también se había nacido en el Lejano Rockaway pocos meses antes de Smullyan. En él relata su introducción al rompecabezas lógicos cuando tenía seis años:

El 1 de abril de 1925, yo estaba enfermo en la cama ... En la mañana mi hermano Emile (diez años mi padre) entró en mi habitación y dijo: "Bueno, Raymond, hoy es abril Fool's Day, y voy a engañar a usted como usted nunca ha sido engañado antes!" Esperé todo el día para él para engañar a mí, pero no lo hizo.

Emile le había engañado al no engañando a él! Smullyan escribe:

Recuerdo en la cama mucho tiempo después de las luces se convirtió en preguntarse si o no me había sido engañado.

Como un niño Smullyan amaba tanto la música y la ciencia y fue de gran talento musical. Cuando tenía doce años ganó una medalla de oro en una competencia de piano y parecía que haría su carrera musical.

Cuando se Smullyan trece años su familia se trasladó a Manhattan. Allí asistieron a la Theodore Roosevelt High School en el Bronx, la elección de esta escuela, ya que ofrece cursos especiales de música que se adapta bien a sus objetivos musicales. Sin embargo, la escuela no en el final Smullyan dar lo que él quería. Sí, fue apasionadamente interesado en la música, pero había otro que era la pasión y las matemáticas. Quería aprender sobre grupos, anillos y campos, los fundamentos de las matemáticas y la lógica matemática. Este el Theodore Roosevelt High School no le dan lo que dejó la escuela a estudiar por su cuenta.

A pocos años de estudio ciertamente lo puso en una buena posición para sentarse exámenes del College Board, lo que hizo y entró Pacific College en Oregon. Pronto se trasladó a Smullyan Reed College, y luego se trasladó a San Francisco, donde estudió piano. Parece como si estuviera totalmente confundido en esta etapa de su vida a estudiar si las matemáticas o la música, e incluso si se hubiera resuelto este problema en su mente, no parece que han encontrado que los convencionales métodos de enseñanza en colegios y universidades a su gusto.

Volviendo a Nueva York desde San Francisco, Smullyan estudiado matemáticas y la lógica de su propio y es en este momento que empezó a componer el ajedrez rompecabezas. Bueno, en realidad había compuesto su primer puzzle de ajedrez a la edad de dieciséis y fue el tipo convencional de ajedrez rompecabezas "de color blanco a juego y mate en dos movimientos":

... se trata de un motor convencional de dos. Le mostré a varios de mis antiguos amigos. Uno de ellos dijo ... "si yo tuviera que componer un problema de ajedrez ... sería deducir lo que sucedió anteriormente en el juego". Esto me pareció una idea fascinante, y me pusieron a trabajar straightway y compuesto de un problema de análisis retrógrado.

Smullyan aunque no había oído hablar del análisis de regresión en este momento, por ejemplo, un campo de problemas de ajedrez que existen. Eran rompecabezas donde uno tiene que trabajar hacia atrás. Por ejemplo, una posición de ajedrez y se daría un signo de que ser una de las plazas. El problema sería encontrar cuál es la pieza que falta es que tiene que estar en esa plaza. Suena como si tal problema no puede resolverse, y esto es exactamente el tipo de problema que Smullyan gustado. Problemas que había una solución única, sin embargo, parecía bastante imposible. Durante esta estancia en Nueva York, compuesto Smullyan muchos problemas de ajedrez en el análisis y retrógrada que más tarde fueron utilizados en sus dos libros sobre el tema y.

El estudio de las matemáticas y la composición de problemas de ajedrez no fueron las únicas cosas que hizo en Nueva York en este momento, porque él también aprendió a hacer trucos de magia, convirtiéndose en un muy buen mago. En 1943 regresó a la educación formal se introduzcan en la Universidad de Wisconsin. Después de estudiar allí durante un año se mudó a Chicago, donde comenzó a tomar cursos en la universidad, pero abandonó después de sólo un semestre. Continuó sus estudios por su cuenta y se ganaba la vida enseñando música en el Colegio Roosevelt en Chicago.

A continuación, regresó a Nueva York donde pasó dos años. Durante estos años ha ganado dinero en la realización de los actos nocturnos de magia en Greenwich Village. En 1949 regresó a Chicago, tomó varios cursos en la universidad y se lleva a cabo su acto de magia en torno a la ciudad a ganarse la vida. De hecho su acto de magia es muy popular y Smullyan, aunque básicamente un hombre tímido, hizo un maravilloso acto divertido y entretenido como Cinco As Merrill, con ligeros hilariously gracioso. No obstante:

... mi magia de negocios fue lento por un breve período y tuve que completar mis ingresos de alguna manera. Decidí intentar conseguir un trabajo como vendedor. He aplicado a la empresa una aspiradora ...

En 1954 fue aún en Chicago, empresa de nivel de postgrado, la investigación, pero aún no haber acumulado el número de créditos para la concesión de un primer grado.

Uno de los maestros de Smullyan en la Universidad de Chicago ha sido Rudolf Carnap, el famoso filósofo y lógico del positivismo lógico. Ahora Smullyan recomendado para un puesto de la matemática en Dartmouth College, la universidad de artes liberales en Hanover, New Hampshire. Smullyan no tenía las cualificaciones formales, pero en este momento ya estaba trabajando en la investigación matemática para futuras publicaciones. Enseñó en el Dartmouth College desde 1954 hasta 1956, se adjudicó su Licenciatura de la Universidad de Chicago en 1955. Nunca había terminado los cursos suficientes para merecer el premio, pero para compensar el número de Chicago le acreditan con un curso de cálculo, que nunca había tomado, pero fue la enseñanza.

Smullyan publicado Lenguas en que es posible la libre referencia en el Diario de la lógica simbólica en 1957. En el año siguiente Undecidability y recursivo indisociabilidad apareció lo que demuestra dos resultados en undecidability en aritmética, uno de los cuales han sido propuestos por Bernays. En el momento en el segundo de estos artículos aparecieron, Smullyan fue en la Universidad de Princeton que trabajan en Alonzo Church para su doctorado. Ingresó en 1957 y fue galardonado con el doctorado en 1959. Nombrado para un puesto en Princeton en 1958, trabajó allí hasta 1961.

Ha publicado diversos artículos de matemáticas durante este período. Exacta separación de conjuntos recursivamente enumerables en teorías escrito junto con Hilary Putnam, se publicó en 1960, mientras que también se publica Smullyan Teorias inseparables núcleos con eficacia en ese año y luego en 1961 los tres documentos de los sistemas de extensión canónica; Primaria sistemas formales y los sistemas formales monádico elemental.

En 1961 también publicó la monografía Teoría de los sistemas formales publicados por Princeton University Press. Kreisel, revisar el libro dice que da:

... la más elegante de la exposición de la teoría de la recursivamente enumerables (re) establece en existencia. ... Todos los conocidos resultados de nuevo se establece, incluidas las variantes y mejoras ... [hay] sorprendente mejora en anteriores exposiciones ...

En 1957, cuando fue Smullyan un estudiante graduado en Princeton mostró algunos de sus puzzles de ajedrez a un compañero estudiante graduado que:

... proporcionó una serie de sugerencias útiles.

En realidad, este estudiante graduado envió a uno de los puzzles a su padre en Inglaterra, que a su vez lo envió al Manchester Guardian y el diario lo publicó. The Guardian no hubiera sabido que el autor y, cuando Smullyan en contacto con ellos, se complace en reconocer su autoría y publicar más de sus problemas de ajedrez.

En 1961 fue nombrado Smullyan a los judíos la Yeshiva University de Nueva York, donde enseñó hasta 1968 cuando se trasladó a Lehman College, Hunter College de la antigua escuela del Bronx, que se incorporaron a la Universidad de la Ciudad de Nueva York en ese año. Desde 1982 se convirtió en profesor emérito de la Universidad de la Ciudad de Nueva York - Lehman College y el Graduate Center. Luego fue designado Oscar Ewing Profesor de Filosofía en la Universidad de Indiana.

Smullyan de publicaciones han sido bastante notables con los dos excelentes libros sobre análisis de problemas de ajedrez retrógrada y, toda una serie de maravillosos populares, tales como rompecabezas y libros, y algunos libros sobre los fundamentos de las matemáticas y la lógica matemática que son en muchos sentidos en una clase de su propia cuenta.

El puzzle de libros actuales para el público en general una agradable introducción a algunas de las ideas más profundo en los fundamentos de la matemática. Por ejemplo, el libro es descrito en la cubierta de la siguiente manera:

Comenzando con el mono lleno de diversión y trucos clásicos de cerebro diabólico rompecabezas con nuevos giros, el profesor Smullyan girar un laberinto de lógica aún más complejas y difíciles problemas que se profundiza en algunas de las paradojas más profundas de la lógica y la teoría de conjuntos, incluyendo Godel 's revolucionario teorema de undecidability.

Martin Gardner se describen en este libro Scientific American como:

El más original, más profunda y más humorística recogida de lógica y matemáticas recreativas problemas jamás escrito.

En su libro rompecabezas Smullyan escribe que él da:

... una visita guiada de Infinity, explica el pionero de los grandes descubrimientos matemático Georg Cantor, que fue el primero en poner el tema sobre una base sólida lógica. ... debe ser que se pregunta en todo el fascinante tema de Infinity es tan poco conocida para el público en general! ¿Por qué no se enseña en las escuelas secundarias? No es difícil comprender que el álgebra o geometría, y es muy gratificante!

Hemos hablado de uno de sus libros por encima de la lógica matemática. Ha publicado otro texto lógica de primer orden en 1968:

Este libro se ocupa fundamentalmente de las pruebas, y las interconexiones entre varias formulaciones de la conformidad para el teorema de la lógica de primer orden. ... Este libro combina la elegancia con la clara y detallada exposición, un buen estudiante debe ser capaz de leer casi sin un profesor.

En 1992 publicó incompleto teoremas de Godel. Smullyan explica en el prefacio que ha escrito el libro:

... para el matemático, filósofo, científico de la computación y de cualquier otro lector curioso que haya al menos un conocimiento asiente con el simbolismo de la lógica de primer orden, y que puede reconocer la validez de una lógica elemental algunas fórmulas. Un curso de un semestre en la lógica matemática es más que suficiente para la comprensión de este volumen.

This book was the first of a series of texts which appeared in quick succession. En 1993 publicó la teoría de recursión metamathematics que es una secuela de su texto de 1992 se ha descrito anteriormente. Un tercer volumen de la serie diagonalización y auto-referencia se publicó en 1994 y presenta un tema muy difícil de tal manera que sea comprensible y agradable.

En 1996 co-autor de Smullyan Melvin Acondicionamiento con la teoría de conjuntos y el continuo problema. Plotkin, la revisión de este libro, escribe:

La coherencia y la independencia son las pruebas por su propia naturaleza, puntilloso, formal y altamente técnico. Los autores escriben con admirable lucidez. Hay algunos realmente encantador conjunto de piezas countability y uncountability y en la inducción matemática ... El lector puede sentir el autor se esfuerza por la elegancia de la presentación y la exhaustividad.

Melvin Acondicionamiento, Smullyan del co-autor de este texto, ha descrito la forma en que Smullyan obras:

Algunas personas hacen las cosas simultáneamente. [Smullyan] no. Ray siempre ha sido episódica en su trabajo. Él interesarse en algo más o menos y abandonar todo. Él escribió un ensayo en un momento y luego, para el próximo par de años, hubo este enorme flujo de ensayos. ... Después de la fase de ensayo que empecé a hacer puzzles. Para los próximos dos o tres años todo fue rompecabezas. Ellos están buscando su camino en toda su obra. Ahora se ha ido de nuevo a las matemáticas, pero el rompecabezas elemento sigue ahí.

Como profesor Smullyan el estilo es diferente de la mayoría de los profesores. Mothner escribe:

En el aula, Smullyan es cualquier cosa menos tranquilo o de ocio. ... Le he visto enseñar un curso de posgrado lógica, ya que lurched a la pizarra (donde se escribe en una mano y reparadas en oraciones completas) y el ritmo de su mesa de trabajo, inquietud y chuckling. Que se rompen en una pequeña sibilante reírse de los problemas que parecía salir de sus alumnos más confuso que divertido. Antes de la clase comenzó, trató de calentar el grupo, lanzando algunos rompecabezas sencillos ...

Por último podemos mencionar que tiene una afición más, a saber, astronony. Le encanta observar a través de su telescopio, y las seis pulgadas de tierra propio espejo.

Source:School of Mathematics and Statistics University of St Andrews, Scotland