Raymond Smullyan

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Raymond Smullyan.

Raymond Smullyan est un logicien, mathématicien et magicien[1] américain né en 1919.

Biographie[modifier | modifier le code]

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[modifier | modifier le code]

En logique[modifier | modifier le code]

Récréations mathématiques[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. (en) Raymond Smullyan, Satan, Cantor & Infinity : Mind-Boggling Puzzles, Dover Publications Inc.,‎ 1er mars 2009 (1re éd. 1992), 288 pages p. (ISBN 978-0486470368, lire en ligne), couverture.