About: Helmut Schwichtenberg

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Helmut Schwichtenberg Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FHelmut_Schwichtenberg

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).

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	Helmut Schwichtenberg (de) Helmut Schwichtenberg (en) Helmut Schwichtenberg (pt)
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)
foaf:name	Helmut Schwichtenberg (en)
name	Helmut Schwichtenberg (en)
foaf:depiction
birth date	1942-04-05 (xsd:date)
dcterms:subject	1942 births Living people Free University of Berlin alumni Ludwig Maximilian University of Munich alumni University of Münster alumni German logicians
Wikipage page ID	62211423 (xsd:integer)
Wikipage revision ID	1097763519 (xsd:integer)
Link from a Wikipage to another Wikipage	University of Münster 1942 births Living people Mathematical logic Mathematics Free University of Berlin Logic Ludwig Maximilian University of Munich Computer science Żagań Free University of Berlin alumni Ludwig Maximilian University of Munich alumni University of Münster alumni Proof theory German logicians Lambda calculus Dieter Rödding FU Berlin Kurt Schütte Ludwig-Maximilians-Universität Munich Bavarian Academy of Sciences Theory of computability
Link from a Wikipage to an external page	http://www.mathematik.uni-muenchen.de/~schwicht/ https://web.archive.org/web/20191031223317/https:/pdfs.semanticscholar.org/d32c/adc7d9b9a3bce0c43ad41c8789355c10a465.pdf
sameAs	Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg Helmut Schwichtenberg
thesis title	A Classification of Multiple Recursive Functions (en)
thesis url	https://web.archive.org/web/20191031223317/https:/pdfs.semanticscholar.org/d32c/adc7d9b9a3bce0c43ad41c8789355c10a465.pdf
work institution	Ludwig Maximilian University of Munich
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_date dbt:Cite_book dbt:Cite_journal dbt:Cn dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Isbn dbt:Infobox_scientist
thumbnail	wiki-commons:Special:FilePath/Schwichtenberg.png?width=300
alma mater	University of Münster Free University of Berlin
birth date	1942-04-05 (xsd:date)
field	Mathematics Logic Proof theory
has 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)
doctoral advisor	Dieter Rödding
doctoral advisor	Dieter Rödding
prov:wasDerivedFrom	wikipedia-en:Helmut_Schwichtenberg?oldid=1097763519&ns=0
page length (characters) of wiki page	4971 (xsd:nonNegativeInteger)
academic discipline	Mathematics Logic Proof theory
alma mater	University of Münster Free University of Berlin
foaf:isPrimaryTopicOf	wikipedia-en:Helmut_Schwichtenberg

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software