Richard Zach

Richard Zach
alma mater	Universidad de California, Berkeley
Carrera científica
Los campos	lógica matemática ( teoría de la prueba ) lógica filosófica historia de la lógica filosofía de las matemáticas historia de la filosofía analítica
Instituciones	Universidad de Calgary
Tesis	El finitismo de Hilbert: perspectivas históricas y filosóficas (2001)
Consejeros de doctorado	Paolo Mancosu , Jack Silver

Sitio web	richardzach .org

Richard Zach es un lógico canadiense, filósofo de las matemáticas e historiador de la lógica y la filosofía analítica. Actualmente es profesor de Filosofía en la Universidad de Calgary .

Investigar

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 multivaluada , especialmente la lógica de Gödel . ^[1]

Carrera profesional

Zach recibió su educación universitaria en la Universidad Tecnológica de Viena y su Ph.D. en el Grupo de Lógica y Metodología de la Ciencia de la Universidad de California, Berkeley . Su disertación, 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 ocupado puestos de visita en la Universidad de California, Irvine ^[3] y la Universidad McGill . ^[4] Zach es editor fundador de Review of Symbolic Logic y Journal for the Study of the History of Analytic Philosophy , y también es editor asociado de Studia Logica y editor de materias de la Stanford Encyclopedia of Philosophy (History of Modern Lógica). ^[5] Es miembro de los consejos editoriales de la edición Bernays ^[6] y del Carnap.edición. ^[7] Fue elegido miembro del Consejo de la Asociación de Lógica Simbólica en 2008 ^[8] y ha formado parte del Comité de Educación Lógica de ASL ^[9] y del comité ejecutivo de la Sociedad Kurt Gödel . ^[10]

Referencias

^ Richard Zach. "Investigaciones y Publicaciones" . Consultado el 10 de diciembre de 2014 .
^ Richard Zach en el Proyecto de genealogía matemática
^ UC Irvine LPS. "Visitantes de Lógica y Filosofía de la Ciencia" . Consultado el 12 de diciembre de 2014 .
^ Departamento de Filosofía de McGill. "Eruditos visitantes" . Consultado el 12 de diciembre de 2014 .
^ "Richard Zach" . Departamento de Filosofía de la Universidad de Calgary . Consultado el 11 de diciembre de 2014 .
^ Universidad Carnegie Mellon. "El Proyecto Bernays" . Consultado el 11 de diciembre de 2014 .
^ Universidad Carnegie Mellon. "Las obras completas de Rudolf Carnap" . Consultado el 11 de diciembre de 2012 .
^ Asociación de lógica simbólica (enero de 2008). "Boletín de ASL" (PDF) . ,
^ Comité de ASL sobre educación lógica. "Miembros" . Consultado el 12 de diciembre de 2014 .
^ Sociedad de Kurt Gödel. "Organización" . Consultado el 12 de diciembre de 2014 .

enlaces externos

Sitio web oficial
LogBlog: un blog de lógica
Página de información departamental
Sociedad para el Estudio de la Historia de la Filosofía Analítica
Proyecto de lógica abierta

[1] Richard Zach. "Investigaciones y Publicaciones" . Consultado el 10 de diciembre de 2014 .

[2] Richard Zach en el Proyecto de genealogía matemática

[3] UC Irvine LPS. "Visitantes de Lógica y Filosofía de la Ciencia" . Consultado el 12 de diciembre de 2014 .

[4] Departamento de Filosofía de McGill. "Eruditos visitantes" . Consultado el 12 de diciembre de 2014 .

[5] "Richard Zach" . Departamento de Filosofía de la Universidad de Calgary . Consultado el 11 de diciembre de 2014 .

[6] Universidad Carnegie Mellon. "El Proyecto Bernays" . Consultado el 11 de diciembre de 2014 .

[7] Universidad Carnegie Mellon. "Las obras completas de Rudolf Carnap" . Consultado el 11 de diciembre de 2012 .

[8] Asociación de lógica simbólica (enero de 2008). "Boletín de ASL" (PDF) . ,

[9] Comité de ASL sobre educación lógica. "Miembros" . Consultado el 12 de diciembre de 2014 .

[10] Sociedad de Kurt Gödel. "Organización" . Consultado el 12 de diciembre de 2014 .

[1]