Kohlenbach, Ulrich Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

'Applied Proof Theory: Proof Interpretations and their Use in Mathematics' von Ulrich Kohlenbach ist ein umfassendes Werk, das sich mit der Anwendung von Beweistheorien in der Mathematik beschäftigt. Das Buch untersucht, wie proof-theoretische Techniken genutzt werden können, um mathematische Aussagen zu analysieren und zu verfeinern. Ein zentraler Aspekt des Buches ist die Entwicklung und Anwendung sogenannter Beweisinterpretationen, die es ermöglichen, quantitative Informationen aus nicht-konstruktiven Beweisen zu extrahieren. Kohlenbach bietet eine detaillierte Einführung in verschiedene proof-theoretische Methoden und zeigt deren praktische Anwendungen in Bereichen wie Analysis, Topologie und Algebra auf. Das Buch legt besonderen Wert darauf, theoretische Konzepte mit konkreten mathematischen Problemen zu verbinden, um die Nützlichkeit von Beweistheorie in der Praxis zu demonstrieren. Durch seine klare Darstellung komplexer Konzepte richtet sich das Buch sowohl an Wissenschaftler mit Interesse an logischen Grundlagen als auch an angewandte Mathematiker, die an neuen methodologischen Ansätzen interessiert sind. Insgesamt stellt dieses Werk eine wertvolle Ressource für alle dar, die daran interessiert sind, wie logische Methoden zur Lösung konkreter mathematischer Probleme eingesetzt werden können.