Wilhelm Ackermann (matemático)

Wilhelm Ackermann (aprox. 1935)

Wilhelm Friedrich Ackermann (nascido em 29 de março de 1896 em Schönebecke (Herscheid) , † 24 de dezembro de 1962 em Lüdenscheid ) foi um matemático alemão .

Vida

Ackermann estudou matemática, física e filosofia na Universidade de Göttingen de 1914 a 1924, com interrupções devido à participação na Primeira Guerra Mundial . Ele foi aluno de David Hilbert em Göttingen e ficou famoso pela função de Ackermann que leva o seu nome , um exemplo de função recursiva que não é primitiva-recursiva .

Em 1924 ele recebeu seu doutorado de Hilbert com a tese "Justificação do 'tertium non datur' usando a teoria da consistência de Hilbert". Ele então recebeu uma bolsa de pesquisa de três anos que lhe permitiu ficar em Cambridge .

Em 1925, ele descobriu a função de Ackermann que leva seu nome , que é importante para a ciência da computação teórica hoje.

Em 1928 ele completou seu serviço preparatório para lecionar em escolas secundárias em Göttingen . Ele então trabalhou por um ano na então Konrad-Schlaun-Oberrealschule em Münster . De 1929 a 1948, ele lecionou na escola secundária Arnoldinum em Burgsteinfurt e, em 1935, foi promovido a membro do corpo docente. Em 1 de maio de 1933, ele ingressou no NSDAP (número de membro 2.167.324) e foi membro do NSLB e do NSV . Em julho de 1933, ele também escreveu relatórios sobre a confiabilidade política de seus colegas. Em 1948 ele voltou para sua cidade natal Lüdenscheid , onde lecionou no Geschwister-Scholl-Gymnasium até 1961 . Em 1957, ele foi promovido a professor sênior de matemática lá.

Ele foi membro correspondente da Academia de Ciências de Göttingen e professor honorário da Universidade Westphalian Wilhelms de Münster . Em 1962, Ackermann foi um dos sete membros fundadores da Associação Alemã de Lógica Matemática e Fundamentos de Ciências Exatas (DVMLG).

Junto com David Hilbert, ele escreveu o livro Basics of Theoretical Logic em 1928 . Em vista da idade avançada de Hilbert na época, ele foi o autor principal. Ele também se tornou conhecido por meio de seu trabalho sobre o problema de decisão da lógica de predicados , a consistência da teoria dos números elementares e a teoria dos conjuntos . Em particular, ele criou a teoria dos conjuntos de Ackermann em 1955 .

Ele morreu inesperadamente aos 66 anos de idade em 24 de dezembro de 1962. Três dias antes, ele estava dando uma palestra sobre pesquisa matemática básica na Universidade Westphalian Wilhelms em Münster. Em Münster, ele deu aulas regulares sobre lógica matemática e os fundamentos da matemática na cadeira chefiada por Hans Hermes .

Constance Reid dá uma resposta à pergunta por que Ackermann não embarcou em uma carreira universitária :

“Hilbert era totalmente contra o casamento para jovens cientistas de qualquer maneira. [...] Mais tarde, quando Wilhelm Ackermann, com quem havia trabalhado e colaborado em um livro, se casou, Hilbert ficou muito zangado. Ele se recusou a fazer qualquer coisa para promover a carreira de Ackermann. "

Oralmente, a seguinte declaração é passada de Hilbert:

“Oh, isso é maravilhoso. Esta é uma boa notícia para mim. Porque se esse homem é tão louco a ponto de se casar e até ter um filho, estou livre de qualquer obrigação de fazer algo por ele. "

Ackermann ensinava 26 horas por semana no Arnoldinum no verão de 1929 e era até mesmo o único professor de matemática lá às vezes. No obituário do Arnoldinum está escrito:

"Conselheiro Estudante Sênior, Dr. Ackermann não era apenas um professor amplamente respeitado e popular, ele também era um cientista mundialmente famoso. "

Durante seus estudos em Göttingen, ele conheceu Fritz Lettenmeyer (1891–1953), que continuou a estudar por quatro semestres em Göttingen de 1920–1922. O apaixonado alpinista Lettenmeyer cruzou o cume Huderbankspitze - Kaiserkopf - Hochglück com Ackermann com pernoite em Lamsenjochhütte .

Fontes

literatura

  • Gottwald, Ilgauds, Schlote: Lexicon of important mathematicians . 1990, p. 12 f.
  • Constance Reid: Hilbert. Springer 1970, pág. 173.
  • Dieter Remus: Wilhelm Ackermann e a matemática. In: Albert Röser: Retratos de quatro séculos. Arnoldinum Steinfurt 1588–1988, Steinfurter Schriften11, Steinfurt 1988, pp. 185–203.
  • Dieter Remus: Professor Wilhelm Ackermann, professor do Arnoldinum e pesquisador em matemática. Em: 400 anos Arnoldinum 1588–1988. Festschrift. Greven 1988, pp. 211-219.
  • Hans Hermes : In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1-8 com lista de publicações, link da web .

Links da web

Evidência individual

  1. Arquivos Federais R 9361-IX KARTEI / 81399
  2. ^ Willi Feld: Burgsteinfurt durante a era nazista, Volume 1. Münster 2019. P. 112ff
  3. Anita Ehlers. Caro Hertz! Físicos e matemáticos em anedotas . Basel: Birkhäuser Verlag, 1994, página 161. Também em Constance Reid Hilbert .