Richard Zach es un lógico , filósofo de las matemáticas e historiador de la lógica y la filosofía analítica canadiense . Actualmente es profesor de Filosofía en la Universidad de Calgary .
Los intereses de investigación de Zach incluyen el desarrollo de la lógica formal y las figuras históricas ( Hilbert , Gödel y Carnap ) asociadas con este desarrollo. En la filosofía de las matemáticas, Zach ha trabajado en el programa de Hilbert y la relevancia filosófica de la teoría de la prueba . En lógica matemática , ha hecho contribuciones a la teoría de la prueba ( cálculo épsilon , complejidad de la prueba ) y a la lógica modal y polivalente , especialmente la lógica de Gödel . [1]
Zach recibió su educación universitaria en la Universidad Tecnológica de Viena y su doctorado en el Grupo de Lógica y Metodología de la Ciencia de la Universidad de California, Berkeley . Su tesis, El programa de Hilbert: perspectivas históricas, filosóficas y metamatemáticas , fue supervisada conjuntamente por Paolo Mancosu y Jack Silver . [2]
Ha enseñado en la Universidad de Calgary desde 2001 y tiene el rango de profesor. Ha tenido nombramientos como profesor visitante en la Universidad de California, Irvine [3] y la Universidad McGill . [4] Zach es editor fundador de la Review of Symbolic Logic y del Journal for the Study of the History of Analytic Philosophy , y también es editor asociado de Studia Logica y editor temático de la Stanford Encyclopedia of Philosophy (History of Modern Logic). [5] Forma parte de los consejos editoriales de la edición de Bernays [6] y de la edición de Carnap . [7] Fue elegido miembro del Consejo de la Association for Symbolic Logic en 2008 [8] (ASL) y ha formado parte del Comité de Educación en Lógica de la ASL [9] y del comité ejecutivo de la Kurt Gödel Society . [10]