Raymond Merrill Smullyan (New York, 25 maggio 1919 – New York, 6 febbraio 2017[1][2]) è stato un matematico, filosofo, scrittore e prestigiatore statunitense.
Nato a Far Rockaway, nel Queens, uno dei cinque distretti di New York, mostrò fin dalla più tenera età grande interesse per la musica, e specialmente per il pianoforte, che iniziò a suonare all'età di tre anni.[3] Quando Smullyan aveva quattro anni, la madre scoprì che il figlio aveva l'orecchio assoluto.[3] Durante la sua giovinezza Smullyan si avvicinò allo studio della scienza, dedicandosi al radioamatorialismo e alla chimica.[3] Studiando allo stesso tempo pianoforte e violino, nel 1931 vinse la competizione della Settimana della musica di New York, decidendo così di dedicare la sua carriera musicale al pianoforte.[3] Dovette però abbandonare lo strumento a causa di una tendinite al braccio destro poco dopo aver iniziato ad insegnare al Roosevelt College di Chicago; ciò però gli permise di approfondire i suoi studi di matematica.[3] Dopo aver lasciato l'insegnamento, rimase disoccupato per diverso tempo, tenendosi però attivo sviluppando le sue conoscenze di matematica e creando i suoi primi problemi di scacchi.[3] Entrato al college grazie agli esami del College Board, mentre era ancora una matricola studiava in corsi avanzati di matematica e si sostentava economicamente grazie alla sua attività di prestigiatore. Ottenne poi il diploma di Bachelor of Science all'Università di Chicago nel 1955 e il Ph.D. in matematica a Princeton nel 1959.[3] È uno dei molti logici allievi di Alonzo Church.
Mentre studiava per il dottorato, nel 1957 Smullyan pubblicò sul Journal of Symbolic Logic un saggio[4] in cui sosteneva che l'incompletezza gödeliana era valida per sistemi formali considerevolmente più elementari di quello descritto da Gödel nel suo fondamentale scritto del 1931. La moderna comprensione del teorema d'incompletezza di Gödel ha inizio con questo lavoro. In seguito Smullyan ha rilevato che gran parte dell'ammirazione che nutriamo per il teorema di Gödel dovrebbe essere diretta al teorema d'indefinibilità di Tarski, molto più facile da dimostrare ma ugualmente rivoluzionario dal punto di vista filosofico.
Il culmine delle riflessioni sui teoremi classici limitativi della logica matematica, che lo hanno accompagnato lungo tutto il corso della sua vita, si intitola:
Oltre che scrivere di logica ed insegnarla, Smullyan ha pubblicato una registrazione dei suoi pezzi classici al piano preferiti scritti da Bach, Scarlatti, e Schubert. Ha anche scritto un'autobiografia intitolata Some Interesting Memories: A Paradoxical Life. ISBN 1888710101.
Nel 2001, il regista di documentari Tao Ruspoli ha diretto un film su Raymond Smullyan dal titolo This Film Needs No Title (parodiando il titolo del libro di Smullyan This Book Needs No Title. ISBN 0671628313). Sposatosi con Blanche, un'insegnante di pianoforte, nel 1958, è rimasto vedovo nel 2006 quando ella è morta all'età di 100 anni.[3]
Smullyan è autore di molti libri di matematica e logica ricreativa. Uno dei più importanti è intitolato Qual è il titolo di questo libro?.
Molti dei suoi problemi logici sono estensioni di rompicapo classici. Sull'isola dei cavalieri e dei furfanti i personaggi sono cavalieri (che dicono sempre la verità) e furfanti (che mentono sempre). Prendono spunto dalla storia delle due porte e dei due guardiani, uno che mente sempre e l'altro che dice sempre il vero, ma non si sa quale sia l'uno e quale sia l'altro. Una porta conduce al paradiso, l'altra all'inferno, ed il rompicapo consiste nello scoprire quale sia la porta "buona" facendo una sola domanda a uno dei due guardiani. Una possibile soluzione è chiedere "Quale porta mi indicherebbe l'altro guardiano se gli chiedessi la via per l'inferno?".
In rompicapo più complessi, Smullyan introduce personaggi che possono mentire o dire la verità (chiamati "normali"), ed inoltre invece di rispondere "sì" o "no", usano parole che significano "sì" o "no", ma il lettore non sa in partenza quale significato attribuire ad ognuna delle due. Nei suoi indovinelli logici in Transilvania, metà degli abitanti è matta, e crede solo in affermazioni false, mentre l'altra metà è sana, e crede solo in affermazioni vere. Inoltre, gli umani dicono sempre la verità, mentre i vampiri mentono sempre. Per esempio, un vampiro matto crederà vera l'affermazione "2+2 non fa 4" ma mentirà dicendo che è falsa. Un vampiro sano sa che 2+2 fa 4, ma mentirà e dirà che non è vero. E viceversa per gli umani. Quindi qualsiasi affermazione fatta da un umano sano o da un vampiro matto è vera, mentre qualsiasi cosa affermi un umano matto o un vampiro sano è falsa.
Il suo libro Forever Undecided divulga i teoremi d'incompletezza di Gödel parlandone in termini di persone che ragionano e delle loro credenze, piuttosto che in termini di sistemi formali e di ciò che può essere provato al loro interno. Ad esempio, se un nativo dell'isola dei cavalieri e dei furfanti dice a un pensatore sufficientemente consapevole "Non crederai mai che io sono un cavaliere", l'interlocutore può non credere che il nativo sia un cavaliere o che sia un furfante senza diventare incoerente (ad esempio avendo due credenze tra loro contraddittorie). Il teorema equivalente afferma che per ogni sistema formale S esiste una proposizione matematica che può essere interpretata come "questa proposizione non può essere dimostrata nel sistema formale S". Se il sistema S è coerente, né la proposizione né il suo contrario potranno essere dimostrati al suo interno.
L'ispettore Craig è un personaggio che compare spesso nei racconti-rompicapo di Smullyan. In genere viene chiamato sulla scena di un delitto che ha una soluzione di tipo matematico. Poi, attraverso una serie di sfide sempre più difficili Craig e il lettore iniziano a capire i principi alla base dell'enigma. Infine il racconto culmina nella comprensione dello svolgimento del crimine da parte dell'ispettore Craig (e del lettore), utilizzando i principi matematici e logici appresi.
È interessante notare che Craig in genere non apprende la teoria formale alla base degli enigmi che risolve, e Smullyan di solito usa qualche capitolo successivo alle avventure dell'ispettore per illustrare al lettore le analogie tra enigmi e teorie.
Il suo libro Fare il verso al pappagallo e altri rompicapi logici (1985, ISBN 8845216217) è un'introduzione ricreativa alla logica combinatoria.
Controllo di autorità | VIAF (EN) 108832636 · ISNI (EN) 0000 0001 2147 1432 · Europeana agent/base/60554 · LCCN (EN) n80001012 · GND (DE) 115668411 · BNE (ES) XX998911 (data) · BNF (FR) cb11925051c (data) · J9U (EN, HE) 987007306989305171 · NSK (HR) 000047329 · NDL (EN, JA) 00457034 |
---|