La logique mathématique a progressé de manière significative grâce au développement d'une logique de classes générale qui permet la formation de classes arbitraires tout en évitant les contradictions inhérentes à la théorie naïve des ensembles. Arnold Oberschelp, chercheur actif dans ces recherches fondamentales pendant plus de quatre décennies, a conçu ce cadre pour rendre la théorie des ensembles de Zermelo-Fraenkel plus maniable que ne le permettaient les représentations logiques des prédicats traditionnelles.
Parcours académique
Né à Recklinghausen en 1932, Oberschelp a poursuivi ses études en physique et en mathématiques aux universités de Göttingen et de Münster. Sous la direction de Hans Hermes, il a soutenu avec succès sa thèse de doctorat en logique mathématique à l'Université de Münster en décembre 1957. Peu après, il a rejoint l'École technique supérieure de Hanovre en tant qu'assistant de recherche, où il a obtenu son habilitation en 1961.
Contributions à la logique
Oberschelp a été conférencier invité au Congrès international des mathématiciens de 1962 à Stockholm, où il a présenté des recherches sur le concept de classes en tant qu'éléments primaires au sein de la théorie des ensembles. En 1968, il a accepté un poste de professeur titulaire de logique et de science à l'Université de Kiel. Il a occupé ce poste jusqu'à son passage au statut d'émérite en 1997. Au-delà de ses fonctions d'enseignement, il a présidé la Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften de 1970 à 1976.
Standardisation et reconnaissance
Sa production académique comprend divers manuels et monographies sur la théorie de la récursion, la logique des classes et la théorie élémentaire des ensembles. En reconnaissance de son impact durable sur les fondements techniques des mathématiques et de ses contributions au domaine de la normalisation, l'Institut allemand de normalisation lui a décerné la médaille commémorative Beuth en septembre 2019. Oberschelp a maintenu ses liens avec la communauté mathématique de Kiel jusqu'à son décès à Heikendorf le 31 août 2024, à l'âge de 92 ans.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits marquants
- Naissance : 1932, Recklinghausen - Décès : 2024, Heikendorf - Domaine : Logique et fondements - Directeur de thèse : Hans Hermes - Employeur principal : Université de Kiel - Distinction : Médaille commémorative Beuth (2019)
Questions fréquentes
### Quel était l'objectif principal des recherches d'Oberschelp ?
Il s'est concentré sur la logique mathématique, en développant spécifiquement une logique de classes générale pour surmonter les contradictions de la théorie naïve des ensembles.
### Où a-t-il passé la majeure partie de sa carrière académique ?
Il a été professeur de logique et de science à l'Université de Kiel de 1968 jusqu'à sa retraite en 1997.
