In Memoriam

Kenneth A. Taylor (1954-2019)
Henry Waldgrave Stuart Professor of Philosophy
Co-Host, Philosophy Talk
Director, Symbolic Systems Program
Co-Director, Public Humanities Program

Solomon Feferman (1928-2016)
Professor of Mathematics and Philosophy, Emeritus
Patrick Suppes Professor of Humanities and Sciences, Emeritus
Interests:
Mathematical logic, especially proof theory and theory of computation
Foundations of mathematics, especially constructive and predicative foundations
Philosophy of mathematics
History of modern logic
Affiliations:

Grigori "Grisha" Mints (1939-2014)
Professor of Philosophy and, by courtesy, of Mathematics and Computer Science