Legacy of kurt schütte, the
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030494230
Date de publication :
11 août 2020
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.