Richard Zach es un destacado logiciany filósofo de las matemáticas canadiense, reconocido por sus contribuciones en la historia de la lógica y la filosofía analítica. Actualmente, se desempeña como Professor de Filosofía en la Universidad de Calgary, donde lidera investigaciones profundas sobre los fundamentos de las matemáticas y la lógica formal.
Investigación y Enfoque Académico
El trabajo de Zach Zach se centra principalmente en el desarrollo de la lógica formal y el estudio de las figuras históricas que definieron el campo, tales como David Hilbert, Kurt Gödel y Rudolf Carnap. Sus intereses de investigación abarcan diversas áreas clave:
- Filosofía de las Matemáticas: Se ha especializado en el programa de Hilbert y la relevancia filosófica de la teoría de la prueba.
- Lógica Matemática: Ha realizado contribuciones significativas en la teoría de la prueba, específicamente en el cálculo epsilon y la complejidad de la prueba, así como en la lógica modal y la lógica polivalente, con un énfasis particular en la lógica de Gödel.
- Historia de la Lógica: Zach explora la evolución de los sistemas lógicos y el impacto de la filosofía analítica en el pensamiento moderno.
Trayectoria Profesional y Formación
Zach recibió su formación universitaria en la Universidad Tecnológica de Viena y posteriormente obtuvo su doctorado en el grupo de Lógica y Metodología de la Ciencia en la Universidad de California, Berkeley. Su tesis doctoral, titulada "Hilbert's Program: Historical, Philosophical, and Metamathematical Perspectives", fue supervisada conjuntamente por Paolo Mancosu y Jack Silver.
Impacto Editorial y Liderazgo Académico
Desde 2001, Zach ha sido profesor en la Universidad de Calgary. Además, ha tenido nombramientos como profesor visitante en la Universidad de California, Irvine y la Universidad McGill. Su influencia en la comunidad académica se extiende a través de su labor editorial:
- Es editor fundador de la Review of Symbolic Logic y del Journal for the Study of the History of Analytic Philosophy.
- Se desempeña como editor asociado de Studia Logica y editor de materia para la Stanford Encyclopedia of Philosophy (en la sección de Historia de la Lógica Moderna).
- Forma parte de los consejos editoriales de las ediciones de Bernays y Carnap.
En 2008, fue elegido para el Consejo de la Association for Symbolic Logic (ASL), y ha participado activamente en el Comité de Educación en Lógica de la ASL y en el comité ejecutivo de la Sociedad Kurt Gödel.
