Helmut Schwichtenberg

Helmut Schwichtenberg
Född	( 1942-04-05 ) 5 april 1942
Alma mater	Fria universitetet i Berlin , universitetet i Münster
Vetenskaplig karriär
Fält	Logik , Bevisteori , Matematik
institutioner	Ludwig Maximilian Universitetet i München
Avhandling	En klassificering av flera rekursiva funktioner
Doktorand rådgivare	Dieter Rödding

Från vänster: Yiannis Moschovakis , Helmut Schwichtenberg, Anne Sjerp Troelstra , 2002 vid MFO

Helmut Schwichtenberg , född 5 april 1942 i Żagań , är en tysk matematisk logiker .

Schwichtenberg studerade matematik från 1961 vid FU Berlin och från 1964 vid universitetet i Münster , där han doktorerade 1968 från Dieter Rödding . Han arbetade sedan som assistent och sedan som professor i Münster, och har sedan 1978 varit professor i matematisk logik vid Ludwig-Maximilians-Universität München (efterträdare till Kurt Schütte ).

Schwichtenberg behandlar bland annat proof theory , theory of computability , lambda calculus och tillämpningar av logik inom datavetenskap . Han är medlem av den bayerska vetenskapsakademin .

Utvalda publikationer

•   Helmut Schwichtenberg och Kurt Schütte (1990). "Matematisk logik". I Gerd Fischer och Friedrich Hirzebruch och Winfried Scharlau och Willi Törnig (red.). Ein Jahrhundert Mathematik, 1890–1990 – Festschrift zum Jubiläum der DMV . Dokumente zur Geschichte der Mathematik (på tyska). Vol. 6. Braunschweig: Vieweg. s. 717–740. ISBN 3-528-06326-2 .

•    Helmut Schwichtenberg och Anne S. Troelstra (1996). Grundläggande bevisteori . Cambridge Tracts in Theoretical Computer Science. Vol. 43 (första upplagan). Cambridge: Cambridge University Press. ISBN 0-521-57223-1 . (2:a upplagan 2000: ISBN 0-521-77911-1 )

•   Helmut Schwichtenberg och Stanley S. Wainer (2012). Bevis och beräkningar . Cambridge: Cambridge University Press. ISBN 978-0-521-51769-0 .

• Helmut Schwichtenberg (2006). "En aritmetik för polynom-tidsberäkning" . Teoretisk datavetenskap . 357 (1–3): 202–214. doi : 10.1016/j.tcs.2006.03.019 .

externa länkar

• Hemsida på Ludwig-Maximilians-Universität München