Mønter, Grigory Efroimovich
| Grigory Efroimovich Mints | |
|---|---|
| Fødselsdato | 7. juni 1939 |
| Fødselssted | |
| Dødsdato | 29. maj 2014 (74 år) |
| Et dødssted |
|
| Land | |
| Arbejdsplads | |
| Alma Mater | |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber |
| videnskabelig rådgiver | Shanin, Nikolai Alexandrovich [1] |
| Internet side | grishamints.net |
Grigory Efroimovich (Efimovich) Mints ( 7. juni 1939 , Leningrad - 29. maj 2014 , Palo Alto , Californien ) - sovjetisk og amerikansk videnskabsmand inden for anvendt matematik og logik . Udenlandsk medlem af Estonian Academy of Sciences (2008).
Biografi
Uddannet fra Leningrad State University (1961). Han forsvarede sin ph.d.-afhandling i 1965 under vejledning af N. A. Shanin [2] .
Ansat i Leningrad-afdelingen af Steklov Mathematical Institute (LOMI).
Siden 1980 har han boet og arbejdet i Tallinn, en forsker ved Institute of Cybernetics ved Academy of Sciences of the Estonian SSR [3] .
Doctor of Physical and Mathematical Sciences, emnet for afhandlingen er "Proof transformations and program synthesis" (1988) [4] .
Siden 1991 har han været professor i filosofi ved Stanford University .
Forfatter til værker om matematikkens logik og filosofi.
Noter
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ RNB-katalog . Hentet 21. juli 2020. Arkiveret fra originalen 22. juli 2020.
- ↑ Om arbejdet med systemsoftware i de sovjetiske baltiske lande (1960-1990) . Hentet 21. juli 2020. Arkiveret fra originalen 21. juli 2020.
- ↑ RSL-katalog . Hentet 21. juli 2020. Arkiveret fra originalen 22. juli 2020.
Links
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||