[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