Raymond Smullyan

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

Raymond Merrill Smullyan ( New York , 25 mai 1919 - New York , 6 februarie 2017 [1] [2] ) a fost un matematician , filozof , scriitor , pianist și magician SUA .

Raymond Smullyan (2008)

Biografie

Născut în Far Rockaway , Queens , unul dintre cele cinci cartiere din New York , a arătat un mare interes pentru muzică încă de la o vârstă fragedă și mai ales pentru pian , pe care a început să-l cânte la vârsta de trei ani. [3] Când Smullyan avea patru ani, mama sa a descoperit că fiul ei avea un ton perfect. [3] În tinerețe, Smullyan a abordat studiul științei , dedicându-se radioului amator și chimiei . [3] Studiind pianul și vioara în același timp, în 1931 a câștigat concursul de la New York Music Week, hotărând astfel să-și consacre cariera muzicală pianului . [3] Cu toate acestea, a trebuit să abandoneze instrumentul din cauza tendinitei la brațul drept la scurt timp după ce a început să predea la Roosevelt College din Chicago ; acest lucru însă i-a permis să-și aprofundeze studiile de matematică . [3] După ce a părăsit predarea, a fost șomer de ceva timp, dar a rămas activ dezvoltându-și cunoștințele de matematică și creându-și primele probleme de șah . [3] A intrat la facultate datorită examenelor College Board, în timp ce era încă un boboc, a studiat la cursuri avansate de matematică și s-a susținut financiar din munca sa de magician . A obținut apoi o diplomă de licență în științe la Universitatea din Chicago în 1955 și un doctorat în matematică la Princeton în 1959. [3] Este unul dintre numeroșii studenți logici ai Bisericii Alonzo .

In timp ce studia pentru sale de doctorat , în 1957 Smullyan a publicat un eseu în Journal of Simbolice Logic [4] , în care el a susținut că incompletitudine Gödelian a fost valabilă pentru sistemele formale considerabil mai elementare decât cea descrisă de Gödel în seminala 1931 lucrarea sa. Înțelegerea lui Gödel teorema incompletitudinii începe cu această lucrare. Smullyan a descoperit mai târziu că o mare parte din admirația pe care o avem pentru teorema lui Gödel ar trebui să fie îndreptată către teorema indefinibilității lui Tarski , mult mai ușor de dovedit, dar la fel de revoluționară din punct de vedere filosofic.

Culmea reflecțiilor asupra teoremelor limitative clasice ale logicii matematice , care l-au însoțit de-a lungul vieții sale, se intitulează:

  • RM Smullyan, „Teoremele incompletei lui Gödel” în Lou Goble, (ed.), Ghidul Blackwell pentru logica filozofică , Malden, Blackwell 2001, pp. 72-89. ISBN 0631206930 .

Pe lângă faptul că scrie despre logică și o predă, Smullyan a lansat o înregistrare a pieselor sale preferate de pian clasice scrise de Bach , Scarlatti și Schubert . De asemenea, a scris o autobiografie numită Câteva amintiri interesante: o viață paradoxală . ISBN 1888710101 .

În 2001 , regizorul documentar Tao Ruspoli a regizat un film despre Raymond Smullyan intitulat This Film Needs No Title (parodând titlul cărții lui Smullyan This Book Needs No Title . ISBN 0671628313 ). Căsătorit cu Blanche, profesor de pian, în 1958 , a devenit văduv în 2006, când a murit la vârsta de 100 de ani. [3]

Smullyan și logica recreativă

Smullyan este autorul multor cărți despre matematică și logică recreative. Unul dintre cele mai importante este intitulat Care este titlul acestei cărți? .

Multe dintre problemele sale logice sunt extensii clasice de puzzle. Pe insula cavalerilor și ticăloșilor personajele sunt cavaleri (care spun întotdeauna adevărul) și ticăloși (care mint întotdeauna). Își iau reperul din povestea celor două uși și a celor doi gardieni, unul care minte mereu și celălalt care spune întotdeauna adevărul, dar nu știm care este și care este celălalt. O ușă duce la cer, cealaltă la iad, iar puzzle-ul este să aflăm care este ușa „bună” adresând o singură întrebare unuia dintre cei doi gardieni. O posibilă soluție este de a întreba „Ce ușă mi-ar arăta celălalt tutore dacă l-aș întreba drumul dracului?”.

În puzzle-uri mai complexe, Smullyan introduce personaje care pot minți sau spune adevărul (numite „normale”) și, de asemenea, în loc să răspundă „da” sau „nu”, folosesc cuvinte care înseamnă „da” sau „nu”, dar cititorul nu știe de la bun început ce sens să atribuie fiecăruia dintre cei doi. În ghicitorile sale logice din Transilvania , jumătate dintre locuitori sunt nebuni și cred doar în afirmații false, în timp ce cealaltă jumătate sunt sănătoși și cred doar în afirmații adevărate. De asemenea, oamenii spun întotdeauna adevărul, în timp ce vampirii mint întotdeauna. De exemplu, un vampir nebun va crede că afirmația „2 + 2 nu este 4” ca fiind adevărată, dar va minți și va spune că este falsă. Un vampir sănătos știe că 2 + 2 este 4, dar va minți și va spune că nu este adevărat. Și invers pentru oameni. Deci, orice afirmație făcută de un om sănătos sau de un vampir nebun este adevărată, în timp ce orice pretinde un om sănătos sau un vampir sănătos este fals.

Cartea sa Forever Undecided dezvăluie teoremele incomplete ale lui Gödel vorbind despre ele în termeni de oameni care raționează și credințele lor, mai degrabă decât în ​​ceea ce privește sistemele formale și ceea ce poate fi dovedit în interiorul lor. De exemplu, dacă un nativ al insulei cavalerilor și ticăloșilor îi spune unui gânditor suficient de conștient „Nu veți crede niciodată că sunt cavaler”, interlocutorul poate să nu creadă că nativul este cavaler sau că este un ticălos fără a deveni inconsistent (de exemplu având două credințe contradictorii). Teorema echivalentă afirmă că pentru fiecare sistem formal S există o propoziție matematică care poate fi interpretată ca „această propoziție nu poate fi dovedită în sistemul formal S”. Dacă sistemul S este coerent, nici propoziția, nici opusul său nu pot fi dovedite în cadrul său.

Inspectorul Craig este un personaj care apare frecvent în poveștile de puzzle ale lui Smullyan. De obicei, el este chemat la locul unei infracțiuni care are o soluție matematică. Apoi, printr-o serie de provocări din ce în ce mai dificile, Craig și cititorul încep să înțeleagă principiile din spatele puzzle-ului. În cele din urmă, povestea culminează cu înțelegerea inspectorului Craig (și a cititorului) despre desfășurarea crimei, folosind principiile matematice și logice învățate.
În mod interesant, Craig nu învață de obicei teoria formală din spatele puzzle-urilor pe care le rezolvă, iar Smullyan folosește de obicei câteva capitole după aventurile inspectorului pentru a ilustra asemănările dintre puzzle-uri și teorii cu cititorul.

Cartea sa Playing the Parrot Verse and Other Logic Puzzles ( 1985 , ISBN 8845216217 ) este o introducere recreativă a logicii combinatorii .

Lucrări

Lucrări traduse în italiană

Lucrări disponibile în limba engleză

Dezvăluire

Academicieni

Notă

  1. ^ (RO) Matematicianul și creatorul de puzzle-uri Raymond Smullyan a murit la 97 de ani , la International Business Times, 10 februarie 2017. Adus pe 10 februarie 2017.
  2. ^ (EN) Raymond Smullyan, Logician creator de puzzle, moare la 97 de ani , The New York Times Times, 11 februarie 2017. Adus pe 11 februarie 2017.
  3. ^ a b c d e f g h ( EN ) Site de Raymond Smullyan , pe mysite.verizon.net . Adus la 1 septembrie 2009 (arhivat din original la 16 mai 2010) .
  4. ^ "Limbi în care este posibilă auto-referința". Jurnalul de logică simbolică , vol. 22 nr. 1 (1957), pp. 55-67.

Elemente conexe

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 108 832 636 · ISNI (EN) 0000 0001 2147 1432 · Europeana agent / base / 60554 · LCCN (EN) n80001012 · GND (DE) 115 668 411 · BNF (FR) cb11925051c (data) · BNE (ES ) XX998911 (data) · NDL (EN, JA) 00.457.034 · WorldCat Identities (EN) lccn-n80001012
Adus de la „https://it.wikipedia.org/w/index.php?title=Raymond_Smullyan&oldid=121663309 ”