國立虎尾科技大學 |

The Legacy of Kurt Schütte

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The Legacy of Kurt Schütte/ edited by Reinhard Kahle, Michael Rathjen.
其他作者:	Rathjen, Michael.
面頁冊數:	XIX, 502 p. 2 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Formal Languages. -
電子資源:	https://doi.org/10.1007/978-3-030-49424-7
ISBN:	9783030494247

The Legacy of Kurt Schütte
The Legacy of Kurt Schütte[electronic resource] /edited by Reinhard Kahle, Michael Rathjen. - 1st ed. 2020. - XIX, 502 p. 2 illus.online resource.

Preface -- List of Contributors -- Part I History and Memories -- Part II Proof Theory at Work -- Part III Further Legacy -- Part IV Kurt Schüttes Spätwerk.

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 analysis. Infinitary proof theory flourished in his hands in the 1960s, culminating in the famous bound Γ0 for the limit of predicative mathematics (a fame shared with Feferman). Later his interests shifted to developing infinite proof calculi for impredicative theories. Schütte had a keen interest in advancing ordinal analysis to ever stronger theories and was still working on some of the strongest systems in his eighties. The articles in this volume from leading experts close to his research, show the enduring influence of his work in modern proof theory. They range from eye witness accounts of his scientific life to developments at the current research frontier, including papers by Schütte himself that have never been published before.

ISBN: 9783030494247

Standard No.: 10.1007/978-3-030-49424-7doiSubjects--Topical Terms:

670059
Mathematical Logic and Formal Languages.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

The Legacy of Kurt Schütte
LDR:02729nam a22004095i 4500 001 1021823
003 DE-He213
005 20200810115008.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030494247 $9 978-3-030-49424-7
024 7 $a 10.1007/978-3-030-49424-7 $2 doi
035 $a 978-3-030-49424-7
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
245 1 4 $a The Legacy of Kurt Schütte $h [electronic resource] / $c edited by Reinhard Kahle, Michael Rathjen.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XIX, 502 p. 2 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Preface -- List of Contributors -- Part I History and Memories -- Part II Proof Theory at Work -- Part III Further Legacy -- Part IV Kurt Schüttes Spätwerk.
520 $a 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 analysis. Infinitary proof theory flourished in his hands in the 1960s, culminating in the famous bound Γ0 for the limit of predicative mathematics (a fame shared with Feferman). Later his interests shifted to developing infinite proof calculi for impredicative theories. Schütte had a keen interest in advancing ordinal analysis to ever stronger theories and was still working on some of the strongest systems in his eighties. The articles in this volume from leading experts close to his research, show the enduring influence of his work in modern proof theory. They range from eye witness accounts of his scientific life to developments at the current research frontier, including papers by Schütte himself that have never been published before.
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 0 $a Logic. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
700 1 $a Rathjen, Michael. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069790
700 1 $a Kahle, Reinhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 793332
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030494230
776 0 8 $i Printed edition: $z 9783030494254
776 0 8 $i Printed edition: $z 9783030494261
856 4 0 $u https://doi.org/10.1007/978-3-030-49424-7
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)