[Proof Complexity] Gaisi Takeuti

Sam Buss sbuss at ucsd.edu
Wed May 10 20:02:17 CEST 2017


I am very saddened to report the news from his daughter that Gaisi Takeuti
died peacefully today, May 10, in Japan.

Sam Buss


More information about the Proof-Complexity mailing list