Henkin, Leon

Leon Albert Henkin
Leon Albert Henkin
Fødselsdato 19. april 1921( 1921-04-19 ) [1]
Fødselssted
Dødsdato 1. november 2006( 2006-11-01 ) [1] (85 år)
Et dødssted
Land
Videnskabelig sfære matematik , logik
Arbejdsplads UC Berkeley
Alma Mater Columbia University , Princeton University
Akademisk grad Doctor of Philosophy (PhD) i matematik [2]
videnskabelig rådgiver Alonzo Kirke
Priser og præmier Chauvenet-prisen [d] ( 1964 ) Halmos-Ford-prisen [d] Guggenheim Fellowship
 Mediefiler på Wikimedia Commons

Leon Albert Henkin (også fundet i kilderne er en variant af efternavnet Genkin ; engelsk  Leon Albert Henkin , 19. april 1921  - 1. november 2006 ) - amerikansk matematiker, en af ​​de førende eksperter i det XX århundrede inden for matematisk logik.

Biografi

Født i 1921 i Brooklyn i en jødisk familie af emigranter fra Gomel ( det russiske imperium ). Siden på det tidspunkt The New York Times offentliggjorde en række artikler om Albert Einsteins relativitetsteori , gav faderen, der troede på sin søns store fremtid, ham mellemnavnet "Albert". Leon Henkin dimitterede fra Columbia College ved Columbia University og modtog en bachelorgrad i 1941 og en mastergrad i 1942. Under Anden Verdenskrig deltog han i Manhattan Project .

Efter krigen studerede han på Princeton University , hvor han under Alonzo Churchs vejledning i 1947 modtog en ph.d. Derefter tilbragte han yderligere to år som kandidatstuderende ved Princeton, i 1949 flyttede han vestpå og begyndte at arbejde i matematikafdelingen ved University of Southern California , og fra 1953 blev han professor i matematik ved University of California i Berkeley . Han var blevet inviteret til Berkeley før, men han afviste den tidligere invitation, siden da krævede optagelse til at arbejde på universitetet en troskabsed, som i 1953 blev erklæret forfatningsstridig. I 1958 blev han fuld professor ved University of California, Berkeley.

Fra 1959-1960 var han den første leder af den tværfaglige gruppe i logik og videnskabens metodologi, der blev oprettet i Berkeley. I 1960'erne bemærkede han, at mange piger og medlemmer af forskellige nationale minoriteter, selvom de var talentfulde inden for matematik, ikke efterfølgende valgte en karriere i matematik på colleges, og hans arbejde førte til oprettelsen i 1964 i Berkeley af Special Committee on Education (Special Scholarships Committee), bestående af nobelpristagere og højtstående embedsmænd fra uddannelsesområdet. Udvalget undersøgte problemet og udviklede et særligt program til støtte for talentfulde studerende, som to år senere fungerede som model for et lignende program på føderalt niveau og efterfølgende for hundredvis af lignende universitetsprogrammer i hele USA. Henkin var formand for Udvalget for Uddannelse i fyrre år.

I 1970'erne bemærkede Leon Henkin og hans tidligere elev, Uri Treisman, at mange succesrige studerende fejler på college på grund af dårlig tilpasning til nye forhold og usikkerhed om, hvad der skal til for at få succes med naturvidenskab generelt og i matematik i særdeleshed. . I 1974 åbnede de Professional Development Program for at hjælpe matematik og relaterede studerende med at håndtere disse problemer. Programmet var vellykket, og der begyndte at dukke adskillige kloner op, som i 1992 blev forenet i Coalition for Excellence and Diversity in Mathematics, Science and Engineering, som modtog en pris i 1998 af præsident Bill Clinton.

I 1983 spillede Henkin en central rolle i udviklingen af ​​Bay Area Mathematics Project, der havde til formål at forbedre undervisningen i matematik i skolerne. I 1989 lancerede Henkin og Treisman Mathematics Summer School-programmet. Programmet fungerede i ti år og blev lukket på grund af manglende finansiering. Også i 1989 deltog han sammen med andre videnskabsmænd i arbejdet i kommissionen om undersøgelse af matematisk læsefærdighed i USA, hvilket førte til udviklingen af ​​anbefalinger til ændringer i undervisningen i matematik.

Videnskabelige resultater

I 1947 forsvarede Leon Henkin sin doktorafhandling "Completeness of formal systems", hvori han foreslog et helt nyt bevis for Gödels sætning om fuldstændigheden af ​​førsteordens logik. "Henkin-konstanter" introduceret i dette bevis er blevet et af de grundlæggende værktøjer i en ny gren af ​​matematisk logik- modelteori . Foruden logik var Henkin også interesseret i algebra, og i 1971 udgav han i samarbejde med Donald Monk og Alfred Tarski et større værk kaldet Cylindrical Algebras.

Priser

Noter

  1. ↑ 1 2 Leon Henkin // Brockhaus Encyclopedia  (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  2. ↑ The Completeness of Formal Systems , 1947
  3. ↑ German National Library , Berlin Statsbibliotek , Bayerske Statsbibliotek , Austrian National Library Record #174096046 // General Regulatory Control (GND) - 2012-2016.

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier