Kurt Schütte
Kurt Schütte
| Születés |
1909. október 14 Salzwedel |
|---|---|
| Halál |
1998. augusztus 18(88 évesen) München |
| Állampolgárság | német |
| Kiképzés | Göttingeni Egyetem |
| Tevékenységek | Matematikus , egyetemi tanár |
| Dolgozott valakinek | Louis-and-Maximilian Egyetem, München , Christian Albrecht Egyetem Kiel , University of Marburg |
|---|---|
| Terület | Matematikai logika |
| Tagja valaminek |
Osztrák Tudományos Akadémia Bajor Tudományos Akadémia |
| Felügyelő | David Hilbert (1934) |
| Irattár által őrzött | A svájci Zürichi Szövetségi Műszaki Intézet ( en ) archívuma (CH-001807-7: Hs 995) |
Kurt Georg Schütte (1909. október 14, Salzwedel -1998. augusztus 18, München ) német matematikus, aki a bizonyításelmélet és a sorelemzés területén dolgozott .
Képzés, munka
Kurt Schütte matematikát, fizikát, kémiát és filozófiát tanult Berlinben és a göttingeni egyetemen , ahol doktorált 1933-ban David Hilbert irányításával . Hilbert utolsó doktorandusz, Paul Bernays- nél folytatta munkáját . Szakdolgozatának címe: Untersuchungen zum Entscheidungsproblem der mathematischen Logik .
Ezután leteszi az államvizsgát, és középiskolai tanár lesz. A második világháború alatt meteorológus volt. A háború után visszatért a tanításhoz, és asszisztensként kutatói karriert kezdett Göttingenben és Marburgban.
1953-ban megoldja Bartel Leendert van der Waerden a probléma (a) a „Kissing szám” három dimenzióban: lehetséges, hogy a 12 gömbök egység körül egy központi gömb sugara azonos.
A Feferman-Schütte sorszám , amelyről kiderült, hogy a predikatív jellegű pontos sorszám, a nevét viseli. Ő a témavezető 16 diák, köztük Wolfgang Bibel (en) , Wolfgang Maaß, Wolfram Pohlers és Martin Wirsing .
1966-ban vendégelőadó volt a moszkvai Nemzetközi Matematikus Kongresszuson, Neuere Ergebnisse der Beweistheorie címmel .
Publikációk
-
Kurt Schütte , Proof theory , vol. 225., Springer-Verlag , koll. "Grundlehren der Mathematischen Wissenschaften",1977, xii + 299 p. ( ISBN 3-540-07911-4 , matematikai vélemények 0505313 ).
- Beweistheorie , Springer, Grundlehren der mathematischen Wissenschaften, 1960; új kiadás trad. angolul Proof Theory néven , Springer-Verlag, 1977
- Logist System System modaler und intuitionistischer , Springer 1968
- Wilfried Buchholz-szal: Az elemzés impredikatív alrendszereinek bizonyítási elmélete , Bibliopolis, Nápoly, 1988
- A Helmut Schwichtenberg (de) : Mathematische Logik , Fischer, Hirzebruch et al. (szerk.) Ein Jahrhundert Mathematik 1890-1990 , Vieweg 1990
Hivatkozások
- Brian Hayes, "ragadós gömbök klaszterei" a tudomány számára , n o 427., 2013. május, p. 64-71 .
- Feferman, Salamon , „ Review: Proof theory , Kurt Schütte ”, Bull. Keserű. Math. Soc. (NS) , vol. 1, n o 1,1979, P. 224–228 ( DOI 10.1090 / s0273-0979-1979-14562-2 , online olvasás )
- Wolfram Pohlers , „ In Memoriam: Kurt Schütte, 1909-1998 ”, The Bulletin of Symbolic Logic , vol. 6, n o 1,2000, P. 101–102 ( JSTOR 421083 )
- (de) Wilfried Buchholz, „ Schütte, Kurt ” , Neue Deutsche Biographie (NDB) , vol. 23., Berlin, 2007, Duncker & Humblot, p. 653–654( beolvasott eredeti ).