Raymond Smullyan a démontré que l'incomplétude gödelienne s'appliquait aux systèmes formels élémentaires, modifiant ainsi la compréhension contemporaine de la logique mathématique en 1957. Au-delà de ses recherches universitaires, il s'est adonné toute sa vie à la magie de scène, à la musique et aux énigmes récréatives. Pendant près d'un siècle, il a exercé les fonctions de mathématicien, de philosophe et d'enseignant dans plusieurs institutions américaines.
Éducation précoce et passion musicale
Né en 1919 à Far Rockaway, Smullyan a manifesté très tôt des aptitudes pour le violon et le piano, remportant une médaille d'or de la New York Music Week Association à l'âge de douze ans. Bien qu'il ait fréquenté le lycée Theodore Roosevelt, il l'a quitté avant d'obtenir son diplôme pour se consacrer à l'étude autonome de l'algèbre abstraite moderne et de la géométrie. Son début d'âge adulte a été marqué par de brefs passages à l'Université du Pacific et au Reed College, suivis d'un engagement dans la performance, la magie et l'étude autodidacte à San Francisco et à New York.
Parcours académique et logique
Smullyan s'est finalement inscrit à l'Université du Wisconsin à Madison, puis à l'Université de Chicago, où il s'est spécialisé en mathématiques. Sa carrière universitaire a prospéré après qu'il a rédigé des articles pour Rudolf Carnap, attirant ainsi l'attention de Willard Van Orman Quine et de Kurt Gödel. Il a obtenu sa licence en 1955 et a soutenu son doctorat à l'Université de Princeton en 1959 sous la direction d'Alonzo Church. Sa thèse, Theory of Formal Systems, a été publiée en 1961.
Enseignement et écriture
Sa carrière professionnelle comprend des postes d'enseignement au Dartmouth College, à l'Université de Princeton, à l'Université de New York, à l'Université Yeshiva et à l'Université de la Ville de New York, où il a enseigné de 1968 à 1982. Il a également enseigné la philosophie à l'Université de l'Indiana. Smullyan est l'auteur de nombreux ouvrages de logique récréative, notamment What Is the Name of This Book?, To Mock a Mockingbird et The Chess Mysteries of Sherlock Holmes. Il a continué à écrire jusqu'à sa mort en 2017.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Naissance : 1919, Far Rockaway - Décès : 2017, Hudson - Formation : Université de Princeton (doctorat, 1959) - Œuvre notable : What is the name of this book? - Domaines de travail : Logique - Lieu de sépulture : Cimetière Evergreen
Questions fréquentes
### Quelles matières Raymond Smullyan a-t-il enseignées ?
Il a enseigné les mathématiques, l'informatique et la philosophie dans diverses institutions, notamment l'Université Yeshiva, CUNY et l'Université de l'Indiana.
### Quelle a été sa contribution à la logique ?
Il a élargi la portée de l'incomplétude gödelienne pour l'appliquer à des systèmes formels plus simples et a écrit de nombreux livres influents sur la logique récréative.
