Helmut Schwichtenberg - Helmut Schwichtenberg
Helmut Schwichtenberg (nacido el 5 de abril de 1942 en Żagań ) es un lógico matemático alemán .
Schwichtenberg estudió matemáticas desde 1961 en la FU Berlín y desde 1964 en la Universidad de Münster , donde se doctoró en 1968 en Dieter Rödding . Luego trabajó como asistente y luego como profesor en Münster, y desde 1978 ha sido profesor de lógica matemática en la Ludwig-Maximilians-Universität Munich (sucesor de Kurt Schütte ).
Schwichtenberg se ocupa, entre otras cosas, de la teoría de la prueba , la teoría de la computabilidad , el cálculo lambda y las aplicaciones de la lógica en la informática . Es miembro de la Academia de Ciencias de Baviera .
Publicaciones Seleccionadas
- Helmut Schwichtenberg y Kurt Schütte (1990). "Mathematische Logik". En Gerd Fischer y Friedrich Hirzebruch y Winfried Scharlau y Willi Törnig (ed.). Ein Jahrhundert Mathematik, 1890–1990 - Festschrift zum Jubiläum der DMV . Dokumente zur Geschichte der Mathematik (en alemán). 6 . Braunschweig: Vieweg. págs. 717–740. ISBN 3-528-06326-2.
- Helmut Schwichtenberg y Anne S. Troelstra (1996). Teoría básica de la prueba . Cambridge Tracts en Informática Teórica. 43 (1ª ed.). Cambridge: Cambridge University Press. ISBN 0-521-57223-1.(2da edición 2000: ISBN 0-521-77911-1 )
- Helmut Schwichtenberg y Stanley S. Wainer (2012). Pruebas y cálculos . Cambridge: Cambridge University Press. ISBN 978-0-521-51769-0.
- Helmut Schwichtenberg (2006). "Una aritmética para el cálculo de tiempo polinomial" . Informática Teórica . 357 (1-3): 202-214. doi : 10.1016 / j.tcs.2006.03.019 .