Mincovny, Grigorij Efroimovič
| Mincovny Grigorij Efroimovič | |
|---|---|
| Datum narození | 7. června 1939 |
| Místo narození |
|
| Datum úmrtí | 29. května 2014 (ve věku 74 let) |
| Místo smrti |
|
| Země | |
| Místo výkonu práce | |
| Alma mater | |
| Akademický titul | Doktor fyzikálních a matematických věd |
| vědecký poradce | Shanin, Nikolaj Alexandrovič [1] |
| webová stránka | grishamints.net |
Grigory Efroimovich (Efimovich) Mints ( 7. června 1939 , Leningrad - 29. května 2014 , Palo Alto , Kalifornie ) - sovětský a americký vědec v oboru aplikované matematiky a logiky . Zahraniční člen Estonské akademie věd (2008).
Životopis
Absolvent Leningradské státní univerzity (1961). Disertační práci obhájil v roce 1965 pod vedením N. A. Shanina [2] .
Zaměstnanec leningradské pobočky Matematického institutu Steklov (LOMI).
Od roku 1980 žil a pracoval v Tallinnu, vědecký pracovník Ústavu kybernetiky Akademie věd Estonské SSR [3] .
Doktor fyzikálních a matematických věd, téma disertační práce je "Důkazové transformace a programová syntéza" (1988) [4] .
Od roku 1991 je profesorem filozofie na Stanfordské univerzitě .
Autor prací o logice a filozofii matematiky.
Poznámky
- ↑ Matematická genealogie (anglicky) - 1997.
- ↑ Katalog RNB . Získáno 21. července 2020. Archivováno z originálu dne 22. července 2020.
- ↑ O práci na systémovém softwaru v sovětských pobaltských zemích (1960-1990) . Získáno 21. července 2020. Archivováno z originálu dne 21. července 2020.
- ↑ Katalog RSL . Získáno 21. července 2020. Archivováno z originálu dne 22. července 2020.
Odkazy
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||