Movatterモバイル変換

[0]ホーム
URL:

Jump to content
WikipediaThe Free Encyclopedia
Search

Helmut Schwichtenberg

From Wikipedia, the free encyclopedia
German mathematician and logician

Helmut Schwichtenberg
Born (1942-04-05)5 April 1942 (age 83)
Żagań, Poland[1]
Alma materFree University of Berlin,University of Münster
Scientific career
FieldsLogic,Proof theory,Mathematics
InstitutionsLudwig Maximilian University of Munich
ThesisA Classification of Multiple Recursive Functions
Doctoral advisorDieter Rödding
From left:Yiannis Moschovakis, Helmut Schwichtenberg,Anne Sjerp Troelstra, 2002 at theMFO

Helmut Schwichtenberg (born 5 April 1942[2]) is a Germanmathematical logician.

Schwichtenberg studied mathematics from 1961 at theFree University of Berlin and from 1964 at theUniversity of Münster, where he received his doctorate in 1968 fromDieter Rödding.[2][3][4] He then worked as an assistant and then as a professor in Münster,[5] and since 1978 has been professor of mathematical logic at theLudwig-Maximilians-Universität Munich[2] (successor ofKurt Schütte).

Schwichtenberg deals with, among other things,proof theory,theory of computability,lambda calculus and applications of logic incomputer science. He is a member of theBavarian Academy of Sciences.[5]

Selected publications

[edit]
  • Helmut Schwichtenberg and 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 (in German). Vol. 6. Braunschweig: Vieweg. pp. 717–740.ISBN 3-528-06326-2.
  • Helmut Schwichtenberg and Anne S. Troelstra (1996).Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science. Vol. 43 (1st ed.). Cambridge: Cambridge University Press.ISBN 0-521-57223-1. (2nd edition 2000:ISBN 0-521-77911-1)
  • Helmut Schwichtenberg and Stanley S. Wainer (2012).Proofs and Computations. Cambridge: Cambridge University Press.ISBN 978-0-521-51769-0.
  • Helmut Schwichtenberg (2006). "An arithmetic for polynomial-time computation".Theoretical Computer Science.357 (1–3):202–214.doi:10.1016/j.tcs.2006.03.019.

References

[edit]
  1. ^Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger (2012). "Preface".Logic, Construction, Computation. pp. 2–4.doi:10.1515/9783110324921.2.ISBN 978-3-11-032453-2.{{cite book}}: CS1 maint: multiple names: authors list (link)
  2. ^abcJürgen Elstrodt and Norbert Schmitz (April 2013). "Ehemalige Professoren 1945–1969".Entwicklung der Mathematik an der Universität Münster(PDF) (in German). p. 283.
  3. ^Helmut Schwichtenberg (1968).Eine Klassifikation der mehrfach-rekursiven Punktionen [A Classification of Multiple Recursive Functions](PDF) (Ph.D. thesis) (in German). Universität Münster.S2CID 17197421. Archived fromthe original(PDF) on 31 October 2019.
  4. ^Helmut Schwichtenberg at theMathematics Genealogy Project
  5. ^abFritsch, Rudolf; Hauber, Rudolf, eds. (2000)."Prof. Dr. Helmut Schwichtenberg".25 Jahre Fakultät für Mathematik Das Mathematische Institut 1971 – 1996: Jubiläumsfestschrift des Mathematischen Instituts der Ludwig-Maximilians-Universität München. LMU Munich. Retrieved22 May 2024.

External links

[edit]
International
National
Academics
People
Other
Retrieved from "https://en.wikipedia.org/w/index.php?title=Helmut_Schwichtenberg&oldid=1275690497"
Categories:
Hidden categories:
[8]ページ先頭
©2009-2025 Movatter.jp