Kohlenbach, U.

Applied proof theory : proof interpretations and their use in mathematics / Ulrich Kohlenbach. - Berlin : Springer; 2008. - XIX, 532 p. : il.; 24 cm. - Springer monographs in mathematics 1439-7382 .

Incluye referencias bibliográficas e indice.


Este es el primer tratamiento en formato de libro de las transformaciones de la teoría de la prueba - conocido como interpretaciones de la prueba - que se centra en aplicaciones a la matemática ordinaria. Abarca tanto la lógica lógica necesaria detrás de las interpretaciones de prueba que se utilizan en las aplicaciones recientes, así como - a través de estudios de caso extendidos - la realización de algunas de estas aplicaciones en todos los detalles. Este tema tiene raíces históricas en los años cincuenta. Este libro por primera vez cuenta toda la historia.

9783540775324


TEORÍA
MATEMÁTICAS EN INGENIERÍA
TEOREMAS

511.36 / K792