Mathematiker im Heidelberger Gelehrtenlexikon: Helmut Schwichtenberg

Schwichtenberg, Helmut

1974-1978  Fak. für Mathematik

Math. Logik

*	05. Apr. 1942 Sagan (Schlesien; heute: Zagan, Polen) ev.

Lb   Seit SS 1961 Stud. der Mathematik an FU Berlin, U Münster.
U Münster: 1968 Dr.rer.nat; 1968-1974 Wiss. Assistent; Sept. 1971-Juli 1972 Visiting Scholar an Stanford U (Kalifornien); 1974 Habilitation für Mathematik.
UH: 1974-1978 Wiss. Rat und Prof. (AH 3) an Fachgruppe Mathematik.
U München: Seit 1978 o. Prof. für Mathematik; Sept.-Dez. 2000 Gastprof. an Stanford U.

Seit 2001 Mitgl. des Wiss. Beirats des Mathematischen Forschungsinstituts Oberwolfach.

E   1986 Mitgl. der Bayerischen Akademie der Wissenschaften.

Qu   Eigene Angaben. — UAH PA 8752.

W   Auswahlbibliographie im UAH. — Definierbare Funktionen im Lambda-Kalkül mit Typen in: Archiv für Mathematische Logik und Grundlagenforschung 17 (1976) S. 113 f. — S., H., Berger, Ulrich: An Inverse of the Evaluation Functional for typed Lambda-calculus in: Proceedings 6th Symposium on Logic in Computer Science (1991) S. 203-211. — S., H., Troelstra, Anne S.: Basic Proof Theory. 2. Aufl. Cambridge 2000. — S., H., Berger, Ulrich, Buchholz, Wilfried: Refined Program Extraction from Classical Proofs in: Annals of Pure and Applied Logic 114 (2002) S. 3-25.
HG   Seit 1983 Studies in Proof Theory.
MHG   1983-1989 Annals of Pure and Applied Logic. — Seit 1985 Archive for Mathematical Logic.

L   Fritsch, Rudolf: Ansprache zürn 60. Geb. des Dekans der Fakultät für Mathematik … H. S. beim Festkolloquium am 6. Apr. 2002 [in München]. — Festschrift on the occasion of H. S.'s 60th birthday. Edited by W. Buchholz and R. Kahle in: Annals of Pure and Applied Logic 133 (May 2005). — Kürschner (2007).

P   Bildersammlung UAH.

Abkürzungsverzeichnis

Zur Inhaltsübersicht     Historia Mathematica Heidelbergensis       Homo Heidelbergensis       Heidelberger Gelehrtenlexikon