Raymond Smullyan

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Raymond Smullyan
Description de cette image, également commentée ci-après

Raymond Smullyan.

Naissance (96 ans)
Far Rockaway, New York (États-Unis)
Nationalité Drapeau des États-Unis Américain
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[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.,‎ (1re éd. 1992), 288 p. (ISBN 978-0486470368, lire en ligne), couverture.

Liens externes[modifier | modifier le code]