Kurt Schütte
Kurt Schütte
| Fødsel |
14. oktober 1909 Salzwedel |
|---|---|
| Død |
18. august 1998(kl. 88) München |
| Nationalitet | tysk |
| Uddannelse | Universitetet i Göttingen |
| Aktiviteter | Matematiker , universitetsprofessor |
| Arbejdede for | Louis-and-Maximilian University of Munich , Christian Albrecht University of Kiel , University of Marburg |
|---|---|
| Mark | Matematisk logik |
| Medlem af |
Østrigske Videnskabsakademi Bavarian Academy of Sciences |
| Tilsynsførende | David Hilbert (1934) |
| Arkiver opbevaret af | Arkiv for det schweiziske føderale institut for teknologi Zürich ( en ) (CH-001807-7: Hs 995) |
Kurt Georg Schütte (14. oktober 1909, Salzwedel -18. august 1998, München ) er en tysk matematiker, der har arbejdet inden for bevisteori og ordinær analyse.
Træning, arbejde
Kurt Schütte studerede matematik, fysik, kemi og filosofi i Berlin og ved universitetet i Göttingen , hvor han opnåede sin doktorgrad i 1933 under vejledning af David Hilbert . Han er Hilberts sidste doktorand, og han fortsatte sit arbejde med Paul Bernays . Hans afhandling har titlen Untersuchungen zum Entscheidungsproblem der mathematatischen Logik .
Derefter tager han statseksamen og bliver gymnasielærer. Under Anden Verdenskrig var han meteorolog. Efter krigen vendte han tilbage til undervisning og begyndte en forskerkarriere som assistent i Göttingen og Marburg.
I 1953 løser Bartel Leendert van der Waerden det problem (i) det "Kissing nummer" i tre dimensioner: Det er muligt at have 12 sfærer enheder omkring en central kugle med samme radius.
Den Feferman-Schütte ordenstal , som han har vist sig at være den præcise ordenstal anvendes til predicativity, bærer hans navn. Han er specialevejleder på 16 studerende, herunder Wolfgang Bibel (en) , Wolfgang Maaß, Wolfram Pohlers og Martin Wirsing .
I 1966 var han en gæsteforelæser på den internationale kongres af Matematikere i Moskva, med et foredrag med titlen Neuere Ergebnisse der Beweistheorie .
Publikationer
-
Kurt Schütte , Bevissteori , bind. 225, Springer-Verlag , koll. "Grundlehren der Mathematischen Wissenschaften",1977, xii + 299 s. ( ISBN 3-540-07911-4 , matematiske anmeldelser 0505313 ).
- Beweistheorie , Springer, Grundlehren der mathematatischen Wissenschaften, 1960; ny udgave trad. på engelsk som Proof Theory , Springer-Verlag, 1977
- Vollständige Systeme modaler und intuitionistischer Logik , Springer 1968
- med Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis , Bibliopolis, Napoli, 1988
- med Helmut Schwichtenberg (de) : Mathematische Logik , Fischer, Hirzebruch et al. (red.) Ein Jahrhundert Mathematik 1890-1990 , Vieweg 1990
Referencer
- Brian Hayes, "klæbrige kugler" for videnskab , nr . 427, maj 2013, s. 64-71 .
- Feferman, Salomon , ” Review: Proof teori , af Kurt Schütte ”, Bull. Bitter. Matematik. Soc. (NS) , bind. 1, n o 1,1979, s. 224–228 ( DOI 10.1090 / s0273-0979-1979-14562-2 , læs online )
- Wolfram Pohlers , “ In Memoriam: Kurt Schütte, 1909-1998 ”, Bulletin of Symbolic Logic , bind. 6, n o 1,2000, s. 101–102 ( JSTOR 421083 )
- (de) Wilfried Buchholz, “ Schütte, Kurt ” , i Neue Deutsche Biographie (NDB) , bind. 23, Berlin 2007, Duncker & Humblot, s. 653–654( scannet original ).