Legacy of kurt schütte, the
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030494261
Date de publication :
12 août 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis.