Japońsko-amerykański matematyk i logik, profesor University of Illinois.
Po ukończeniu matematyki na Uniwersytecie Tokijskim wyjechał do Princeton, aby studiować u Kurta Gödla. Następnie został profesorem na University of Illinois w Urbana-Champaign. Był prezesem (2003-2009) Towarzystwa Kurta Gödla, pracując nad książką "Wspomnienia teoretyka dowodów: Gödla i innych logików". W pracy naukowej zajmował się głównie teorią dowodu. Jego celem było udowodnienie spójności liczb rzeczywistych. W tym celu hipoteza Takeuti postuluje, że sekwencyjna formalizacja logiki drugiego rzędu ma eliminację cięcia. Jest również znany ze swojej pracy nad schematami porządkowymi z Akiko Kino.
https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/
