La logica matematica ha fatto passi da gigante grazie allo sviluppo di una logica delle classi generale che consente la formazione di classi arbitrarie evitando le contraddizioni intrinseche alla teoria ingenua degli insiemi. Arnold Oberschelp, studioso attivo in queste indagini fondamentali per oltre quattro decenni, ha progettato questo quadro per rendere la teoria degli insiemi di Zermelo-Fraenkel più gestibile di quanto consentissero le tradizionali rappresentazioni logiche dei predicati.
Formazione accademica
Nato a Recklinghausen nel 1932, Oberschelp ha studiato fisica e matematica presso le università di Gottinga e Münster. Sotto la supervisione di Hans Hermes, ha difeso con successo la sua tesi di dottorato in logica matematica all'Università di Münster nel dicembre 1957. Poco dopo, si è trasferito alla Scuola Tecnica Superiore di Hannover come assistente di ricerca, dove ha completato l'abilitazione nel 1961.
Contributi alla logica
Oberschelp è stato relatore invitato al Congresso Internazionale dei Matematici del 1962 a Stoccolma, dove ha presentato una ricerca sul concetto di classi come elementi primari all'interno della teoria degli insiemi. Nel 1968, ha accettato la nomina a professore ordinario di logica e scienza presso l'Università di Kiel. Ha mantenuto questo ruolo accademico fino al passaggio allo status di emerito nel 1997. Oltre ai suoi doveri didattici, ha servito come presidente della Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften dal 1970 al 1976.
Standardizzazione e riconoscimento
La sua produzione accademica ha incluso vari libri di testo e monografie sulla teoria della ricorsione, la logica delle classi e la teoria elementare degli insiemi. In riconoscimento del suo impatto a lungo termine sulle basi tecniche della matematica e dei suoi contributi al campo della standardizzazione, l'Istituto tedesco per la normalizzazione gli ha conferito la medaglia commemorativa Beuth nel settembre 2019. Oberschelp ha mantenuto il suo legame con la comunità matematica di Kiel fino alla sua morte a Heikendorf il 31 agosto 2024, all'età di 92 anni.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Fatti in breve
- Nato: 1932, Recklinghausen - Deceduto: 2024, Heikendorf - Campo: Logica e fondamenti - Relatore di dottorato: Hans Hermes - Datore di lavoro principale: Università di Kiel - Premio: Medaglia commemorativa Beuth (2019)
Domande frequenti
### Qual è stato il focus principale della ricerca di Oberschelp?
Si è concentrato sulla logica matematica, sviluppando specificamente una logica delle classi generale per superare le contraddizioni nella teoria ingenua degli insiemi.
### Dove ha trascorso la maggior parte della sua carriera accademica?
È stato professore di logica e scienza presso l'Università di Kiel dal 1968 fino al suo pensionamento nel 1997.
