Biserica Alonzo

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

Biserica Alonzo ( Washington , 14 iunie 1903 - Hudson , 11 august 1995 ) a fost matematician , logician și universitar american . El a adus contribuții importante la dezvoltarea logicii matematice și la bazele informaticii teoretice . El a demonstrat mai întâi așa-numitul paradox al cunoașterii Church-Fitch .

Biografie

Născut în Washington DC , a primit o diplomă de licență de la Universitatea Princeton în 1924 și un doctorat în 1927 . Teza de doctorat ( Alternative to the Zermelo's Assumption ), care se referea la axioma de alegere , l-a avut ca conducător pe Oswald Veblen . În 1929 a devenit profesor de matematică la Princeton, funcție pe care a ocupat-o până în 1967 , când s-a mutat în California .

Meticulozitatea sa ca profesor a fost legendară. În acest sens, logicianul și filosoful J. Barkley Rosser , elevul său, relatează o frază care a fost pronunțată în departament: " El a fost meticulos de atent în prelegerile sale. A existat o poveste în jur. Dacă Biserica spune că este evident, pe care l-au observat cu toții timp de o jumătate de oră. Dacă Hermann Weyl spune că este evident, John Von Neumann o poate dovedi. Dacă Solomon Lefschetz spune că este evident, atunci este fals " [1] .

Această meticulozitate s-a reflectat și în alte comportamente, la clasă și în afara, în care a prezentat un grad considerabil de ciudățenie (chiar dacă, așa cum subliniază Gian-Carlo Rota , într-o măsură care nu este comparabilă cu cea a altor logicieni proeminenți, care chiar au încheiat sus, într-un azil de ceva timp [2] ): înainte de fiecare lecție a efectuat un rit maniacal de ștergere a tablii, până când a dispărut fiecare cea mai mică pată de cretă, într-o ceremonie elaborată care a durat aproximativ zece minute și care i-a fost imposibil să renunțe , chiar și atunci când elevii săi, pentru a-i economisi timp și efort, au încercat să-l facă să-l găsească deja perfect curat la începutul lecției [3] . În unele cazuri, ritualul de anulare a fost atât de complex și minuțios încât a necesitat utilizarea săpunului și a apei: în acest caz, a fost observată o pauză suplimentară de încă zece minute, care a trecut într-o tăcere jenantă, în așteptarea uscării tabelei [3] .

Alte ciudățenii erau în prelegerile sale, care reflectau cuvânt cu cuvânt fișele pe care le-a scris manual pe o perioadă de douăzeci de ani și le-a păstrat în biblioteca Fine Hall [4] , într-un manuscris care devenise îngălbenit și mirositor după tot acel timp [3] ] (în ciuda tuturor acelor ani care au trecut, manuscrisul ar fi așteptat încă 5 ani înainte de a fi trimis tipărit de el, cu titlul Introducere în logica matematică [3] ). Când, în timpul lecției, s-a simțit obligat să transgreseze conținutul manuscrisului și să iasă din cale, el și-a avertizat întotdeauna elevii cu privire la discrepanța dintre textul scris și lecția orală [3] . A simțit o astfel de nevoie de precizie, încât tot ce a rostit verbal în timpul lecției a fost scris de el cuvânt cu cuvânt pe tablă, în scrisul mare al cuiva care se adresează elevilor de școală elementară, respectând cu strictețe punctuația și împărțirea în paragrafe ale fișelor [ 3] . Și dacă s-a întâmplat să trebuiască să reutilizeze o teoremă deja demonstrată anterior, cu o simplă schimbare de notație, Church a arătat o oarecare ezitare, înainte de a se adresa clasei spunând: „ Aș putea spune doar„ în același mod ”, dar ar fi bine să o dovedesc prin noul „ [3] .

Calcul Lambda

Pictogramă lupă mgx2.svg Același subiect în detaliu: calculul Lambda .

Biserica este cunoscută mai ales pentru calculul lambda , pe care l-a dezvoltat în celebrul său articol din 1936 în care arată existența unei „ probleme indecidabile ”. Acest rezultat a precedat Alan Turing faimoasa lucrare asupra problema stopării care arată existența unei probleme care nu poate fi rezolvată printr - o procedură mecanică. Church și Turing au arătat, de asemenea, că calculul lambda și mașina Turing , folosită de Turing însuși în problema opririi, au o capacitate echivalentă și au demonstrat ulterior o varietate de „procese de calcul mecanice” alternative cu aceleași abilități de calcul. Acest rezultat se numește teza Bisericii-Turing . Având în vedere disputa cu privire la cine a propus-o mai întâi, este cunoscută și printr-un nume care reflectă dubla sa atribuire (teza Bisericii / teza lui Turing). Deși rezultatele sunt aceleași, soluția lui Turing are marele avantaj de a merge direct în centrul problemei și de a fi mult mai simplă.

Calculul lambda al Bisericii a influențat crearea Lisp și a familiei de limbaje de calculator cunoscute în general ca limbaje de programare funcționale . Conceptul Boolean al Bisericii este numit în onoarea sa.

Elevi

Doctoranții Bisericii includ Alan Turing , Stephen Kleene , Raymond Smullyan , Martin Davis , David Kaplan , C. Anthony Anderson , George Alfred Barnard , J. Barkley Rosser , John George Kemeny , Leon Henkin , Michael Oser Rabin , Dana Scott , Peter Andrews , Simon Kochen , Hartley Rogers Jr. (vezi această listă ).

Lucrări

Notă

  1. ^(EN), Sthephen Kleen C. și J. Barkley Rosser Filed 10 martie 2015 Internet Archive . , interviu de William Aspray, de la Institutul Charles Babbage, cu J. Barkley Rosser și Stephen C. Kleene (Madison, Wisconsin, 26 aprilie 1984), în AA.VV., Princeton Mathematics Community în anii 1930. Un proiect de istorie orală.
  2. ^ Gian-Carlo Rota , Fine Hall in the Golden Age , cit. . Aici, referința explicită a lui Rota se referă la afacerile umane ale lui Kurt Gödel , Giuseppe Peano , Emil Leon Post , Ernst Zermelo , Georg Cantor
  3. ^ a b c d e f g Gian-Carlo Rota , Fine Hall în epoca sa de aur ; în: Peter Duren (eds), A Century of Mathematics in America, Part II , American Mathematical Society History of Mathematics, 1989, pp. 223-226
  4. ^ Fine Hall este clădirea care găzduiește Departamentul de Matematică Princeton, dedicat lui Henry Burchard Fine (1858 - 1928). Se folosește ca metonim pentru a indica același departament.

Bibliografie

Elemente conexe

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 109 830 754 · ISNI (EN) 0000 0001 1003 8502 · LCCN (EN) n83152979 · GND (DE) 119 430 223 · BNF (FR) cb14575590d (dată) · NLA (EN) 50,043,018 · WorldCat Identities (EN) ) lccn-n83152979
Adus de la „ https://it.wikipedia.org/w/index.php?title=Alonzo_Church&oldid=117483294 ”