Helmuta Schwichtenberga

Helmuta Schwichtenberga
Urodzić się	( 1942-04-05 ) 5 kwietnia 1942
Alma Mater	Wolny Uniwersytet w Berlinie , Uniwersytet w Münster
Kariera naukowa
Pola	Logika , teoria dowodu , matematyka
Instytucje	Uniwersytet Ludwika Maksymiliana w Monachium
Praca dyplomowa	Klasyfikacja wielu funkcji rekurencyjnych
Doradca doktorski	Dietera Röddinga

Od lewej: Yiannis Moschovakis , Helmut Schwichtenberg, Anne Sjerp Troelstra , 2002 w MFO

Helmut Schwichtenberg (ur. 5 kwietnia 1942 w Żaganiu ) to niemiecki logik matematyczny .

Schwichtenberg studiował matematykę od 1961 r. na FU w Berlinie , a od 1964 r. na Uniwersytecie w Münster , gdzie w 1968 r. obronił doktorat u Dietera Röddinga . Następnie pracował jako asystent, a następnie jako profesor w Münster a od 1978 jest profesorem logiki matematycznej na Ludwig-Maximilians-Universität w Monachium (następca Kurta Schütte ).

Schwichtenberg zajmuje się między innymi teorią dowodu , teorią obliczalności , rachunkiem lambda i zastosowaniami logiki w informatyce . Jest członkiem Bawarskiej Akademii Nauk .

Wybrane publikacje

•   Helmuta Schwichtenberga i Kurta Schütte (1990). „Logika matematyczna”. W Gerd Fischer i Friedrich Hirzebruch oraz Winfried Scharlau i Willi Törnig (red.). Ein Jahrhundert Mathematik, 1890–1990 – Festschrift zum Jubiläum der DMV . Dokumente zur Geschichte der Mathematik (w języku niemieckim). Tom. 6. Brunszwik: Vieweg. s. 717–740. ISBN 3-528-06326-2 .

•   Helmuta Schwichtenberga i Anne S. Troelstra (1996). Podstawowa teoria dowodu . Traktaty Cambridge w informatyce teoretycznej . Tom. 43 (wyd. 1). Cambridge: Cambridge University Press. ISBN 0-521-57223-1 .   (wydanie drugie 2000: ISBN 0-521-77911-1 )

•   Helmut Schwichtenberg i Stanley S. Wainer (2012). Dowody i obliczenia . Cambridge: Cambridge University Press. ISBN 978-0-521-51769-0 .

• Helmuta Schwichtenberga (2006). „Arytmetyka obliczeń w czasie wielomianowym” . Informatyka teoretyczna . 357 (1–3): 202–214. doi : 10.1016/j.tcs.2006.03.019 .

Linki zewnętrzne

• Strona główna na Ludwig-Maximilians-Universität Monachium