Overview
- Contains contributions by leading experts close to Schütte' s research, that show the enduring influence of his work in modern proof theory
- The articles range from eye witness accounts of Schütte's scientific life to developments at the current research frontier
- Includes papers by Schütte himself that have never been published before
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (25 chapters)
-
History and Memories
-
Proof Theory at Work
Keywords
About this book
Editors and Affiliations
About the editors
Reinhard Kahle is currently the Carl Friedrich von Weizsäcker Professor for Philosophy and History of Science at the University of Tübingen. Before, he was Professor of Mathematics at the University of Coimbra (2003-08) and at the University Nova in Lisbon (2008-18). He is fellow of the Académie Internationale de Philosophie des Sciences. His main research interests include proof theory and the history and philosophy of logic.
Michael Rathjen is currently Professor of Mathematics at Leeds University. He first taught at Münster and the Ohio State University. As a Heisenberg Fellow he worked at several logic research centers, notably OSU, UCLA, Stanford, and Uppsala. In 1996 he joined the University of Leeds. From 2002 till 2006 he was a Professor of Mathematics at the Ohio State University. His research interests include mathematical logic and the philosophy of logic and mathematics.Bibliographic Information
Book Title: The Legacy of Kurt Schütte
Editors: Reinhard Kahle, Michael Rathjen
DOI: https://doi.org/10.1007/978-3-030-49424-7
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Hardcover ISBN: 978-3-030-49423-0Published: 11 August 2020
Softcover ISBN: 978-3-030-49426-1Published: 12 August 2021
eBook ISBN: 978-3-030-49424-7Published: 10 August 2020
Edition Number: 1
Number of Pages: XIX, 502
Number of Illustrations: 2 b/w illustrations
Topics: Mathematical Logic and Foundations, Logic, Mathematical Logic and Formal Languages