Richard Zach
Positions
Professor
Graduate Program Director
Contact information
Background
Educational Background
Diplom-Ingenieur Computational Logic, Vienna University of Technology, 1993
Ph.D. Logic and the Methodology of Science, University of California, Berkeley, 2001
Research
Areas of Research
Participation in university strategic initiatives
Courses
| Course number | Course title | Semester |
|---|---|---|
| PHIL 603 | Proseminar | Fall 2024 |
| PHIL 479/679 | Logic III: Gödel's Incompleteness Theorems | Winter 2024 |
Projects
Funded by NSERC
Awards
- Professeur invité, Université Paris 1 Pantheon-Sorbonne. 2023
- Shoenfield Prize, Association for Symbolic Logic. 2022
- Bulletin of Symbolic Logic 25th Anniversary Prize, Association for Symbolic Logic/Cambridge University Press. 2021
- Teaching Excellence Award (Honourable Mention), Student Union, University of Calgary. 2021
- Visiting Professor, McGill University. 2015
- Annual Fellow, Calgary Institute for the Humanities. 2013
- Erasmus Mundus Scholar, Technical University Vienna. 2009
- Visiting Fellow, University of California, Irvine. 2004
Publications
- The genealogy of ‘∨’. Richard Zach and Landon D. C. Elkind. The Review of Symbolic Logic 16(3). 862–899. (2023)
- Epsilon theorems in intermediate logics. Matthias Baaz; Richard Zach. The Journal of Symbolic Logic 87 (2). 682–720. (2022)
- An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Paolo Mancosu; Sergio Galvan; Richard Zach. Oxford University Press. (2021)
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D. Samara Burns; Richard Zach. The Review of Symbolic Logic 14 (4). 910–929. (2021)
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. Richard Zach. The Review of Symbolic Logic 14 (3). 645–686. (2021)
- The epsilon calculus. Jeremy Avigad; Richard Zach. Stanford Encyclopedia of Philosophy. (2019)
- The significance of the Curry-Howard isomorphism. Richard Zach. Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein Symposium. 313-325. (2019)
- Hilbert's Program. Richard Zach. Stanford Encyclopedia of Philosophy. (2019)
- forall x: Calgary. An introduction to formal logic. Tim Button; P. D. Magnus; Robert Trueman; J. Robert Loftis; Aaron Thomas-Bolduc; Richard Zach. 380. (2019)
- Boxes and diamonds. An open introduction to modal logic. Richard Zach. 262. (2019)
- Sets, logic, computation. An open introduction to metalogic. Richard Zach. 373. (2019)
- Incompleteness and computability. An open introduction to Gödel's theorems. Richard Zach. 280. (2019)
- Semantics and proof theory of the epsilon calculus. Richard Zach. Springer. 27-47. (2017)
In the News
- Logic Courseware, Surveyed. Daily Nous. (2023)
- Shoenfield Logic Book and Article Prize Winners Announced. Daily Nous. (2023)
- E-textbooks a growing part of university education – with mixed benefits. CTV News. (2022)
Are you the profile owner?
Login to edit.