Henkin, Leon
| Leon Albert Henkin | |
|---|---|
| Leon Albert Henkin | |
| Syntymäaika | 19. huhtikuuta 1921 [1] |
| Syntymäpaikka |
|
| Kuolinpäivämäärä | 1. marraskuuta 2006 [1] (85-vuotias) |
| Kuoleman paikka | |
| Maa | |
| Tieteellinen ala | matematiikka , logiikka |
| Työpaikka | UC Berkeley |
| Alma mater | Columbian yliopisto , Princetonin yliopisto |
| Akateeminen tutkinto | Filosofian tohtori (PhD) matematiikan alalta [2] |
| tieteellinen neuvonantaja | Alonzon kirkko |
| Palkinnot ja palkinnot | Chauvenet-palkinto [d] ( 1964 ) Halmos-Ford -palkinto [d] Guggenheim-apuraha |
| Mediatiedostot Wikimedia Commonsissa | |
Leon Albert Henkin (lähteistä löytyy myös muunnos sukunimestä Genkin ; englanniksi Leon Albert Henkin , 19. huhtikuuta 1921 - 1. marraskuuta 2006 ) - amerikkalainen matemaatikko, yksi 1900-luvun johtavista matematiikan asiantuntijoista logiikka.
Elämäkerta
Syntynyt vuonna 1921 Brooklynissa juutalaisperheessä , jossa oli siirtolaisia Gomelista ( Venäjän valtakunta ). Koska tuolloin The New York Times julkaisi sarjan artikkeleita Albert Einsteinin suhteellisuusteoriasta , isä, uskoen poikansa suureen tulevaisuuteen, antoi hänelle toisen nimen "Albert". Leon Henkin valmistui Columbia Collegesta Columbia Universitystä ja sai kandidaatin tutkinnon vuonna 1941 ja maisterin tutkinnon vuonna 1942. Toisen maailmansodan aikana hän osallistui Manhattan Projectiin .
Sodan jälkeen hän opiskeli Princetonin yliopistossa , jossa hän sai Alonzo Churchin johdolla vuonna 1947 tohtorin tutkinnon . Sen jälkeen hän vietti vielä kaksi vuotta jatko-opiskelijana Princetonissa, vuonna 1949 hän muutti länteen ja aloitti työskentelyn Etelä-Kalifornian yliopiston matematiikan osastolla , ja vuodesta 1953 hänestä tuli matematiikan professori Kalifornian yliopistossa Berkeleyssä . Hänet oli kutsuttu Berkeleyyn ennenkin, mutta hän hylkäsi edellisen kutsun, sillä sen jälkeen yliopistoon pääsy edellytti uskollisuusvalaa, joka julistettiin vuonna 1953 perustuslain vastaiseksi. Vuonna 1958 hänestä tuli täysprofessori Kalifornian yliopistossa Berkeleyssä.
Vuosina 1959-1960 hän oli Berkeleyssä perustetun poikkitieteellisen logiikan ja tieteen metodologian ryhmän ensimmäinen johtaja. 1960-luvulla hän huomasi, että monet tytöt ja eri kansallisten vähemmistöjen jäsenet, vaikka he olivat lahjakkaita matematiikan alalla, eivät myöhemmin valinneet matematiikan uraa korkeakouluissa, ja hänen työnsä johti vuonna 1964 Berkeleyssä koulutuksen erityiskomitea (Special Scholarships Committee), joka koostuu Nobel-palkinnon saajista ja korkea-arvoisista koulutusalan virkamiehistä. Komitea tutki ongelmaa ja kehitti erityisen ohjelman lahjakkaiden opiskelijoiden tukemiseksi, joka kaksi vuotta myöhemmin toimi mallina samanlaiselle ohjelmalle liittovaltion tasolla ja myöhemmin sadoille samanlaisille yliopisto-ohjelmille kaikkialla Yhdysvalloissa. Henkin toimi koulutuskomitean puheenjohtajana neljäkymmentä vuotta.
Leon Henkin ja hänen entinen oppilaansa Uri Treisman huomasivat 1970-luvulla, että monet menestyneet opiskelijat epäonnistuvat yliopistossa huonon sopeutumisen vuoksi uusiin olosuhteisiin ja epävarmuuteen siitä, mitä menestyminen tieteissä yleensä ja erityisesti matematiikassa edellyttää. Vuonna 1974 he avasivat ammatillisen kehittämisohjelman auttaakseen matematiikan ja siihen liittyvien opiskelijoiden ratkaisemista näiden ongelmien kanssa. Ohjelma onnistui, ja lukuisia klooneja alkoi ilmestyä, jotka vuonna 1992 yhdistettiin Coalition for Excellence and Diversity in Mathematics, Science and Engineering, joka sai palkinnon vuonna 1998 presidentti Bill Clintonilta.
Vuonna 1983 Henkinillä oli keskeinen rooli Bay Area Mathematics Projectin kehittämisessä, jonka tavoitteena oli parantaa matematiikan opetusta kouluissa. Vuonna 1989 Henkin ja Treisman käynnistivät matematiikan kesäkouluohjelman. Ohjelma toimi kymmenen vuotta ja lopetettiin rahoituksen puutteen vuoksi. Myös vuonna 1989 hän osallistui muiden tutkijoiden kanssa Yhdysvaltojen matemaattista lukutaitoa tutkivan komission työhön, mikä johti suositusten kehittämiseen matematiikan opetuksen muuttamiseksi.
Tieteelliset saavutukset
Vuonna 1947 Leon Henkin puolusti väitöskirjaansa "Formaalisten järjestelmien täydellisyys", jossa hän ehdotti täysin uutta todistusta Gödelin lauseelle ensimmäisen asteen logiikan täydellisyydestä. Tässä todistuksessa esitellyistä "Henkin-vakioista" on tullut yksi matemaattisen logiikka- malliteorian uuden haaran perustyökaluista . Logiikan lisäksi Henkin oli kiinnostunut myös algebrasta, ja vuonna 1971 hän julkaisi yhteistyössä Donald Monkin ja Alfred Tarskin kanssa suuren teoksen nimeltä Sylinterialgebras.
Palkinnot
- Chauvenet -palkinto (1964)
- Lester Ford Sr. -palkinto (1972)
- Gung ja Hu -palkinto ansioista matematiikan palveluksessa (1991)
Muistiinpanot
- ↑ 1 2 Leon Henkin // Brockhaus Encyclopedia (saksa) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Muodollisten järjestelmien täydellisyys , 1947
- ↑ Saksan kansalliskirjasto , Berliinin osavaltion kirjasto , Baijerin osavaltion kirjasto , Itävallan kansalliskirjaston tietue #174096046 // General Regulatory Control (GND) - 2012-2016.
Linkit
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||