Henkin, Leon
| Leon Albert Henkin | |
|---|---|
| Leon Albert Henkin | |
| Születési dátum | 1921. április 19. [1] |
| Születési hely | |
| Halál dátuma | 2006. november 1. [1] (85 évesen) |
| A halál helye | |
| Ország | |
| Tudományos szféra | matematika , logika |
| Munkavégzés helye | UC Berkeley |
| alma Mater | Columbia Egyetem , Princeton Egyetem |
| Akadémiai fokozat | A filozófia doktora (PhD) matematikából [2] |
| tudományos tanácsadója | Alonzo templom |
| Díjak és díjak | Chauvenet-díj [d] ( 1964 ) Halmos-Ford díj [d] Guggenheim-ösztöndíj |
| Médiafájlok a Wikimedia Commons oldalon | |
Leon Albert Henkin (a forrásokban a Genkin vezetéknév egy változata is megtalálható ; angolul Leon Albert Henkin , 1921. április 19. – 2006. november 1. ) - amerikai matematikus, a XX. század egyik vezető szakértője a matematika területén. logika.
Életrajz
1921-ben született Brooklynban egy Gomelből ( Orosz Birodalom ) emigránsokból álló zsidó családban. Mivel abban az időben a The New York Times cikksorozatot közölt Albert Einstein relativitáselméletéről , az apa, fia nagy jövőjében hitt, az "Albert" középső nevet adta neki. Leon Henkin a Columbia Egyetemen szerzett diplomát a Columbia College-ban , ahol 1941-ben bachelor, 1942-ben pedig mesteri diplomát szerzett. A második világháború alatt részt vett a Manhattan Projectben .
A háború után a Princeton Egyetemen tanult, ahol Alonzo Church irányítása alatt 1947-ben doktorált . Ezt követően további két évet töltött a Princetonban végzős hallgatóként, 1949-ben nyugatra költözött , és a Dél-Kaliforniai Egyetem matematika tanszékén kezdett dolgozni , 1953-tól pedig a Berkeley-i Kaliforniai Egyetem matematikaprofesszora lett . Korábban is meghívták Berkeley-be, de a korábbi meghívást visszautasította, azóta az egyetemre való felvételhez hűségeskü kellett, amit 1953-ban alkotmányellenesnek nyilvánítottak. 1958-ban a Kaliforniai Egyetem professzora lett, Berkeley-ben.
1959-1960 között a Berkeley-ben létrehozott interdiszciplináris logikai és tudománymódszertani csoport első vezetője volt. Az 1960-as években észrevette, hogy sok lány és különböző nemzeti kisebbségekhez tartozók, bár tehetségesek voltak a matematikában, később nem választottak matematikai pályát a főiskolákon, és munkája nyomán 1964-ben Berkeleyben létrehozták a az oktatási különbizottság (Special Scholarships Committee), amely Nobel-díjasokból és az oktatás magas rangú tisztviselőiből áll. A bizottság tanulmányozta a problémát, és egy speciális programot dolgozott ki a tehetséges hallgatók támogatására, amely két évvel később példaként szolgált egy szövetségi szintű hasonló programhoz, majd ezt követően több száz hasonló egyetemi programhoz az Egyesült Államokban. Henkin negyven évig vezette az oktatási bizottságot.
Az 1970-es években Leon Henkin és egykori tanítványa, Uri Treisman észrevették, hogy sok sikeres diák bukott meg az egyetemen, mert rosszul alkalmazkodik az új feltételekhez, és bizonytalan abban, hogy mi kell a természettudományokban általában és különösen a matematikában. 1974-ben megnyitották a Szakmai Fejlesztési Programot, hogy segítsék a matematikát és a kapcsolódó diákokat ezen problémák kezelésében. A program sikeres volt, és számos klón kezdett megjelenni, amelyek 1992-ben egyesültek a Matematika, Tudomány és Mérnöki Kiválóságért és Sokféleségért Koalícióban, amely 1998-ban kapott díjat Bill Clinton elnöktől.
1983-ban Henkin központi szerepet játszott a Bay Area Mathematics Project kidolgozásában, amelynek célja a matematika iskolai oktatásának javítása volt. 1989-ben Henkin és Treisman elindította a Matematika Nyári Iskola programot. A program tíz évig működött, és finanszírozás hiányában bezárták. Szintén 1989-ben, más tudósokkal együtt részt vett az Egyesült Államokban a matematikai műveltség tanulmányozásával foglalkozó bizottság munkájában, amely ajánlásokat dolgozott ki a matematikatanítás megváltoztatására.
Tudományos eredmények
Leon Henkin 1947-ben védte meg doktori disszertációját "A formális rendszerek teljessége", amelyben Gödel elsőrendű logika teljességére vonatkozó tételének teljesen új bizonyítását javasolta. Az ebben a bizonyításban bemutatott „Henkin-állandók” a matematikai logika- modellelmélet új ágának egyik alapvető eszközévé váltak . A logika mellett Henkint az algebra is érdekelte, és 1971-ben Donald Monkkal és Alfred Tarskival együttműködve kiadta a Hengeralgebrák című jelentős művet.
Díjak
- Chauvenet -díj (1964)
- Lester Ford Sr.-díj (1972)
- Gung és Hu-díj a matematika kiváló szolgálatáért (1991)
Jegyzetek
- ↑ 1 2 Leon Henkin // Brockhaus Encyclopedia (német) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ A formális rendszerek teljessége , 1947
- ↑ Német Nemzeti Könyvtár , Berlini Állami Könyvtár , Bajor Állami Könyvtár , Osztrák Nemzeti Könyvtár nyilvántartása #174096046 // Általános szabályozási ellenőrzés (GND) - 2012-2016.
Linkek
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||