Raymond Smullyan
Raymond Smullyan est un logicien, mathématicien, philosophe et magicien<ref>Modèle:Ouvrage.</ref> américain né le Modèle:Date à Far Rockaway et mort le Modèle:Date<ref>Modèle:Lien web.</ref> à Hudson dans l'État de New York.
Biographie
Modèle:... 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<ref>Modèle:Lien web</ref>.
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.
Bibliographie sélective
En logique
- Godel's Incompleteness Theorems, 1992 Modèle:ISBN
- {{#invoke:Langue|indicationDeLangue}} Les théorèmes d'incomplétude de Gödel, Dunod, 2000 Modèle:ISBN
- First-Order Logic, 1995 Modèle:ISBN
- Forever Undecided:a puzzle guide to Gödel, Oxford University Press, 1997 Modèle:ISBN
Récréations mathématiques
- The Tao is Silent, 1977 Modèle:ISBN
- What is the Name of This Book?, 1978 Modèle:ISBN
- {{#invoke:Langue|indicationDeLangue}} Quel est le titre de ce livre ?, Dunod, 1981 Modèle:ISBN
- The Chess Mysteries of Sherlock Holmes, 1979 Modèle:ISBN
- {{#invoke:Langue|indicationDeLangue}} Sherlock Holmes en échecs, Flammarion, 2001 Modèle:ISBN
- The Chess Mysteries of the Arabian Knights, 1981 Modèle:ISBN
- The Lady or the Tiger?, 1982 Modèle:ISBN
- {{#invoke:Langue|indicationDeLangue}} Le livre qui rend fou, Dunod, 1984 Modèle:ISBN
- This Book Needs No Title, 1986 Modèle:ISBN
- To Mock a Mockingbird, 1985 Modèle:ISBN
- Alice in Puzzle-land, 1986 Modèle:ISBN
- Satan, Cantor and Infinity and other mind-boggling puzzles, 1992 Modèle:ISBN
- {{#invoke:Langue|indicationDeLangue}} Ça y est, je suis fou !!, Dunod, 1993 Modèle:ISBN
- The Riddle of Scheherazade, 1997 Modèle:ISBN
- {{#invoke:Langue|indicationDeLangue}} Les énigmes de Shéhérazade, Flammarion, 1998 Modèle:ISBN
- The Magic Garden of George B. And Other Logic Puzzles, Polimetrica (Monza/Italy), 2007 Modèle:ISBN
