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