Helmut Schwichtenberg - Helmut Schwichtenberg

Zleva: Yiannis Moschovakis, Helmut Schwichtenberg, Anne Sjerp Troelstra, 2002 na MFO

Helmut Schwichtenberg (narozen 5. dubna 1942[1] v Żagań )[Citace je zapotřebí ] je Němec matematický logik.

Schwichtenberg studoval matematiku od roku 1961 na FU Berlín a od roku 1964 v University of Münster, kde v roce 1968 získal doktorát z Dieter Rödding [de ].[1][2][3] Poté pracoval jako asistent a poté jako profesor v Münsteru,[Citace je zapotřebí ] a od roku 1978 profesorem matematické logiky na Ludwig-Maximilians-Universität Mnichov[1] (nástupce Kurt Schütte ).

Schwichtenberg se mimo jiné zabývá teorie důkazů, teorie vyčíslitelnosti, lambda kalkul a aplikace logiky ve Windows počítačová věda. Je členem Bavorská akademie věd.

Vybrané publikace

  • Helmut Schwichtenberg a Kurt Schütte (1990). „Mathematische Logik“. In Gerd Fischer and Friedrich Hirzebruch and Winfried Scharlau and Willi Törnig (ed.). Ein Jahrhundert Mathematik, 1890–1990 - Festschrift zum Jubiläum der DMV. Dokumente zur Geschichte der Mathematik (v němčině). 6. Braunschweig: Vieweg. 717–740. ISBN  3-528-06326-2.
  • Helmut Schwichtenberg a Anne S. Troelstra (1996). Základní teorie důkazů. Cambridge Tracts v teoretické informatice. 43 (1. vyd.). Cambridge: Cambridge University Press. ISBN  0-521-57223-1. (2. vydání 2000: ISBN  0-521-77911-1)
  • Helmut Schwichtenberg a Stanley S. Wainer (2012). Důkazy a výpočty. Cambridge: Cambridge University Press. ISBN  978-0-521-51769-0.
  • Helmut Schwichtenberg (2006). Msgstr "Aritmetika pro výpočet polynomiálního času". Teoretická informatika. 357 (1–3): 202–214. doi:10.1016 / j.tcs.2006.03.019.

Reference

  1. ^ A b C Jürgen Elstrodt a Norbert Schmitz (duben 2013). „Ehemalige Professoren 1945–1969“. Entwicklung der Mathematik an der Universität Münster (PDF) (v němčině). p. 283.
  2. ^ Helmut Schwichtenberg (1968). Eine Klassifikation der mehrfach-rekursiven Punktionen [Klasifikace více rekurzivních funkcí] (PDF) (Ph.D. práce) (v němčině). Universität Münster.
  3. ^ Helmut Schwichtenberg na Matematický genealogický projekt

externí odkazy