Hispanopedia WikiEn teoría de pruebas , una rama de la lógica matemática , la minería de pruebas (o desenrollado de pruebas ) es un programa de investigación que estudia o analiza pruebas formalizadas, especialmente en análisis , para obtener límites explícitos, rangos o tasas de convergencia a partir de pruebas que, cuando se expresan en lenguaje natural, parecen no constructivas . [1] Esta investigación ha llevado a mejores resultados en el análisis obtenidos 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. pp. 1–536.
Lectura adicional
- Ulrich Kohlenbach y Paulo Oliva, "Minería de pruebas: una forma sistemática de analizar pruebas en matemáticas", Proc. Steklov Inst. Math , 242:136–164, 2003
- Paulo Oliva, "Proof Mining in Subsystems of Analysis", tesis doctoral del BRICS