Raymond Smullyan dimostrò che l'incompletezza gödeliana si applicava ai sistemi formali elementari, cambiando la comprensione contemporanea della logica matematica nel 1957. Oltre alla sua ricerca accademica, si dedicò per tutta la vita alla prestigiazione, alla musica e agli enigmi ricreativi. Per quasi un secolo ha operato come matematico, filosofo e docente in molteplici istituzioni americane.
Formazione iniziale e passione musicale
Nato nel 1919 a Far Rockaway, Smullyan mostrò una precoce abilità nel violino e nel pianoforte, vincendo una medaglia d'oro della New York Music Week Association a dodici anni. Nonostante abbia frequentato la Theodore Roosevelt High School, la lasciò prima del diploma per dedicarsi allo studio indipendente dell'algebra astratta moderna e della geometria. La sua prima età adulta incluse brevi periodi alla Pacific University e al Reed College, seguiti da un focus su spettacoli, magia e studio autodidatta a San Francisco e New York.
Percorso accademico e logica
Smullyan si iscrisse infine all'Università del Wisconsin-Madison e successivamente all'Università di Chicago, dove si laureò in matematica. La sua carriera accademica fiorì dopo aver redatto articoli per Rudolf Carnap, che portarono il suo lavoro all'attenzione di Willard Van Orman Quine e Kurt Gödel. Ottenne la laurea triennale nel 1955 e completò il dottorato di ricerca all'Università di Princeton nel 1959 sotto la supervisione di Alonzo Church. La sua tesi, Theory of Formal Systems, fu pubblicata nel 1961.
Insegnamento e scrittura
La sua carriera professionale incluse incarichi di insegnamento al Dartmouth College, all'Università di Princeton, alla New York University, alla Yeshiva University e alla City University of New York, dove prestò servizio dal 1968 al 1982. Insegnò anche filosofia all'Università dell'Indiana. Smullyan è autore di numerose opere di logica ricreativa, tra cui What Is the Name of This Book?, To Mock a Mockingbird e The Chess Mysteries of Sherlock Holmes. Continuò a scrivere fino alla sua morte nel 2017.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Informazioni principali
- Nato: 1919, Far Rockaway - Morto: 2017, Hudson - Istruzione: Università di Princeton (Ph.D., 1959) - Opera notevole: What is the name of this book? - Campi di attività: Logica - Luogo di sepoltura: Cimitero Evergreen
Domande frequenti
### Quali materie ha insegnato Raymond Smullyan?
Ha insegnato matematica, informatica e filosofia presso varie istituzioni, tra cui la Yeshiva University, la CUNY e l'Università dell'Indiana.
### Come ha contribuito alla logica?
Ha ampliato la portata dell'incompletezza gödeliana applicandola a sistemi formali più semplici e ha scritto molti libri influenti sulla logica ricreativa.
