https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Helmut_SchwichtenbergHelmut Schwichtenberg - Versionsgeschichte2026-06-25T04:13:21ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Helmut_Schwichtenberg&diff=2209618&oldid=previmported>Aka: https2023-12-14T22:20:10Z<p>https</p>
<p><b>Neue Seite</b></p><div>[[Datei:Schwichtenberg.png|mini|Helmut Schwichtenberg, 2022]]<br />
'''Helmut Schwichtenberg''' (* [[5. April]] [[1942]] in [[Żagań|Sagan]], [[Schlesien]]) ist ein deutscher [[Mathematische Logik|mathematischer Logiker]].<br />
<br />
Schwichtenberg studierte ab 1961 Mathematik an der [[FU Berlin]] und ab 1964 an der [[Universität Münster]], an der er 1968 bei [[Dieter Rödding]] promoviert wurde (''Eine Klassifikation der mehrfach rekursiven Funktionen'').<ref>[https://www.mathgenealogy.org/id.php?id=19415&fChrono=1 Mathematics Genealogy Project]</ref> Er war danach Assistent und dann Professor in Münster und ist seit 1978 Ordinarius für mathematische Logik an der [[Ludwig-Maximilians-Universität München]] (Nachfolge [[Kurt Schütte]]).<br />
<br />
Schwichtenberg befasst sich unter anderem mit der [[Beweistheorie]], der [[Berechenbarkeitstheorie|Theorie der Berechenbarkeit]], dem [[Lambda-Kalkül]] und mit Anwendungen der Logik in der Informatik. Das MINLOG-System, ein Beweisassistent, wurde von Schwichtenberg und seinem Team an der LMU entwickelt<ref>{{Internetquelle |url=https://www.mathematik.uni-muenchen.de/~logik/minlog/ |titel=Mathematische Logik - www.minlog-system.de |abruf=2021-10-25}}</ref>.<br />
<br />
Er ist Mitglied der [[Bayerische Akademie der Wissenschaften|Bayerischen Akademie der Wissenschaften]].<br />
<br />
== Schriften ==<br />
* mit [[Stanley S. Wainer]]: ''Proofs and Computations.'' Cambridge University Press, Cambridge u. a. 2012, ISBN 978-0-521-51769-0.<br />
* mit [[Anne S. Troelstra]]: ''Basic Proof Theory'' (= ''Cambridge Tracts in Theoretical Computer Science.'' 43). Cambridge University Press, Cambridge u. a. 1996, ISBN 0-521-57223-1 (2. Auflage. ebenda 2000, ISBN 0-521-77911-1).<br />
* mit [[Kurt Schütte]]: [https://epub.ub.uni-muenchen.de/4264/ ''Mathematische Logik.''] In: [[Gerd Fischer (Mathematiker)|Gerd Fischer]], [[Friedrich Hirzebruch]], [[Winfried Scharlau (Mathematiker)|Winfried Scharlau]], [[Willi Törnig]] (Hrsg.) ''Ein Jahrhundert Mathematik. 1890–1990. Festschrift zum Jubiläum der DMV'' (= ''Dokumente zur Geschichte der Mathematik.'' Bd. 6). Vieweg, Braunschweig u. a. 1990, ISBN 3-528-06326-2, S. 717–740.<br />
<br />
== Weblinks ==<br />
* [https://www.mathematik.uni-muenchen.de/~schwicht/ Homepage an der LMU München]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=1023588242|LCCN=n93040110|VIAF=46861987}}<br />
<br />
{{SORTIERUNG:Schwichtenberg, Helmut}}<br />
[[Kategorie:Logiker]]<br />
[[Kategorie:Mitglied der Bayerischen Akademie der Wissenschaften]]<br />
[[Kategorie:Deutscher]]<br />
[[Kategorie:Geboren 1942]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Schwichtenberg, Helmut<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=deutscher mathematischer Logiker<br />
|GEBURTSDATUM=5. April 1942<br />
|GEBURTSORT=[[Żagań|Sagan]]<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Aka