Kurt Schütte

Kurt Schütte Biografi

Fødsel	14. oktober 1909 Salzwedel
Død	18. august 1998(kl. 88) München
Nasjonalitet	tysk
Opplæring	Universitetet i Göttingen
Aktiviteter	Matematiker , universitetsprofessor

Annen informasjon

Jobbet for	Louis-and-Maximilian University of Munich , Christian Albrecht University of Kiel , University of Marburg
Felt	Matematisk logikk
Medlem av	Østerrikske vitenskapsakademi Bavarian Academy of Sciences
Veileder	David Hilbert (1934)
Arkiv holdt av	Arkiv av det sveitsiske føderale institutt 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 som har arbeidet innen bevisteori og ordinær analyse.

Trening, arbeid

Kurt Schütte studerte matematikk, fysikk, kjemi og filosofi i Berlin og ved Universitetet i Göttingen , hvor han doktorgraden i 1933 under veiledning av David Hilbert . Han er Hilberts siste doktorgradsstudent, og han fortsatte arbeidet med Paul Bernays . Hans avhandling har tittelen Untersuchungen zum Entscheidungsproblem der mathematatischen Logik .

Deretter tar han statseksamen og blir videregående lærer. Under andre verdenskrig var han meteorolog. Etter krigen vendte han tilbake til undervisningen og begynte en forskerkarriere som assistent i Göttingen og Marburg.

I 1953 løser Bartel Leendert van der Waerden det problem  (i) den "Kissing nummer" i tre dimensjoner: det er mulig å ha 12 kuler enheter rundt en sentral kule med samme radius.

Den Feferman-Schütte ordens , som han har vist seg å være den nøyaktige ordens brukes for predicativity, bærer hans navn. Han er hovedveileder for 16 studenter, inkludert Wolfgang Bibel  (en) , Wolfgang Maaß, Wolfram Pohlers og Martin Wirsing .

I 1966 var han gjesteforeleser ved den internasjonale kongressen for matematikere i Moskva, med et foredrag med tittelen Neuere Ergebnisse der Beweistheorie .

Publikasjoner

• Kurt Schütte , Proof theory , vol.  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 utgave 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

Referanser

1. Brian Hayes, "sticky spheres Clusters" For Science , nr .  427, mai 2013, s.  64-71 .
2. Feferman, Solomon , “  Gjennomgang: Bevissteori , av Kurt Schütte  ”, Bull. Bitter. Matte. Soc. (NS) , vol.  1, n o  1,1979, s.  224–228 ( DOI  10.1090 / s0273-0979-1979-14562-2 , les online )

• Wolfram Pohlers , “  In Memoriam: Kurt Schütte, 1909-1998  ”, The Bulletin of Symbolic Logic , vol.  6, n o  1,2000, s.  101–102 ( JSTOR  421083 )
• (de) Wilfried Buchholz, “  Schütte, Kurt  ” , i Neue Deutsche Biographie (NDB) , vol.  23, Berlin 2007, Duncker & Humblot, s.  653–654( skannet original ).

(fr) Denne artikkelen er helt eller delvis hentet fra den engelske Wikipedia- artikkelen med tittelen "  Kurt Schütte  " ( se forfatterlisten ) .

Eksterne linker

• Autoritetsjournaler  :
  • Virtuell internasjonal myndighetsfil
  • Internasjonal standardnavnidentifikator
  • Nasjonalbiblioteket i Frankrike ( data )
  • Universitetsdokumentasjonssystem
  • Library of Congress
  • Gemeinsame Normdatei
  • Royal Netherlands Library
  • Universitetsbiblioteket i Polen
  • Tsjekkiske nasjonalbiblioteket
  • WorldCat Id
  • WorldCat
• Kurt Georg Schütte om matematikkgenealogiprosjektet