Smullyan Raymond
ELEMENTS DE BIOGRAPHIE
FONDEMENTS DES MATHEMATIQUES
Raymond Merill Smullyan est nĂ© en 1919 et est connu comme un mathĂ©maticien et logicien amĂ©ricain passionnĂ© de musique et de tours de magie . Avant de se consacrer aux mathĂ©matiques et Ă la logique, il est mĂȘme professeur de musique, spĂ©cialiste de casse-tĂȘtes et Ă©nigmes liĂ©s en gĂ©nĂ©ral au jeu d’Ă©checs , de tours de magie qui lui permettent de gagner beaucoup d’argent dans les cabarets. En 1954 il suit des cours Ă l’universitĂ© de Chicago et est remarquĂ© par Rudolf Carnap logicien et philosophe qui lui fait obtenir un poste de professeur de mathĂ©matique dans une universitĂ© du New-Hampshire.
En 1957 il publie Languages in which self reference is possible dans le Journal of Symbolic Logic, puis des rĂ©sultats sur l’indĂ©cidabilitĂ© . A partir de 1958 il enseigne dans diverses universitĂ©s et fait de nombreuses publications sur des casse-tĂȘtes logiques souvent liĂ©s au jeu d’Ă©checs qui le font connaitre du grand public.Les plus connues sont les Ă©nigmes de ShĂ©hĂ©razade et le livre qui rend fou. En 1992 il publie un livre sur les deux thĂ©orĂšmes d’incomplĂ©tude de Gödel . En 1996 il cosigne un ouvrage intitulĂ© : Set theory and the continuum problem..
Il est mort Ă New York en 2017.