Helmut Schwichtenberg (nacido el 5 de abril de 1942 [1] en Żagań ) [ cita requerida ] 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 . [1] [2] [3] Luego trabajó como asistente y luego como profesor en Münster, [ cita requerida ] y desde 1978 ha sido profesor de lógica matemática en la Ludwig-Maximilians-Universität Munich [1] (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. (2a 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 .
Referencias
- ^ a b c Jürgen Elstrodt y Norbert Schmitz (abril de 2013). "Ehemalige Professoren 1945-1969". Entwicklung der Mathematik an der Universität Münster (PDF) (en alemán). pag. 283.
- ^ Helmut Schwichtenberg (1968). Eine Klassifikation der mehrfach-rekursiven Punktionen [ Una clasificación de funciones recursivas múltiples ] (PDF) (tesis doctoral) (en alemán). Universität Münster. S2CID 17197421 . Archivado desde el original (PDF) el 31 de octubre de 2019.
- ^ Helmut Schwichtenberg en el Proyecto de genealogía matemática