Wilhelm Ackermann - Wilhelm Ackermann
Wilhelm Ackermann | |
---|---|
Nascer |
|
29 de março de 1896
Faleceu | 24 de dezembro de 1962 |
(66 anos)
Nacionalidade | alemão |
Alma mater | Universidade de Göttingen |
Conhecido por | |
Carreira científica | |
Campos | Matemática |
Orientador de doutorado | David Hilbert |
Wilhelm Friedrich Ackermann ( / æ k ər m ə n / ; alemão: [akɐˌman] ; 29 março de 1896 - 24 de dezembro de 1962) foi um alemão matemático e lógico mais conhecido por seu trabalho em lógica matemática ea função de Ackermann , um exemplo importante na teoria da computação .
Biografia
Ackermann nasceu em Herscheid , Alemanha , e recebeu o título de Ph.D. pela Universidade de Göttingen em 1925 para sua tese Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit , que foi uma prova de consistência da aritmética aparentemente sem indução de Peano (embora tenha usado, por exemplo, indução ao longo das provas). Esta foi uma das duas principais obras da teoria da prova na década de 1920 e a única que seguiu a escola de pensamento de Hilbert . De 1929 a 1948, ele lecionou no Arnoldinum Gymnasium em Burgsteinfurt , e depois em Lüdenscheid até 1961. Ele também foi um membro correspondente da Akademie der Wissenschaften ( Academia de Ciências ) em Göttingen, e foi um professor honorário na Universidade de Münster .
Em 1928, Ackermann ajudou David Hilbert a transformar suas 1917-22 palestras sobre a lógica matemática introdutória em um texto, Princípios de Lógica Matemática . Este texto continha a primeira exposição da lógica de primeira ordem e colocava o problema de sua completude e decidibilidade ( Entscheidungsproblem ). Ackermann continuou a construir provas de consistência para a teoria dos conjuntos (1937), aritmética completa (1940), lógica sem tipos (1952) e uma nova axiomatização da teoria dos conjuntos (1956).
Por sua vez, o apoio de Hilbert desapareceu quando Ackermann se casou:
- Anita Ehlers. Liebes Hertz! Physiker und Mathematiker em Anekdoten . Basel: Birkhäuser Verlag, 1994, p. 161. Ver também Constance Reid Hilbert .
Mais tarde, Ackerman continuou trabalhando como professor de ensino médio. Ainda assim, ele se manteve continuamente engajado no campo da pesquisa e publicou muitas contribuições para os fundamentos da matemática até o final de sua vida. Ele morreu em Lüdenscheid , Alemanha , em dezembro de 1962.
Veja também
- Bijeção de Ackermann
- Codificação Ackermann
- Função Ackermann
- Ackermann ordinal
- Teoria dos conjuntos de Ackermann
- Sistema Hilbert-Ackermann
- Entscheidungsproblem
- Notação ordinal
- Função inversa de Ackermann
Bibliografia
- 1928. "On Hilbert's construction of the real numbers " in Jean van Heijenoort , ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 . Harvard Univ. Imprensa: 493–507.
- 1940. "Zur Widerspruchsfreiheit der Zahlentheorie", Mathematische Annalen , vol. 117, pp 162–194.
- 1950 (1928). (com David Hilbert ) Principles of Mathematical Logic . Chelsea. Tradução da edição alemã de 1938.
- 1954. Casos solucionáveis do problema de decisão . Holanda do Norte.
Referências
links externos
- O'Connor, John J .; Robertson, Edmund F. , "Wilhelm Ackermann" , arquivo MacTutor History of Mathematics , University of St Andrews
- Wilhelm Ackermann no Projeto Genealogia da Matemática
- Página de Erich Friedman sobre Ackermann na Stetson University
- Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (PDF, 945 KB)
- Perfil do autor no banco de dados zbMATH