Myntverk, Grigory Efroimovich
| Grigory Efroimovich Mints | |
|---|---|
| Födelsedatum | 7 juni 1939 |
| Födelseort | |
| Dödsdatum | 29 maj 2014 (74 år) |
| En plats för döden |
|
| Land | |
| Arbetsplats | |
| Alma mater | |
| Akademisk examen | Doktor i fysikaliska och matematiska vetenskaper |
| vetenskaplig rådgivare | Shanin, Nikolai Alexandrovich [1] |
| Hemsida | grishamints.net |
Grigory Efroimovich (Efimovich) Mints ( 7 juni 1939 , Leningrad - 29 maj 2014 , Palo Alto , Kalifornien ) - sovjetisk och amerikansk vetenskapsman inom området tillämpad matematik och logik . Utländsk ledamot av Estlands vetenskapsakademi (2008).
Biografi
Utexaminerad från Leningrad State University (1961). Han försvarade sin doktorsavhandling 1965 under ledning av N. A. Shanin [2] .
Anställd i Leningrad-grenen av Steklov Mathematical Institute (LOMI).
Sedan 1980 har han bott och arbetat i Tallinn, en forskare vid Institutet för cybernetik vid Vetenskapsakademin i Estonian SSR [3] .
Doktor i fysikaliska och matematiska vetenskaper, ämnet för avhandlingen är "Proof transformations and program synthesis" (1988) [4] .
Sedan 1991 har han varit professor i filosofi vid Stanford University .
Författare till arbeten om matematikens logik och filosofi.
Anteckningar
- ↑ Mathematical Genealogy (engelska) - 1997.
- ↑ RNB-katalog . Hämtad 21 juli 2020. Arkiverad från originalet 22 juli 2020.
- ↑ Om arbetet med systemprogramvara i de sovjetiska baltiska länderna (1960-1990) . Hämtad 21 juli 2020. Arkiverad från originalet 21 juli 2020.
- ↑ RSL-katalog . Hämtad 21 juli 2020. Arkiverad från originalet 22 juli 2020.
Länkar
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||