Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Gata_Kamsky
gptkb:Chess_Olympiad_1988 gptkb:Mikhail_Botvinnik gptkb:Anatoly_Karpov gptkb:Boris_Spassky gptkb:Viktor_Korchnoi gptkb:Mikoyan gptkb:Garry_Kasparov |
| gptkbp:affiliation |
gptkb:University_of_Michigan
|
| gptkbp:birth_date |
1939
|
| gptkbp:birth_place |
gptkb:Moscow
gptkb:Russia |
| gptkbp:current_champion |
gptkb:battle
|
| gptkbp:field |
gptkb:Mathematician
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mikhail Gurevich
|
| gptkbp:influenced |
gptkb:Vladimir_Voevodsky
|
| gptkbp:influenced_by |
gptkb:Andrey_Kolmogorov
|
| gptkbp:known_for |
Contributions to mathematical logic
Gurevich's thesis on computability |
| gptkbp:nationality |
gptkb:Author
|
| gptkbp:staff |
gptkb:Yuri_Manin
Mikhail Shur |