Wilhelm Ackermann

professor académico alemão

Wilhelm Friedrich Ackermann (Herscheid, 29 de março de 1896Lüdenscheid, 24 de dezembro de 1962) foi um matemático alemão. Conhecido pela função de Ackermann, um importante exemplo na teoria da computação.

Wilhelm Ackermann
Função de Ackermann
Nascimento Wilhelm Friedrich Ackermann
29 de março de 1896
Herscheid (Império Alemão)
Morte 24 de dezembro de 1962 (66 anos)
Lüdenscheid (Alemanha Ocidental)
Cidadania Império Alemão, República de Weimar, Alemanha Nazista, Alemanha
Alma mater Universidade de Göttingen
Ocupação matemático, filósofo, professor do ensino secundário
Empregador Deutsches Heer, Gymnasium Arnoldinum, Geschwister-Scholl-Gymnasium Lüdenscheid, Universidade de Münster
Orientador(es) David Hilbert[1]
Campo(s) matemática
Tese 1925: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit
Obras destacadas BIT predicate, ordinal de Ackermann, teoria de conjuntos de Ackermann, função de Ackermann
Religião luteranismo

CarreiraEditar

Ackermann foi premiado com um Ph.D. na Universidade de Göttingen em 1925 por sua tese Begründung sobre o "Tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit que deveria ser uma prova da consistência da aritmética sem indução de Peano. De 1929 a 1948 lecionou no Ginásio Arnoldinum em Burgsteinfurt, e mais tarde no Lüdenscheid até 1961 . Foi professor honorário da Universidade de Münster (Vestfália).[2]

TrabalhosEditar

Referências

  1. Wilhelm Ackermann (em inglês) no Mathematics Genealogy Project
  2. «Wilhelm Ackermann - Biography». Maths History (em inglês). Consultado em 8 de junho de 2022 

Ligações externasEditar

  Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.