Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy.
In the philosophy of mathematics Zach has worked on Hilbert's program and the philosophical relevance of proof theory.
His dissertation, Hilbert's Program: Historical, Philosophical, and Metamathematical Perspectives, was jointly supervised by Paolo Mancosu and Jack Silver.
[4] Zach is a founding editor of the Review of Symbolic Logic and the Journal for the Study of the History of Analytic Philosophy, and is also associate editor of Studia Logica, and a subject editor for the Stanford Encyclopedia of Philosophy (History of Modern Logic).
[7] He was elected to the Council of the Association for Symbolic Logic in 2008[8] (ASL) and he has served on the ASL Committee on Logic Education[9] and the executive committee of the Kurt Gödel Society.