A lógica matemática avançou significativamente através do desenvolvimento de uma lógica de classes geral que permite a formação de classes arbitrárias, evitando as contradições inerentes à teoria ingénua dos conjuntos. Arnold Oberschelp, um académico ativo nestas investigações fundamentais durante mais de quatro décadas, concebeu este quadro para tornar a teoria dos conjuntos de Zermelo-Fraenkel mais manejável do que as representações lógicas de predicados tradicionais permitiam.
Formação académica
Nascido em Recklinghausen em 1932, Oberschelp prosseguiu os seus estudos em física e matemática nas universidades de Göttingen e Münster. Sob a supervisão de Hans Hermes, defendeu com sucesso a sua tese de doutoramento em lógica matemática na Universidade de Münster em dezembro de 1957. Pouco depois, transferiu-se para a Escola Técnica Superior de Hannover para servir como assistente de investigação, onde completou a sua habilitação em 1961.
Contribuições para a lógica
Oberschelp foi orador convidado no Congresso Internacional de Matemáticos de 1962 em Estocolmo, onde apresentou investigação sobre o conceito de classes como elementos primários dentro da teoria dos conjuntos. Em 1968, aceitou a nomeação como professor catedrático de lógica e ciência na Universidade de Kiel. Manteve este cargo docente até à transição para o estatuto de emérito em 1997. Para além das suas funções em sala de aula, serviu como presidente da Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften de 1970 a 1976.
Normalização e reconhecimento
A sua produção académica incluiu vários livros de texto e monografias sobre teoria da recursão, lógica de classes e teoria elementar dos conjuntos. Em reconhecimento do seu impacto a longo prazo nas bases técnicas da matemática e das suas contribuições para o campo da normalização, o Instituto Alemão de Normalização concedeu-lhe a Moeda Comemorativa Beuth em setembro de 2019. Oberschelp manteve a sua associação com a comunidade matemática de Kiel até à sua morte em Heikendorf, a 31 de agosto de 2024, aos 92 anos.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Factos rápidos
- Nascimento: 1932, Recklinghausen - Falecimento: 2024, Heikendorf - Área: Lógica e fundamentos - Orientador de doutoramento: Hans Hermes - Empregador principal: Universidade de Kiel - Prémio: Moeda Comemorativa Beuth (2019)
Perguntas frequentes
### Qual foi o foco principal da investigação de Oberschelp?
Concentrou-se na lógica matemática, desenvolvendo especificamente uma lógica de classes geral para superar as contradições na teoria ingénua dos conjuntos.
### Onde passou a maior parte da sua carreira académica?
Serviu como professor de lógica e ciência na Universidade de Kiel de 1968 até à sua reforma em 1997.
