Helmut Schwichtenberg - Helmut Schwichtenberg

Soldan: Yiannis Moschovakis, Helmut Schwichtenberg, Anne Sjerp Troelstra, 2002 at MFO

Helmut Schwichtenberg (5 Nisan 1942 doğumlu[1] içinde Żagań )[kaynak belirtilmeli ] bir alman matematiksel mantıkçı.

Schwichtenberg 1961'den itibaren matematik okudu. FU Berlin ve 1964'ten itibaren Münster Üniversitesi 1968'de doktorasını buradan almıştır. Dieter Rödding [de ].[1][2][3] Daha sonra Münster'de asistan ve ardından profesör olarak çalıştı.[kaynak belirtilmeli ] ve 1978'den beri matematiksel mantık profesörüdür. Ludwig-Maximilians-Universität Münih[1] (halefi Kurt Schütte ).

Schwichtenberg, diğer şeylerin yanı sıra, kanıt teorisi, hesaplanabilirlik teorisi, lambda hesabı ve mantık uygulamaları bilgisayar Bilimi. O üyesidir Bavyera Bilimler Akademisi.

Seçilmiş Yayınlar

  • Helmut Schwichtenberg ve Kurt Schütte (1990). "Mathematische Logik". Gerd Fischer ve Friedrich Hirzebruch ve Winfried Scharlau ve Willi Törnig'de (ed.). Ein Jahrhundert Mathematik, 1890–1990 - Festschrift zum Jubiläum der DMV. Dokumente zur Geschichte der Mathematik (Almanca). 6. Braunschweig: Vieweg. s. 717–740. ISBN  3-528-06326-2.
  • Helmut Schwichtenberg ve Anne S. Troelstra (1996). Temel İspat Teorisi. Teorik Bilgisayar Bilimleri Cambridge Tracts. 43 (1. baskı). Cambridge: Cambridge University Press. ISBN  0-521-57223-1. (2. baskı 2000: ISBN  0-521-77911-1)
  • Helmut Schwichtenberg ve Stanley S. Wainer (2012). İspatlar ve Hesaplamalar. Cambridge: Cambridge University Press. ISBN  978-0-521-51769-0.
  • Helmut Schwichtenberg (2006). "Polinom zaman hesaplaması için bir aritmetik". Teorik Bilgisayar Bilimleri. 357 (1–3): 202–214. doi:10.1016 / j.tcs.2006.03.019.

Referanslar

  1. ^ a b c Jürgen Elstrodt ve Norbert Schmitz (Nisan 2013). "Ehemalige Professoren 1945–1969". Entwicklung der Mathematik an der Universität Münster (PDF) (Almanca'da). s. 283.
  2. ^ Helmut Schwichtenberg (1968). Eine Klassifikation der mehrfach-rekursiven Punktionen [Birden Çok Özyinelemeli İşlev Sınıflandırması] (PDF) (Doktora tezi) (Almanca). Universität Münster.
  3. ^ Helmut Schwichtenberg -de Matematik Şecere Projesi

Dış bağlantılar