Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Raymond M Smullyan

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

1919

Far Rockaway, Long Island, New York City, USA

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Raymond Smullyan, connu sous le nom de Ray, a été élevé dans Far Rockaway à New York. Richard Feynman a également été né à Far Rockaway quelques mois à peine avant Smullyan. Il raconte dans son introduction à la logique des casse-tête quand il avait six ans:

Le 1 er avril 1925, j'ai été malade au lit ... Le matin, mon frère Emile (dix années, mon père) est venu dans ma chambre et dit: "Eh bien, Raymond, est aujourd'hui avril Fool's Day, et je vous tromper que vous n'avez jamais été dupé avant!" J'ai attendu toute la journée pour lui de me tromper, mais il ne l'a pas.

Emile dupe lui avait pas tromper par lui! Smullyan écrit:

Je me souviens située dans le lit de temps après les lumières ont été rejetées à se demander si je n'avais pas vraiment été dupe.

Comme un jeune garçon Smullyan aimé la musique et de la science et il est extrêmement talentueux musicalement. Quand il a douze ans, il a remporté une médaille d'or dans un concours de piano et il a regardé comme si il faire de la musique sa carrière.

Lorsque Smullyan a treize ans sa famille s'installe à Manhattan. Là, il a participé à la Theodore Roosevelt High School dans le Bronx, cette école choisie parce qu'elle offre des cours de musique spéciale qui serait bien adaptée à ses objectifs musicaux. Toutefois, l'école n'a pas à la fin Smullyan donner ce qu'il voulait. Oui, il était passionné de musique, mais il avait une autre passion, et qui était les mathématiques. Il voulait apprendre sur les groupes, des anneaux et des champs, les fondements des mathématiques et la logique mathématique. C'est le Theodore Roosevelt High School ne lui donne pas il a quitté l'école à l'étude sur la sienne.

Quelques années d'études certainement mis dans une bonne position pour passer les examens College Board, ce qu'il a fait et est entré Pacific College dans l'Oregon. Peu de temps Smullyan déplacé à Reed College, puis il se rend à San Francisco où il a étudié le piano. Il semble que s'il est totalement confuse à ce stade de sa vie à étudier si les mathématiques ou la musique et même s'il avait réglé ce problème dans son esprit, il ne semble pas avoir constaté que les méthodes classiques d'enseignement dans les collèges et les universités ont été à son goût.

De retour à New York de San Francisco, Smullyan a étudié les mathématiques et la logique de sa propre et c'est à cette époque qu'il a commencé à composer des casse-tête d'échecs. Eh bien, en fait, il a composé son premier puzzle d'échecs à l'âge de seize et il était le type classique du jeu d'échecs puzzle "de couleur blanche à jouer et le second en deux coups":

... il est un classique à deux-moteur. Je l'ai montré à plusieurs de mes amis plus âgés. L'un d'eux a dit ... "si je devais composer un problème d'échecs ... il serait de déduire ce qui s'est passé plus tôt dans le jeu". Cela m'a frappé comme une idée fascinante, et je straightway mis au travail et compose un problème dans l'analyse rétrograde.

Bien que Smullyan avait pas entendu parler de l'analyse rétrograde à l'heure actuelle, un tel domaine d'échecs problèmes existent. Ils ont été un casse-tête où doit travailler en arrière. Par exemple, une position d'échecs serait donnée et un point d'interrogation serait sur un des carrés. Le problème serait de trouver ce que la pièce manquante est que doit être sur cette case. Il semble que si un tel problème ne peut être résolu, et c'est exactement le type de problème que Smullyan aimé. Problèmes qui ont une solution unique, mais attend tout à fait impossible. Au cours de ce sort à New York, Smullyan composé de nombreux problèmes d'échecs dans l'analyse rétrograde et ils ont été utilisés plus tard dans ses deux livres sur le sujet et.

Étudier les mathématiques et la composition des problèmes d'échecs ne sont pas les seules choses qu'il a fait à New York à ce moment-là, car il aussi appris à faire des tours de magie, de devenir un très bon magicien. En 1943, il est retourné à l'éducation formelle l'entrée de l'Université du Wisconsin. Après avoir étudié pendant un an, il déménage à Chicago où il a commencé à suivre des cours à l'université, mais a renoncé après seulement un semestre. Il a continué à étudier de sa propre et gagnait sa vie dans l'enseignement de la musique Roosevelt College de Chicago.

Il est ensuite retourné à New York où il a passé deux ans. Au cours de ces années, il a obtenu l'argent exécution des actes de magie dans les boîtes de nuit de Greenwich Village. En 1949, il est retourné à Chicago, a pris diverses cours à l'université et a effectué son acte magique autour de la ville pour gagner sa vie. En fait la magie de son acte était très populaire et Smullyan, bien que fondamentalement un homme timide, a donné un merveilleux amusant et divertissant comme acte Cinq Ace Merrill, avec hilariously funny patter. Toutefois:

... ma magie d'affaires a été lent pour une brève période et je devais compléter mon revenu en quelque sorte. J'ai décidé de essayez d'obtenir un emploi de vendeur. J'ai appliqué à un aspirateur ...

En 1954, il était encore à Chicago, en entreprenant des études supérieures de recherche mais n'ayant pas encore accumulé le nombre de crédits pour l'attribution d'un premier degré.

L'un des Smullyan enseignants à l'Université de Chicago avait été Rudolf Carnap, le célèbre philosophe et logicien de positivisme logique. Il a maintenant Smullyan recommandé pour un poste de mathématiques au Dartmouth College, le collège d'arts libéraux de Hanover, New Hampshire. Smullyan avait pas de qualifications pour le moment, mais travaille déjà sur la recherche mathématique pour les futures publications. Il a enseigné à Dartmouth College de 1954 à 1956, l'attribution de son BS de l'Université de Chicago en 1955. Il n'a jamais suffisamment de cours pour mériter le prix, mais de faire le nombre de Chicago crédité d'un cours de calcul dont il n'avait jamais été prises, mais l'enseignement.

Smullyan publié langues dans lesquelles l'auto de référence est possible dans le Journal of Symbolic Logic en 1957. L'année suivante, l'indécidabilité et récursive semble indissociable qui prouve deux résultats sur l'indécidabilité de l'arithmétique, dont l'un avait été suggéré par Bernays. Au moment où le second de ces articles parus, Smullyan a été à l'université de Princeton de travail en vertu de Alonzo Church pour son doctorat. Il est entré en 1957 et a obtenu son doctorat en 1959. Nommé à un poste à Princeton en 1958, il a travaillé jusqu'en 1961.

Il a publié plusieurs articles de mathématiques au cours de cette période. Séparation exacte de récursivement dénombrable assortiments théories écrit conjointement avec Hilary Putnam a été publié en 1960 tandis que Smullyan également publié Théories efficacement inséparables noyaux cette année-là, puis en 1961 les trois documents étendue canonique; élémentaires des systèmes formels et monadique élémentaires des systèmes formels.

En 1961, il a également publié la monographie de Théorie des systèmes formels publié par Princeton University Press. Kreisel, en revoyant le livre nous dit qu'il donne:

... le plus élégant exposition de la théorie récursivement dénombrable de (re) met en existence. ... Tous les bien-connues sur la relance de résultats sont des données, y compris les variantes et améliorations ... [il ya] frappant amélioration par rapport aux précédentes expositions ...

En 1957, lorsque Smullyan était un étudiant diplômé de Princeton, il a montré quelques-unes de ses échecs casse-tête à un autre étudiant qui:

... fourni une foule de suggestions utiles.

En fait, cette étudiante de troisième cycle un envoyé du casse-tête à son père en Angleterre qui à son tour envoyé à la Manchester Guardian et le journal a publié. The Guardian n'a pas connu qui a été l'auteur et, le cas Smullyan contact avec eux, ils ont été heureux de reconnaître sa paternité et de publier plus de ses problèmes d'échecs.

En 1961 Smullyan a été nommé à la Yeshiva University juive à New York où il a enseigné jusqu'en 1968 quand il a déménagé à Lehman College, anciennement du Collège Hunter Bronx campus, qui ont adhéré à la City University de New York cette année-là. Depuis 1982, il est devenu professeur émérite de la City University de New York - Lehman College et Graduate Center. Il a ensuite été nommé Oscar Ewing professeur de philosophie à l'Université de l'Indiana.

Smullyan de publications ont été tout à fait remarquable avec les deux livres remarquables sur rétrograde analyse les problèmes et les échecs, toute une série de casse-tête merveilleux populaires tels que livres, et quelques livres sur les fondements des mathématiques et de logique mathématique qui sont à bien des égards dans une classe de eux-mêmes.

Le puzzle livres présenter au grand public une agréable introduction à certaines des idées les plus profondes dans les fondements des mathématiques. Par exemple, le livre est décrit sur la couverture comme suit:

Commençant par amusante singe et astuces classique cerveau-teasers diabolique avec de nouveaux mouvements, le professeur Smullyan tourne un labyrinthe de logique encore plus complexes et difficiles problèmes comme il le plonge dans certains des plus profonds paradoxes de la logique et la théorie des ensembles, y compris Gödel l 'révolutionnaire Théorème de l'indécidabilité.

Martin Gardner, ce livre décrit dans Scientific American que:

Le plus original, plus profond et le plus drôle de collecte de loisirs logique et les mathématiques problèmes qui ait jamais été écrite.

Dans son livre puzzle Smullyan écrit qu'il donne:

... une visite guidée de l'Infini, en expliquant les découvertes d'avant-garde du grand mathématicien Georg Cantor, qui a été le premier à mettre le sujet sur une base solide logique. ... il doit se demander à qui l'ensemble fascinant objet d'Infinity est si peu connu du grand public! Pourquoi n'est-il pas enseigné dans les écoles secondaires? Il n'est pas difficile à comprendre que l'algèbre ou de géométrie, et il est si gratifiant!

Nous avons mentionné un de ses livres sur la logique mathématique ci-dessus. Il a publié un autre texte de premier ordre logique en 1968:

Cet ouvrage traite principalement avec les preuves, et les interconnexions entre les différentes formulations de la conformité Théorème de premier ordre logique. ... Ce livre combine l'élégance avec claire, détaillée, un bon élève devrait être capable de lire presque sans un enseignant.

En 1992, il a publié l'incomplétude de Gödel théorèmes. Smullyan explique dans la préface qu'il a écrit le livre:

... pour le grand mathématicien, philosophe, informaticien et curieux de tout autre lecteur qui a au moins un signe de tête connaissance avec la symbolique de premier ordre logique, et qui peuvent reconnaître la validité logique de quelques formules élémentaires. Une norme-un semestre en cours la logique mathématique est plus que suffisante pour la compréhension de ce volume.

Ce livre est le premier d'une série de textes qui figuraient dans la succession rapide. En 1993, il a publié la théorie de Recursion Metamathematics qui est une suite à son texte de 1992 décrit ci-dessus. Un troisième volume de la série Diagonalization et l'auto-référence a été publiée en 1994 et présente un sujet très difficile dans une telle manière que l'on pourrait la fois compréhensible et agréable.

En 1996 Smullyan co-écrit avec Melvin Aménagement théorie des ensembles et le continuum problème. Plotkin, l'examen de ce livre écrit:

La cohérence et l'indépendance des épreuves, de par leur nature même, pointilleux, formelle, et très technique. Les auteurs écrivent avec une admirable lucidité. Il ya quelques vraiment charmant ensemble de pièces sur countability et uncountability sur les mathématiques et l'induction ... Le lecteur peut sentir l'auteur va rechercher l'élégance de la présentation des données.

Melvin Fitting, Smullyan co-auteur de ce texte, a décrit la façon dont fonctionne Smullyan:

Certaines personnes en même temps faire les choses. [Smullyan] ne l'est pas. Ray a toujours été épisodiques dans son travail. Il va s'intéresser à quelque chose et plus ou moins abandonner tout le reste. Il a écrit un essai à un point et puis, au cours des deux prochaines années, il y avait cet énorme flux d'essais. ... Après l'essai étape, il commencé à faire des puzzles. Pour les prochaines deux ou trois ans tout était casse-tête. Ils trouvent leur chemin dans l'ensemble de son travail. Maintenant il est reparti en mathématiques, mais le puzzle élément est toujours là.

Comme un enseignant Smullyan le style diffère de la plupart des chargés de cours. Mothner écrit:

Dans la classe, Smullyan est loin d'être agréable ou tranquille. ... Je regardais lui enseigner une logique de deuxième cycle Certes, comme il lurched au tableau noir (où il écrit dans une main et de fonctionnement dans des phrases complètes) et se déroulent à un rythme de son bureau, l'agitation de l'enfant et un petit rire. Il pause dans un petit rire sifflants les problèmes que semble laisser à ses étudiants plus confuse que amusé. Avant le cours commence, il a essayé de se réchauffer le groupe, de lancer quelques casse-tête simple ...

Enfin nous mentionner qu'il a plus d'un passe-temps, à savoir astronony. Il aime observer à travers son télescope, il terrain et les six pouces miroir lui-même.

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