[FOM] Fwd: Gaisi Takeuti passes away

Dana Scott scott at cs.cmu.edu
Fri May 19 12:51:58 EDT 2017

Sam Buss <sbuss at ucsd.edu> on Wednesday, May 10, 2017 posted this message:

> I am very saddened to report the news from his daughter that Gaisi Takeuti
> died peacefully today, May 10, in Japan.
> https://list.math.cas.cz/pipermail/proof-complexity/2017-May/000206.html

According to Wikipedia, Takeuti was born on January 25, 1926.

More information about the FOM mailing list