Wilhelm Ackermann

Wikipedia, Entziklopedia askea
Wilhelm Ackermann
Ackermann Wilhelm.jpg
Bizitza
Izen osoa Wilhelm Friedrich Ackermann
Jaiotza Herscheid1896ko martxoaren 29a
Herrialdea  Alemaniar Inperioa
 Hirugarren Reicha
 Weimarko Errepublika
 Alemania
Lehen hizkuntza alemana
Heriotza Lüdenscheid1962ko 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) Itzuli
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) Itzuli  (1929 -  1948)
Geschwister-Scholl-Gymnasium Lüdenscheid (en) Itzuli  (1948 -  1961)
Münsterreko Unibertsitatea  (1953 -  1962)
Lan nabarmenak BIT predicate (en) Itzuli
Ackermann ordinal (en) Itzuli
Ackermann set theory (en) Itzuli
Ackermann function (en) Itzuli
Kidetza Göttingengo Zientzien Akademia
Zerbitzu militarra
Parte hartutako gatazkak Lehen Mundu Gerra
Sinesmenak eta ideologia
Erlijioa Luteranismoa

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[aldatu | aldatu iturburu kodea]