Francisco Hernández Quiroz

Semblanza

Estudié las licenciaturas en Filosofía y Matemáticas en la UNAM. Hice el doctorado en Ciencias de la Computación en el Imperial College London. Fui coordinador del Posgrado en Filosofía de la Ciencia de la UNAM, de 2015 a 2018. En la actualidad soy Profesor Titular C en la Facultad de Ciencias. Imparto cursos en la licenciatura en Ciencias de la Computación y en los posgrados de Filosofía de la Ciencia y Ciencia e Ingeniería de la Computación, y he dirigido 4 tesis de licenciatura, 10 de maestría y 2 de doctorado.

La lógica es un terreno común para las matemáticas, la filosofía y la computación. Una buena parte de los fundamentos teóricos de las ciencias de la computación surgieron como respuesta a preocupaciones lógicas y matemáticas fundacionales, como el problema de la decisión de Hilbert. En la actualidad, muchas cuestiones aparentemente técnicas siguen teniendo un correlato teórico y filosófico muy importante. En sentido opuesto, nociones básicas de la teoría de la computación, como la máquina de Turing, han influido en la filosofía de la mente y las ciencias cognitivas en general. Es en esta intersección donde realizo una buena parte de mi actividad académica. Mi otra área de interés son las lógicas modales y sus descendientes, sobre todo su aplicación en el razonamiento humano y computacional.

Campos

Líneas de investigación

  • Lógicas modales y sus aplicaciones
  • Lógica y computabilidad
  • Computabilidad y sus implicaciones filosóficas

Publicaciones recientes

    Artículos en revistas arbitradas e indexadas:
  • Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Hector Zenil, Wilfried Sieg, “Shortening of Proof Length is Elusive for Theorem Provers”, Parallel Processing Letters. Aceptado.
  • Jesús Mauricio Andrade Guzmán, Francisco Hernández Quiroz, “Natural Deduction and Semantic Models of Justification Logic in the Proof Assistant COQ”, Logic Journal of the IGPL (2020), https://doi.org/10.1093/jigpal/jzaa007.
  • Rodrigo Medina-Vega, Francisco Hernández-Quiroz, Fernando R Velázquez-Quesada, “Minimal Abductive Solutions with Explicit Justification”, Logic Journal of the IGPL (2020), https://doi.org/10.1093/jigpal/jzz036 .
  • Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández-Quiroz, “Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability”, International Journal of Parallel, Emergent and Distributed Systems 34.2 (2019), pp. 161-180.
  • Santiago Hernández-Orozco, Francisco Hernández-Quiroz y Héctor Zenil, “Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence”, Artificial life 24.1 (2018), pp. 56-70.
  • Eduardo Espinosa-Avila, Pablo Padilla-Longoria y Francisco Hernández-Quiroz, “Game Theory and Dynamic Programming in Alternate Games”, en: Journal of Dynamics and Games 4.3 (2017), pp. 205-216.
Capítulos de libros
  • Alberto Hernández-Espinosa, Francisco Hernández-Quiroz y Héctor Zenil, “Is there any Real Substance to the Claims for a ‘New Computationalism’?”, en: Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, ed. por Jarkko Kari, Florin Manea y Ion Petre, Lecture Notes in Computer Science 10307, Springer, 2017, pp. 14-23.
  • Santiago Hernández-Orozco, Francisco Hernández-Quiroz y Héctor Zenil, “The Limits of Decidable States on Open-Ended Evolution and Emergence”, en: Proceedings of the Fifteenth International Conference on the Synthesis and Simulation of Living Systems, ed. por C. Gershenson y Tom Froese, MIT Press, 2016, pp. 200-207.
Capítulos de libros
  • Francisco Hernández-Quiroz, “Logics of Programs as a Fuelling Force for Semantics”, en: Logic and Philosophy of Logic: Recent Trends in Latin America and Spain, ed. por Max A. Freund, Max Fernández de Castro y Marco Ruffino, vol. 78, Studies in Logic, College Publications, 2018, pp. 273-280.
Artículos en actas de congreso arbitradas e indexadas
  • Alberto Hernández-Espinosa, Francisco Hernández-Quiroz y Héctor Zenil, “Is there any Real Substance to the Claims for a ‘New Computationalism’?”, en: Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, ed. por Jarkko Kari, Florin Manea y Ion Petre, Lecture Notes in Computer Science 10307, Springer, 2017, pp. 14-23.
  • Santiago Hernández-Orozco, Francisco Hernández-Quiroz y Héctor Zenil, “The Limits of Decidable States on Open-Ended Evolution and Emergence”, en: Proceedings of the Fifteenth International Conference on the Synthesis and Simulation of Living Systems, ed. por C. Gershenson y Tom Froese, MIT Press, 2016, pp. 200-207.