A Survey of Proof Theory

Explora el progreso en la teoría de la prueba, al igual que Kreisel, en el contexto de los fundamentos de las matemáticas.

Aborda directamente la teoría de la prueba mientras discute las bases lógicas propuestas por Hilbert, conectando ideas clave del ensayo de referencia.

Presenta los desarrollos contemporáneos en lógica matemática, lo que complementa la discusión crítica sobre la evolución de la teoría de la prueba.

Investiga los principios de la matemática constructiva, ofreciendo un enfoque similar al metalenguaje utilizado en 'A Survey of Proof Theory'.

Profundiza en la noción de 'argumento válido' en la teoría de la prueba, en línea con el análisis crítico de Kreisel sobre este tema.

Analiza el impacto de los teoremas de incompletitud en la metamatemática y su relación con la teoría de la prueba, temas centrales en Kreisel.