Raymond Smullyan
Naissance |
Far Rockaway, New York (États-Unis) |
---|---|
Nationalité |
![]() |
Champs | mathématiques, logique |
Institutions | Université de Princeton |
Directeur de thèse | Alonzo Church |
Raymond Smullyan est un logicien, mathématicien et magicien[1] américain né en 1919.
Biographie
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.
Bibliographie sélective
En logique
- Godel's Incompleteness Theorems, 1992 - (ISBN 0-19-504672-2)
- (fr) Les théorèmes d'incomplétude de Gödel, Dunod, 2000 - (ISBN 2-10-005287-X)
- First-Order Logic, 1995 - (ISBN 0-486-68370-2)
- Forever Undecided:a puzzle guide to Gödel, Oxford University Press, 1997 - (ISBN 0-19-280141-4)
Récréations mathématiques
- The Tao is Silent, 1977 - (ISBN 0-06-067469-5)
- What is the Name of This Book?, 1978 - (ISBN 0-14-013511-1)
- (fr) Quel est le titre de ce livre ?, Dunod, 1981 - (ISBN 2-10-002003-X)
- The Chess Mysteries of Sherlock Holmes, 1979 - (ISBN 0-8129-2389-8)
- Sherlock Holmes en échecs, Flammarion, 2001 - (ISBN 2-08-068049-8)
- The Chess Mysteries of the Arabian Knights, 1981 - (ISBN 0-19-286124-7)
- The Lady or the Tiger?, 1982 - (ISBN 0-8129-2117-8)
- (fr) Le livre qui rend fou, Dunod, 1984 - (ISBN 2-10-003202-X)
- This Book Needs No Title, 1986 - (ISBN 0-671-62831-3)
- To Mock a Mockingbird, 1985 - (ISBN 0-19-280142-2)
- Alice in Puzzle-land, 1986 - (ISBN 0-688-00748-1)
- Satan, Cantor and Infinity and other mind-boggling puzzles, 1992 - (ISBN 0-679-40688-3)
- (fr) Ça y est, je suis fou !!, Dunod, 1993 - (ISBN 2-10-001963-5)
- The Riddle of Scheherazade, 1997 - (ISBN 0-15-600606-5)** Les énigmes de Shéhérazade, Flammarion, 1998 - (ISBN 2-08-035564-3)
- The Magic Garden of George B. And Other Logic Puzzles, Polimetrica (Monza/Italy), 2007 - (ISBN 978-88-7699-066-3)
Notes et références
Liens externes
- (en) John J. O’Connor et Edmund F. Robertson, « Raymond Smullyan », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
- Notices d’autorité : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • Bibliothèque nationale de la Diète • Bibliothèque nationale d'Espagne • WorldCat
- Portail de la logique
- Portail de la littérature
- Portail des échecs