Raymond Smullyan est un polymathe, logicien, mathématicien, philosophe, et magicien. américain né le à Far Rockaway (New York) et mort le . à Hudson dans l'État de New York.
Biographie
Raymond Smullyan développe tôt un double intérêt pour la musique et la science. A douze ans, il gagne une médaille d'or à l'occasion d'un concours de piano, et semble se destiner à une carrière musicale. Il s'inscrit à la Theodore Roosevelt High School, mais cette solution ne le satisfait pas entièrement : il lui manque les mathématiques. Smullyan navigue donc entre études musicales et scientifiques pendant des années, avant de se voir octroyer un poste de professeur au Dartmouth College de Hanover.
Il est connu pour avoir écrit des livres d'énigmes logiques et mathématiques qui permettent de montrer au grand public des concepts avancés en logique comme les théorèmes d'incomplétude de Gödel.
Son livre d'échecs, The Chess Mysteries of Sherlock Holmes, mettant en scène Sherlock Holmes et le Docteur Watson et écrit dans le style d'Arthur Conan Doyle, est une introduction à l'analyse rétrograde.
En théorie de la calculabilité, on lui doit le théorème de récursion double.
Raymond Smullyan n'a jamais abandonné la musique et a enregistré un récital de pièces de Bach, Scarlatti et Schubert.
Publications (sélection) En logique Godel's Incompleteness Theorems, 1992 Les théorèmes d'incomplétude de Gödel, Dunod, 2000 First-Order Logic, 1995 Forever Undecided:a puzzle guide to Gödel, Oxford University Press, 1997
Récréations mathématiques
Notes et références
Liens externes
Catégorie:Logicien américain Catégorie:Personnalité américaine de l'informatique Catégorie:Écrivain américain du XXe siècle Catégorie:Problémiste américain Catégorie:Personnalité en mathématiques récréatives Catégorie:Étudiant de l'université de Princeton Catégorie:Étudiant de l'université de Chicago Catégorie:Professeur à l'université Yeshiva Catégorie:Professeur à l'université de l'Indiana à Bloomington Catégorie:Professeur à l'université de la ville de New York Catégorie:Naissance en mai 1919 Catégorie:Naissance à Far Rockaway Catégorie:Décès en février 2017 Catégorie:Décès dans le comté de Columbia (New York) Catégorie:Décès à 97 ans Catégorie:Naissance à New York en 1919