Henkin, Leon

Leon Albert Henkin
Leon Albert Henkin
Data nașterii 19 aprilie 1921( 19.04.1921 ) [1]
Locul nașterii
Data mortii 1 noiembrie 2006( 2006-11-01 ) [1] (85 de ani)
Un loc al morții
Țară
Sfera științifică matematică , logică
Loc de munca UC Berkeley
Alma Mater Universitatea Columbia , Universitatea Princeton
Grad academic Doctor în filozofie (doctorat) în matematică [2]
consilier științific Biserica Alonzo
Premii și premii Premiul Chauvenet [d] ( 1964 ) Premiul Halmos-Ford [d] Bursa Guggenheim
 Fișiere media la Wikimedia Commons

Leon Albert Henkin (găsește și în surse o variantă a numelui de familie Genkin ; engleză  Leon Albert Henkin , 19 aprilie 1921  - 1 noiembrie 2006 ) - matematician american, unul dintre cei mai importanți experți ai secolului XX în domeniul matematicii logică.

Biografie

Născut în 1921 la Brooklyn într-o familie evreiască de emigranți din Gomel ( Imperiul Rus ). Întrucât în ​​acel moment The New York Times a publicat o serie de articole despre teoria relativității a lui Albert Einstein , tatăl, crezând în marele viitor al fiului său, i-a dat al doilea nume „Albert”. Leon Henkin a absolvit Columbia College de la Universitatea Columbia , primind o diplomă de licență în 1941 și o diplomă de master în 1942. În timpul celui de-al Doilea Război Mondial , a participat la Proiectul Manhattan .

După război, a studiat la Universitatea Princeton , unde, sub îndrumarea lui Alonzo Church , în 1947 a primit un doctorat. După aceea, a petrecut încă doi ani ca student absolvent la Princeton, în 1949 s-a mutat în vest și a început să lucreze la departamentul de matematică al Universității din California de Sud , iar din 1953 a devenit profesor de matematică la Universitatea din California din Berkeley . Mai fusese invitat la Berkeley, dar a respins invitația anterioară, de atunci admiterea la muncă la universitate necesita un jurământ de credință, care în 1953 a fost declarat neconstituțional. În 1958 a devenit profesor titular la Universitatea din California, Berkeley.

Din 1959-1960, a fost primul șef al Grupului interdisciplinar de logică și metodologie a științei, creat la Berkeley. În anii 1960, el a observat că multe fete și membri ai diferitelor minorități naționale, deși erau talentate în domeniul matematicii, nu și-au ales ulterior o carieră în matematică în colegii, iar munca sa a dus la crearea în 1964 la Berkeley a Comitetul special pentru educație (Comitetul de burse speciale), format din laureații Nobel și oficiali de rang înalt din învățământ. Comitetul a studiat problema și a dezvoltat un program special de sprijinire a studenților talentați, care doi ani mai târziu a servit drept model pentru un program similar la nivel federal și, ulterior, pentru sute de programe universitare similare în toată Statele Unite. Henkin a prezidat Comitetul restrâns pentru educație timp de patruzeci de ani.

În anii 1970, Leon Henkin și fostul său student, Uri Treisman, au observat că mulți studenți de succes eșuează la facultate din cauza adaptării proaste la noile condiții și a incertitudinii cu privire la ceea ce este nevoie pentru a reuși în știință în general și în matematică în special. În 1974 au deschis Programul de Dezvoltare Profesională pentru a ajuta studenții de matematică și înrudiți să facă față acestor probleme. Programul a avut succes, iar numeroase clone au început să apară, care în 1992 au fost unite în Coaliția pentru Excelență și Diversitate în Matematică, Știință și Inginerie, care a primit un premiu în 1998 de la președintele Bill Clinton.

În 1983, Henkin a jucat un rol central în dezvoltarea proiectului Bay Area Mathematics, care vizează îmbunătățirea predării matematicii în școli. În 1989, Henkin și Treisman au lansat programul Matematics Summer School. Programul a funcționat timp de zece ani și a fost închis din cauza lipsei de finanțare. Tot în 1989, a luat parte, împreună cu alți oameni de știință, la lucrările comisiei pentru studiul alfabetizării matematice din Statele Unite, care au condus la elaborarea de recomandări pentru schimbări în predarea matematicii.

Realizări științifice

În 1947, Leon Henkin și-a susținut teza de doctorat „Completitudinea sistemelor formale”, în care a propus o demonstrație complet nouă a teoremei lui Gödel privind completitudinea logicii de ordinul întâi. „Constantele Henkin” introduse în această demonstrație au devenit unul dintre instrumentele de bază ale unei noi ramuri a logicii matematice - teoria modelului . Pe lângă logică, Henkin a fost interesat și de algebră, iar în 1971 a publicat, în colaborare cu Donald Monk și Alfred Tarski , o lucrare majoră numită Cylindrical Algebras.

Premii

Note

  1. ↑ 1 2 Leon Henkin // Enciclopedia Brockhaus  (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  2. ↑ Completitudinea sistemelor formale , 1947
  3. ↑ Biblioteca Națională Germană , Biblioteca de stat din Berlin , Biblioteca de stat bavareza , Înregistrarea Bibliotecii Naționale din Austria #174096046 // Controlul general de reglementare (GND) - 2012-2016.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii