Grigori Mints

Grigori Mints, ka Grisha Mints (vene keeles Григорий Эфраимович Минц; 7. juuni 1939 Leningrad – 29. mai 2014 Palo Alto, California) oli Nõukogude Liidu ja Ameerika Ühendriikide loogik, arvutiteadlane ja matemaatik.

Grigori Mints oli rahvusvaheliselt tuntud loogik ja arvutiteadlane, kelle tööd tõestusteoorias on leidnud otsest rakendust arvutiteaduses. Ta on andnud olulise panuse Eesti arvutiteadusse. Tema õpilased on Tallinna Tehnikaülikooli professor Tanel Tammet ja akadeemik Tarmo Uustalu.^[1]

Ta oli Stanfordi Ülikooli professor ja Eesti Teaduste Akadeemia välisliige.