Computing with Mathematical Arguments

• Jesse Alama ^[1] ; Reinhard Kahle ^[2]
  1. [1] Center for Artificial Intelligence New University of Lisbon, Caparica, Portugal
  2. [2] Center for Artificial Intelligence and Departamento de Matemática-FCT New University of Lisbon Caparica Portugal
• Localización: New challenges to philosophy of science / coord. por Hanne Andersen, Dennis Dieks, Wenceslao J. González Fernández, Thomas Uebel, Gregory Wheeler, 2013, ISBN 978-94-007-5844-5, págs. 9-22
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • Thanks to developments in the last few decades in mathematical logic and computer science, it has now become possible to formalize non-trivial mathematical proofs in essentially complete detail. we discuss the philosophical problems and prospects for such formalization enterprises. We show how some perennial philosophical topics and problems in epistemology, philosophy of science, and philosophy of mathematics can be seen in the practice of formalizing mathematical proofs.