La lógica matemática avanzó significativamente gracias al desarrollo de una lógica de clases general que permite la formación de clases arbitrarias evitando las contradicciones inherentes a la teoría de conjuntos ingenua. Arnold Oberschelp, un académico activo en estas investigaciones fundamentales durante más de cuatro décadas, diseñó este marco para hacer que la teoría de conjuntos de Zermelo-Fraenkel fuera más manejable de lo que permitían las representaciones lógicas de predicados tradicionales.
Formación académica
Nacido en Recklinghausen en 1932, Oberschelp cursó estudios de física y matemáticas en las universidades de Gotinga y Münster. Bajo la supervisión de Hans Hermes, defendió con éxito su tesis doctoral en lógica matemática en la Universidad de Münster en diciembre de 1957. Poco después, se trasladó a la Escuela Técnica Superior de Hannover para trabajar como asistente de investigación, donde completó su habilitación en 1961.
Contribuciones a la lógica
Oberschelp fue ponente invitado en el Congreso Internacional de Matemáticos de 1962 en Estocolmo, donde presentó una investigación sobre el concepto de clases como elementos primarios dentro de la teoría de conjuntos. En 1968, aceptó un nombramiento como profesor titular de lógica y ciencia en la Universidad de Kiel. Mantuvo este cargo docente hasta su jubilación como emérito en 1997. Además de sus labores docentes, presidió la Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften entre 1970 y 1976.
Estandarización y reconocimiento
Su producción académica incluyó diversos libros de texto y monografías sobre teoría de la recursión, lógica de clases y teoría elemental de conjuntos. En reconocimiento a su impacto a largo plazo en los fundamentos técnicos de las matemáticas y sus contribuciones al campo de la estandarización, el Instituto Alemán de Normalización le otorgó la Moneda Conmemorativa Beuth en septiembre de 2019. Oberschelp mantuvo su vinculación con la comunidad matemática de Kiel hasta su fallecimiento en Heikendorf el 31 de agosto de 2024, a los 92 años.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos rápidos
- Nacimiento: 1932, Recklinghausen - Fallecimiento: 2024, Heikendorf - Campo: Lógica y fundamentos - Director de tesis: Hans Hermes - Empleador principal: Universidad de Kiel - Premio: Moneda Conmemorativa Beuth (2019)
Preguntas frecuentes
### ¿Cuál fue el enfoque principal de la investigación de Oberschelp?
Se centró en la lógica matemática, desarrollando específicamente una lógica de clases general para superar las contradicciones de la teoría de conjuntos ingenua.
### ¿Dónde desarrolló la mayor parte de su carrera académica?
Fue profesor de lógica y ciencia en la Universidad de Kiel desde 1968 hasta su jubilación en 1997.
