Arnold Oberschelp
Arnold Oberschelp (born February 5, 1932 in Recklinghausen ) is a German mathematician and logician and was for many years professor of logic and science in Kiel.
Life
Oberschelp studied mathematics and physics at the universities of Göttingen and Münster . In Münster he did his doctorate in mathematical logic with Hans Hermes . In 1958 he was a research assistant at the Mathematical Institute of the Technical University of Hanover . In 1961 he completed his habilitation in mathematics. In 1968 he accepted a position as a full professor for logic and science at the Christian Albrechts University in Kiel . Oberschelp has been retired since 1997 .
Arnold Oberschelp developed a general class logic in which any class can be formed without the contradictions of naive set theory. Additional axioms result from the Zermelo-Fraenkel set theory , which, however, is much more manageable in its class-logic representation than the usual predicate logic representation.
"A class logic language corresponds to the mathematical language actually used far better than a predicate logic language."
In 1962 he gave a lecture as an invited speaker at the International Congress of Mathematicians in Stockholm on classes as "primordial elements" in set theory .
From 1970 to 1976 he was chairman of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences , on whose board he was from 1965 to 1978.
literature
- Investigations on multi-sort quantifier logic. In: Mathematical Annals . Volume 145, No. 4, 1962, pp. 297-333.
- Actual classes as primordial elements in set theory . In: Mathematical Annals . Vol. 157 (1964), pp. 234-260.
- Structure of the number system , Vandenhoeck & Ruprecht, 1968
- Elementary logic and set theory I / II . Bibliographical Institute, Mannheim / Vienna / Zurich 1974/1978, ISBN 3-411-00408-8 .
- Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Class logic . Bibliographical Institute, Mannheim / Vienna / Zurich 1983, ISBN 3-411-01634-5 .
- General set theory . BI-Wiss.-Verlag, Mannheim / Leipzig / Vienna / Zurich 1994, ISBN 3-411-17271-1 .
- Logic for philosophers . 2nd Edition. Metzler, Stuttgart / Weimar 1997, ISBN 3-476-01545-9 .
Web links
- Literature by and about Arnold Oberschelp in the catalog of the German National Library
- Professor Oberschelp at the University of Kiel ( Memento from September 29, 2007 in the Internet Archive )
Individual evidence
- ↑ On the history of logic in Kiel by O. Spinas
- ↑ Comparison of ZFC in class-logical and predicate-logical form in: Oberschelp, Allgemeine Gruppelehre, 1994, p. 261
| personal data | |
|---|---|
| SURNAME | Oberschelp, Arnold |
| BRIEF DESCRIPTION | German mathematician, logician and university professor |
| DATE OF BIRTH | February 5, 1932 |
| PLACE OF BIRTH | Recklinghausen |