Prueba de minería

En la teoría de la prueba , una rama de la lógica matemática , la minería de pruebas (o desenrollado de pruebas ) es un programa de investigación que analiza pruebas formalizadas, especialmente en análisis , para obtener límites explícitos o tasas de convergencia a partir de pruebas que, cuando se expresan en lenguaje natural, parecen ser no constructivo . ^[1] Esta investigación ha conducido a mejores resultados en el análisis obtenido a partir del análisis de pruebas clásicas.

Referencias

^ Ulrich Kohlenbach (2008). Teoría de la prueba aplicada: interpretaciones de la prueba y su uso en matemáticas . Springer Verlag, Berlín. págs. 1 –536.

Otras lecturas

Ulrich Kohlenbach y Paulo Oliva, "Proof Mining: Una forma sistemática de analizar demostraciones en matemáticas", Proc. Steklov Inst. Matemáticas , 242: 136–164, 2003
Paulo Oliva, "Proof Mining en subsistemas de análisis", citeseer de tesis doctoral BRICS

Este artículo relacionado con la lógica matemática es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

[1] Ulrich Kohlenbach (2008). Teoría de la prueba aplicada: interpretaciones de la prueba y su uso en matemáticas . Springer Verlag, Berlín. págs. 1 –536.

[1]