Arnold Oberschelp
Arnold Oberschelp | |
---|---|
Nascimento | 5 de fevereiro de 1936 (88 anos) Recklinghausen |
Cidadania | Alemanha |
Alma mater | |
Ocupação | matemático, professor universitário |
Empregador(a) | Universidade de Quiel |
Orientador(a)(es/s) | Hans Hermes |
Arnold Oberschelp (Recklinghausen, 5 de fevereiro de 1932) é um matemático alemão, especialista em lógica. Foi professor de lógica na Universidade de Quiel.
Formação e carreira[editar | editar código-fonte]
Oberschelp estudou matemática e física na Universidade de Göttingen e na Universidade de Münster. Na Universidade de Münster obteve em dezembro de 1957 um doutorado em lógica matemática, orientado por Hans Hermes.[1][2][3][4] Em 1958 foi pesquisador assistente no Instituto de Matemática da Universidade de Hanôver, onde obteve a habilitação em matemática em 1961.[1][5] Em 1968 aceitou sua indicação como professor pleno de lógica e ciências na Universidade de Quiel. Em 1997 foi professor emérito.[6]
Em 1962 foi palestrante convidado do Congresso Internacional de Matemáticos em Estocolmo.
Publicações selecionadas[editar | editar código-fonte]
- Arnold Oberschelp (1964). «Eigentliche Klassen als Urelemente in der Mengenlehre». Mathematische Annalen. 157 (3): 234–260. doi:10.1007/BF01362438
- Arnold Oberschelp (Jun 1968). «On the Craig-Lyndon Interpolation Theorem». The Journal of Symbolic Logic. 33 (2): 271–274. JSTOR 2269873. doi:10.2307/2269873
- Arnold Oberschelp (1972). Aufbau des Zahlensystems. Col: Moderne Mathematik in elementarer Darstellung. 7 2nd ed. Göttingen: Vandenhoek+Ruprecht
- Elementare Logik und Mengenlehre I/II. Bibliographisches Institut, Mannheim/Wien/Zürich 1974/1978, ISBN 3-411-00408-8.
- Arnold Oberschelp (1980). «Prinzipien des Aufbaus von Syntax und Semantik formaler Sprachen». In: Joachim Ballweg and Hans Glinz. Grammatik und Logik — Jahrbuch 1979 des Instituts für deutsche Sprache (PDF). Col: Sprache der Gegenwart — Schriften des Instituts für deutsche Sprache. 50. Düsseldorf: Pädagogischer Verlag Schwann. pp. 9–27. ISBN 3-590-15650-3
- Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5.
- Arnold Oberschelp (1993). Rekursionstheorie. Mannheim: B.I. Wissenschaftsverlag. ISBN 978-3-411-16171-3 — Review: Petr Hájek (Jun 1996). «Review». The Journal of Symbolic Logic. 61 (2): 699–701. JSTOR 2275689
- Allgemeine Mengenlehre. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1994, ISBN 3-411-17271-1.
- Logik für Philosophen. 2nd ed., Metzler, Stuttgart/Weimar 1997, ISBN 3-476-01545-9.
Referências
- ↑ a b Registro no Banco de Dados Acadêmico da Universidade de Quiel
- ↑ Geschichte [History of Münster University], Part II "1945—1969", App.C "Mathematical Dissertations from 1945 to 1969", p.322
- ↑ Dissertation "Über die Axiome produktabgeschlossener arithmetischer Klassen [On the axioms of product-closed arithmetic classes]"
- ↑ Arnold Oberschelp (Janeiro de 1958). «Über die Axiome produktabgeschlossener arithmetischer Klassen». Archive for Mathematical Logic. 4 (3): 95–123. doi:10.1007/BF01973146 — Review: J. Weinstein (Dezembro 1967). «Review». The Journal of Symbolic Logic. 32 (4): 532–533. JSTOR 2270214. doi:10.2307/2270214
- ↑ Habilitation thesis: Arnold Oberschelp (1962). «Untersuchungen zur mehrsortigen Quantorenlogik». Mathematische Annalen. 145 (4): 297–333. doi:10.1007/BF01396685 — Review: H. Arnold Schmidt (Jun 1962). «Review». The Journal of Symbolic Logic. 27 (2): 225–226. JSTOR 2964130
- ↑ Zur Geschichte der Logik in Kiel by Otmar Spinas