Wilhelm Ackermann

Wilhelm Ackermann
	; Irudi gehiago
Bizitza
Jaiotzako izen-deiturak	Wilhelm Friedrich Ackermann
Jaiotza	Herscheid, 1896ko martxoaren 29a
Herrialdea	Alemaniar Inperioa ; 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	ikusi BIT predicate (en) ; Ackermann ordinal (en) ; Ackermann set theory (en) ; Ackermann function (en) ;
Kidetza	Göttingengo Zientzien Akademia
Zerbitzu militarra
Parte hartutako gatazkak	Lehen Mundu Gerra
Sinesmenak eta ideologia
Erlijioa	Luteranismoa
Alderdi politikoa	Alemaniako Langile Alderdi Nazionalsozialista

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.