How to (really) trust a mathematical proof - Historial de revisiones

Jalonso en 14:19 19 nov 2008

2008-11-19T14:19:41Z

Jalonso en 07:19 19 nov 2008

2008-11-19T07:19:14Z

Jalonso en 07:17 19 nov 2008

2008-11-19T07:17:42Z

Jalonso en 07:14 19 nov 2008

2008-11-19T07:14:58Z

Jalonso en 07:14 19 nov 2008

2008-11-19T07:14:36Z

Jalonso: New page: J. Rehmeyer ''[http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof How to (really) trust a mathematical proof]''. ScienceNews, 14 de Noviembre...

2008-11-19T07:14:18Z

New page: J. Rehmeyer ''[http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof How to (really) trust a mathematical proof]''. ScienceNews, 14 de Noviembre...

Página nueva

J. Rehmeyer ''[http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof 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 [http://www.ams.org/notices/200811/ Notices of AMS] comentando algunos detalles de los trabajos de de dicho número:
* T. Hales [http://www.ams.org/notices/200811/tx081101370p.pdf Formal Proof].
* G. Gonthier, G. [http://www.ams.org/notices/200811/tx081101382p.pdf Formal Proof: The Four-Color Theorem].
* J. Harrison [http://www.ams.org/notices/200811/tx081101395p.pdf Formal Proof: Theory and Practice].
* F. Wiedijk [http://www.ams.org/notices/200811/tx081101408p.pdf Formal Proof: Getting Started].
* J Avigad, E. Dean y J. Mumma ''[http://arxiv.org/pdf/0810.4315v1 A formal system for Euclid's Elements]''.

El artículo resalta la importancia de la formalización en matemáticas, presenta algunas grandes formalizaciones (teorema de cuatro colores y Flispec), señala una de las tareas más duras (la formalización del mathware), comenta la afirmación de Gonthier sobre la 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 [http://www.vdash.org/ vdash].

Este trabajo sirve como referencia no especializada en el procesamiento del conocimiento matemático.

[[User:Jalonso|José A. Alonso]] 08:14, 19 November 2008 (CET)
[[Category:Lecturas]]

@@ Línea 11: / Línea 11: @@
 * 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;
+* 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 la 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 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 [http://www.vdash.org/ vdash].

@@ Línea 6: / Línea 6: @@
 * J. Harrison [http://www.ams.org/notices/200811/tx081101395p.pdf Formal Proof: Theory and Practice].
 * F. Wiedijk [http://www.ams.org/notices/200811/tx081101408p.pdf Formal Proof: Getting Started].
-* J Avigad, E. Dean y J. Mumma ''[http://arxiv.org/pdf/0810.4315v1 A formal system for Euclid's Elements]''.
+* J Avigad, E. Dean y J. Mumma [http://arxiv.org/pdf/0810.4315v1 A formal system for Euclid's Elements].
 En resumen, el artículo
-* resalta la importancia de la formalización en matemáticas,
+* resalta la importancia de la formalización en matemáticas;
-* comenta algunas grandes formalizaciones: teorema de cuatro colores y Flyspec,
+* comenta algunas grandes formalizaciones: teorema de cuatro colores y Flyspec;
-* señala una de las tareas más duras: la formalización del mathware,
+* señala una de las tareas más duras: la formalización del mathware;
 * comenta la afirmación de Gonthier sobre la 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 [http://www.vdash.org/ vdash].

@@ Línea 8: / Línea 8: @@
 * J Avigad, E. Dean y J. Mumma ''[http://arxiv.org/pdf/0810.4315v1 A formal system for Euclid's Elements]''.
-El artículo resalta la importancia de la formalización en matemáticas, presenta algunas grandes formalizaciones (teorema de cuatro colores y Flyspec), señala una de las tareas más duras (la formalización del mathware), comenta la afirmación de Gonthier sobre la 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 [http://www.vdash.org/ vdash].
+En resumen, el artículo
 Este trabajo sirve como referencia no especializada en el procesamiento del conocimiento matemático.

@@ Línea 1: / Línea 1: @@
 J. Rehmeyer ''[http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof 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 [http://www.ams.org/notices/200811/ Notices of AMS] comentando algunos detalles de los trabajos de de dicho número:
+Este artículo es un resumen de número de Diciembre de [http://www.ams.org/notices/200811/ Notices of AMS] comentando algunos detalles de los trabajos de dicho número:
 * T. Hales [http://www.ams.org/notices/200811/tx081101370p.pdf Formal Proof].
 * G. Gonthier, G. [http://www.ams.org/notices/200811/tx081101382p.pdf Formal Proof: The Four-Color Theorem].