Helmut Schwichtenberg

Helmut Schwichtenberg (nacido el 5 de abril de 1942 ^[2] ) es un lógico matemático alemán .

Schwichtenberg estudió matemáticas desde 1961 en la Universidad Libre de Berlín y desde 1964 en la Universidad de Münster , donde se doctoró en 1968 de manos de Dieter Rödding . ^[2]^[3]^[4] Trabajó luego como asistente y luego como profesor en Münster, ^[5] y desde 1978 es profesor de lógica matemática en la Ludwig-Maximilians-Universität Munich ^[2] (sucesor de Kurt Schütte ).

Publicaciones seleccionadas

Helmut Schwichtenberg y Kurt Schütte (1990). "Lógica matemática". 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). vol. 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 in Theoretical Computer Science. Vol. 43 (1.ª ed.). Cambridge: Cambridge University Press. ISBN 0-521-57223-1.(2ª edición 2000: ISBN 0-521-77911-1 )

Helmut Schwichtenberg y Stanley S. Wainer (2012). Demostraciones y cálculos . Cambridge: Cambridge University Press. ISBN 978-0-521-51769-0.

Helmut Schwichtenberg (2006). "Una aritmética para el cálculo en tiempo polinomial". Ciencias Informáticas Teóricas . 357 (1–3): 202–214. doi :10.1016/j.tcs.2006.03.019.

^ Ulrich Berger, Hannes Diener, Peter Schuster y Monika Seisenberger (2012). "Prefacio". Lógica, Construcción, Computación. págs. 2–4. doi :10.1515/9783110324921.2. ISBN 978-3-11-032453-2.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
^ abc Jürgen Elstrodt y Norbert Schmitz (abril de 2013). "Profesores Ehemalige 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). Universidad de 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
^ ab Fritsch, 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 Múnich . Consultado el 22 de mayo de 2024 .