The Legacy of Kurt Schütte

by Reinhard Kahle

Book Overview

This book on proof theory centers around the legacy of Kurt Sch tte and its current impact on the subject. Sch tte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods (metamathematics). Sch tte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their...

• Format: Paperback
• Language: English
• ISBN: 3030494268
• ISBN13: 9783030494261
• Release Date: August 2021
• Publisher: Springer
• Length: 502 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"