Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
The Legacy of Kurt Schutte (Hardcover, 1st ed. 2020)
Loot Price: R3,531
Discovery Miles 35 310
|
|
The Legacy of Kurt Schutte (Hardcover, 1st ed. 2020)
Expected to ship within 10 - 15 working days
|
This book on proof theory centers around the legacy of Kurt Schutte
and its current impact on the subject. Schutte 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). Schutte
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. Schutte 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 Schutte himself
that have never been published before.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.