How to (really) trust a mathematical proof
J. Rehmeyer How to (really) trust a mathematical proof. ScienceNews, 14 de Noviembre de 2008.
Este artículo es un resumen de número de Diciembre de Notices of AMS comentando algunos detalles de los trabajos de dicho número:
- T. Hales Formal Proof.
- G. Gonthier, G. Formal Proof: The Four-Color Theorem.
- J. Harrison Formal Proof: Theory and Practice.
- F. Wiedijk Formal Proof: Getting Started.
- J Avigad, E. Dean y J. Mumma A formal system for Euclid's Elements.
En resumen, el artículo
- resalta la importancia de la formalización en matemáticas;
- comenta algunas grandes formalizaciones: teorema de cuatro colores y Flyspec;
- señala una de las tareas más duras: la formalización del mathware (conocimiento común de matemáticas);
- comenta la afirmación de Gonthier sobre cómo a partir de cierta fase de la formalización, el desarrollo de nueva matemática puede ser más rápido en entornos formalizados que en el tradicional y
- comenta el reto de Hales de la "secuenciación del conocimiento matemático". En relación con el reto de Hales, indica que se está comenzando proyectos como el vdash.
Este trabajo sirve como referencia no especializada en el procesamiento del conocimiento matemático.
José A. Alonso 08:14, 19 November 2008 (CET)
