Helmut Schwichtenberg (original) (raw)

dbo:abstract

Helmut Schwichtenberg (* 5. April 1942 in Sagan, Schlesien) ist ein deutscher mathematischer Logiker. 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). 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). Schwichtenberg befasst sich unter anderem mit der Beweistheorie, der 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. Er ist Mitglied der Bayerischen Akademie der Wissenschaften. (de)
Helmut Schwichtenberg (born 5 April 1942 in Żagań) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the FU Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from Dieter Rödding. He then worked as an assistant and then as a professor in Münster, and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich (successor of Kurt Schütte). Schwichtenberg deals with, among other things, proof theory, theory of computability, lambda calculus and applications of logic in computer science. He is a member of the Bavarian Academy of Sciences. (en)
Helmut Schwichtenberg (Żagań, Silésia, 5 de abril de 1942) é um matemático alemão. (pt)

dbo:academicDiscipline

dbo:almaMater

dbo:birthDate

1942-04-05 (xsd:date)

dbo:doctoralAdvisor

dbr:Dieter_Rödding

dbo:thumbnail

wiki-commons:Special:FilePath/Schwichtenberg.png?width=300

dbo:wikiPageExternalLink

dbo:wikiPageID

62211423 (xsd:integer)

dbo:wikiPageLength

4971 (xsd:nonNegativeInteger)

dbo:wikiPageRevisionID

1097763519 (xsd:integer)

dbo:wikiPageWikiLink

dbp:almaMater

dbp:birthDate

1942-04-05 (xsd:date)

dbp:doctoralAdvisor

dbr:Dieter_Rödding

dbp:field

dbp:name

Helmut Schwichtenberg (en)

dbp:thesisTitle

A Classification of Multiple Recursive Functions (en)

dbp:thesisUrl

https://web.archive.org/web/20191031223317/https:/pdfs.semanticscholar.org/d32c/adc7d9b9a3bce0c43ad41c8789355c10a465.pdf

dbp:wikiPageUsesTemplate

dbp:workInstitution

dbr:Ludwig_Maximilian_University_of_Munich

dct:subject

rdf:type

rdfs:comment

Helmut Schwichtenberg (Żagań, Silésia, 5 de abril de 1942) é um matemático alemão. (pt)
Helmut Schwichtenberg (born 5 April 1942 in Żagań) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the FU Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from Dieter Rödding. He then worked as an assistant and then as a professor in Münster, and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich (successor of Kurt Schütte). (en)
Helmut Schwichtenberg (* 5. April 1942 in Sagan, Schlesien) ist ein deutscher mathematischer Logiker. 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). 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). Er ist Mitglied der Bayerischen Akademie der Wissenschaften. (de)

rdfs:label