Arnold Oberschelp (Recklinghausen, — Heikendorf (Kiel), 31 de agosto de 2024) foi um matemático alemão, especialista em lógica. Foi professor de lógica na Universidade de Kiel.Kiel Directory of Scholars: «Arnold Oberschelp».
Biografia Arnold 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.Registro no Banco de Dados Acadêmico da Universidade de QuielGeschichte [History of Münster University], Part II "1945—1969", App.C "Mathematical Dissertations from 1945 to 1969", p.322Dissertation "Über die Axiome produktabgeschlossener arithmetischer Klassen [On the axioms of product-closed arithmetic classes]" — Review:
Em 1958 foi nomeado investigador assistente no Instituto de Matemática da Technische Hochschule Hannover (atualmente a Universidade Gottfried Wilhelm Leibniz de Hannover ou Gottfried Wilhelm Leibniz Universität Hannover), onde obteve a habilitação em matemática em 1961.Habilitation thesis: — Review: Em 1968 aceitou sua nomeação como professor catedrático de Lógica e Epistemologia na Universidade de Kiel, onde em 1997 passou a professor emérito.Zur Geschichte der Logik in Kiel por Otmar Spinas.
Arnold Oberschelp desenvolveu uma lógica geral de classes na qual podem ser formadas classes arbitrárias sem as contradições básicas da teoria dos conjuntos. Os axiomas adicionais resultam na teoria dos conjuntos de Zermelo-Fraenkel, que é muito mais útil na representação lógica de classes do que na representação lógica de predicados habitual.Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer Form [Comparison of ZFC in class logic vs. predicate logic form], in: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
Em 1962 foi palestrante convidado do Congresso Internacional de Matemáticos em Estocolmo tendo como tema as classes como elementos primordiais na teoria dos conjuntos.
De 1970 a 1976, foi presidente da Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften, a Associação Alemã para a Lógica Matemática e a Investigação Fundamental nas Ciências Exactas, em cuja direção serviu de 1965 a 1978.
Em setembro de 2019, recebeu a Moeda Memorial Beuth do Instituto Alemão de Normalização em reconhecimento dos seus serviços à normalização em matemática e técnicas fundamentais.Verleihung der Beuth-Denkmünze an Herrn Dr. rer. nat. Arnold Oberschelp (inclui uma fotografia de 2019).
Publicações selecionadas Entre muitas outras, é autor das seguintes publicações:
Elementare Logik und Mengenlehre I/II. Bibliographisches Institut, Mannheim/Wien/Zürich 1974/1978, .
Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, . — Review: Allgemeine Mengenlehre. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1994, . Logik für Philosophen. 2nd ed., Metzler, Stuttgart/Weimar 1997, . Referências
Ligações externas
Categoria:Especialistas em teoria dos conjuntos Categoria:Professores da Universidade de Quiel Categoria:Matemáticos da Alemanha do século XX Categoria:Alunos da Universidade de Göttingen Categoria:Alunos da Universidade de Münster Categoria:Professores da Universidade de Hanôver