Biography:Richard Zach
Richard Zach | |
|---|---|
| Alma mater | University of California, Berkeley |
| Scientific career | |
| Fields |
|
| Institutions | University of Calgary |
| Thesis | Hilbert's Finitism: Historical and Philosophical Perspectives (2001) |
| Doctoral advisors | Paolo Mancosu, Jack Silver |
| Website | richardzach |
Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary.
Research
Zach's research interests include the development of formal logic and historical figures (Hilbert, Gödel, and Carnap) associated with this development. In the philosophy of mathematics Zach has worked on Hilbert's program and the philosophical relevance of proof theory. In mathematical logic, he has made contributions to proof theory (epsilon calculus, proof complexity) and to modal and many-valued logic, especially Gödel logic.[1]
Career
Zach received his undergraduate education at the Vienna University of Technology and his Ph.D. at the Group in Logic and the Methodology of Science at the University of California, Berkeley. His dissertation, Hilbert's Program: Historical, Philosophical, and Metamathematical Perspectives, was jointly supervised by Paolo Mancosu and Jack Silver.[2]
He has taught at the University of Calgary since 2001, and holds the rank of Professor. He has held visiting appointments at the University of California, Irvine[3] and McGill University.[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).[5] He serves on the editorial boards of the Bernays edition[6] and the Carnap edition.[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.[10]
References
- ↑ Richard Zach. "Research and Publications". https://www.ucalgary.ca/rzach/papers.
- ↑ Richard Zach at the Mathematics Genealogy Project
- ↑ UC Irvine LPS. "Logic and Philosophy of Science Visitors". http://www.lps.uci.edu/files/fac-staff/visitors/.
- ↑ McGill Philosophy Department. "Visiting Scholars". https://www.mcgill.ca/philosophy/people/visitors.
- ↑ "Richard Zach". http://phil.ucalgary.ca/profiles/richard-zach.
- ↑ Carnegie Mellon University. "The Bernays Project". http://www.phil.cmu.edu/projects/bernays/.
- ↑ Carnegie Mellon University. "The Collected Works of Rudolf Carnap". http://www.phil.cmu.edu/projects/carnap/.
- ↑ Association for Symbolic Logic (January 2008). "ASL Newsletter". https://www.aslonline.org/files/newsletters/pdfs/jan2008newsletter.pdf.,
- ↑ ASL Committee on Logic Education. "Members". https://www.ucalgary.ca/aslcle/members.
- ↑ Kurt Gödel Society. "Organization". http://kgs.logic.at/index.php?id=3.
External links
- Official Website
- LogBlog: A Logic Blog
- Departmental information page
- Society for the Study of the History of Analytical Philosophy
- Open Logic Project
 |  |
