Arnold Oberschelp (nacido el 5 de febrero de 1932 en Recklinghausen ) es un matemático y lógico alemán . Fue durante muchos años profesor de lógica y teoría de la ciencia [ aclarar ] en Kiel .
La vida
Oberschelp estudió matemáticas y física en las universidades de Göttingen y Münster . En Münster recibió en diciembre de 1957 su doctorado en lógica matemática con Hans Hermes . [1] [2] [3] [4] En 1958 fue asistente de investigación en el Instituto de Matemáticas de la Escuela Técnica de Hannover (ahora Universidad Leibniz de Hannover ) donde se habilitó en matemáticas en 1961. [1] [5] En 1968, aceptó un nombramiento como profesor titular de lógica y ciencia en la Universidad de Kiel . Oberschelp es profesor emérito desde 1997 [6].
Arnold Oberschelp desarrolló una lógica de clases general en la que se pueden formar clases arbitrarias sin las contradicciones de la teoría de conjuntos ingenua . Los axiomas adicionales dan como resultado la teoría de conjuntos de Zermelo-Fraenkel , que es mucho más útil en su representación lógica de clases que en la representación lógica de predicados habitual . [7]
En 1962 dio una conferencia como orador invitado en el Congreso Internacional de Matemáticos en Estocolmo sobre las clases como "elementos primordiales" en la teoría de conjuntos.
De 1970 a 1976 fue presidente de la Deutsche Vereinigung für Mathische Logik und für Grundlagenforschung der exakten Wissenschaften , [8] en cuya junta se desempeñó de 1965 a 1978.
En septiembre de 2019, recibió la moneda conmemorativa Beuth del Instituto Alemán de Normalización en reconocimiento a sus servicios a la normalización en matemáticas y fundamentos técnicos. [9]
Trabajos seleccionados
- Arnold Oberschelp (1964). "Eigentliche Klassen als Urelemente in der Mengenlehre" . Mathematische Annalen . 157 (3): 234–260. doi : 10.1007 / BF01362438 . S2CID 122569882 .
- Arnold Oberschelp (junio de 1968). "Sobre el teorema de interpolación de Craig-Lyndon". El diario de la lógica simbólica . 33 (2): 271-274. doi : 10.2307 / 2269873 . JSTOR 2269873 .
- Arnold Oberschelp (1972). Aufbau des Zahlensystems . Moderne Mathematik en elementarer Darstellung. 7 (2ª ed.). Gotinga: 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". En Joachim Ballweg y Hans Glinz (ed.). Grammatik und Logik - Jahrbuch 1979 des Instituts für deutsche Sprache (PDF) . Sprache der Gegenwart - Schriften des Instituts für deutsche Sprache. 50 . Düsseldorf: Pädagogischer Verlag Schwann. págs. 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: BI Wissenschaftsverlag. ISBN 978-3-411-16171-3.- Revisión:Petr Hájek (junio de 1996). "Revisar". El diario de la lógica simbólica . 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 . 2a ed., Metzler, Stuttgart / Weimar 1997, ISBN 3-476-01545-9 .
Referencias
- ^ a b Registro en la base de datos académica de la Universidad de Kiel
- ^ Geschichte [Historia de la Universidad de Münster], Parte II "1945-1969", App . C "Disertaciones matemáticas de 1945 a 1969" , p.322
- ^ Disertación "Über die Axiome produktabgeschlossener arithmetischer Klassen [Sobre los axiomas de clases aritméticas cerradas por productos]"
- ^ Arnold Oberschelp (enero de 1958). "Über die Axiome produktabgeschlossener arithmetischer Klassen" . Archivo de lógica matemática . 4 (3): 95-123. doi : 10.1007 / BF01973146 . S2CID 119721234 .- Revisión:J. Weinstein (diciembre de 1967). "Revisar". El diario de la lógica simbólica . 32 (4): 532–533. doi : 10.2307 / 2270214 . JSTOR 2270214 .
- ^ Tesis de habilitación:Arnold Oberschelp (1962). "Untersuchungen zur mehrsortigen Quantorenlogik" . Mathematische Annalen . 145 (4): 297–333. doi : 10.1007 / BF01396685 . S2CID 123363080 .- Revisión:H. Arnold Schmidt (junio de 1962). "Revisar". El diario de la lógica simbólica . 27 (2): 225–226. JSTOR 2964130 .
- ^ Zur Geschichte der Logik en Kiel por Otmar Spinas
- ^ Gegenüberstellung von ZFC en klassenlogischer und prädikatenlogischer Form [Comparación de ZFC en la lógica de clases frente a la forma lógica de predicados], en: Oberschelp, Allgemeine Mengenlehre, 1994, p. 261
- ^ traducido: Asociación Alemana de Lógica Matemática e Investigación Fundamental en Ciencias Exactas
- ^ Verleihung der Beuth-Denkmünze an Herrn Dr. rer. nat. Arnold Oberschelp (incluye una foto de 2019)
enlaces externos
- Literatura de y sobre Arnold Oberschelp en el catálogo de la Biblioteca Nacional Alemana
- "Profesor Oberschelp an der Universität von Kiel" . Archivado desde el original el 29 de septiembre de 2007.