Wilhelm Ackermann
Wilhelm Ackermann | |
---|---|
Bizitza | |
Jaiotzako izen-deiturak | Wilhelm Friedrich Ackermann |
Jaiotza | Herscheid, 1896ko martxoaren 29a |
Herrialdea | Prusiako Erresuma Hirugarren Reicha Weimarko Errepublika Alemania |
Lehen hizkuntza | alemana |
Heriotza | Lüdenscheid, 1962ko abenduaren 24a (66 urte) |
Hezkuntza | |
Heziketa | Göttingengo Unibertsitatea (1914 - 1925) |
Tesia | Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en) |
Tesi zuzendaria | David Hilbert |
Hizkuntzak | alemana |
Irakaslea(k) | David Hilbert |
Jarduerak | |
Jarduerak | matematikaria, filosofoa eta bigarren mailako irakaskuntza katedraduna |
Enplegatzailea(k) | Deutsches Heer (1915 - 1919) Gymnasium Arnoldinum (en) (1929 - 1948) Geschwister-Scholl-Gymnasium Lüdenscheid (en) (1948 - 1961) Münsterreko Unibertsitatea (1953 - 1962) |
Lan nabarmenak | |
Kidetza | Göttingengo Zientzien Akademia |
Zerbitzu militarra | |
Parte hartutako gatazkak | Lehen Mundu Gerra |
Sinesmenak eta ideologia | |
Erlijioa | Luteranismoa |
Alderdi politikoa | Alemaniako Langile Alderdi Nazionalsozialista |
Wilhelm Friedrich Ackermann (Herscheid, Alemaniar Inperioa, 1896ko martxoaren 29a - Lüdenscheid, Mendebaldeko Alemania, 1962ko abenduaren 24a) alemaniar logikari matematikoa izan zen.
1925ean bukatu zuen doktoregoa, Hilberten zuzendaritzapean; tesian indukziorik gabeko aritmetikaren trinkotasun froga bat azaldu zuen. 1927tik 1961era irakasle aritu zen Burgsteinfeld eta Lüdenscheiden. Göttingeneko Zientzien Akademiako kide eta Münsterko Unibertsitateko ohorezko irakasle ere izan zen. Ackermannen azkeneko lanen artean multzoen teoriaren (1937), aritmetika osoaren (1940) eta tiporik gabeko logikaren (1952) trinkotasun frogak dira aipagarriak, multzoen teoriaren axiomatizazio berri batez eta Solvable cases of the decision problem (1954, Erabakitasunaren problemaren kasu ebazgarriak) liburuaz gainera.
Erreferentziak
- Artikulu honen edukiaren zati bat Lur hiztegi entziklopedikotik edo Lur entziklopedia tematikotik txertatu zen 2016-09-19 egunean. Egile-eskubideen jabeak, Eusko Jaurlaritzak, hiztegi horiek CC-BY 3.0 lizentziarekin argitaratu ditu, Open Data Euskadi webgunean.