Wilhelm Ackermann

Wikipedia, Entziklopedia askea
Jump to navigation Jump to search
Wilhelm Ackermann
Ackermann Wilhelm.jpg
Bizitza
Jaiotza Herscheid1896ko martxoaren 29a
Herrialdea  Alemaniar Inperioa
 Hirugarren Reicha
 Weimarko Errepublika
 Alemania
Heriotza Lüdenscheid1962ko abenduaren 24a (66 urte)
Hezkuntza
Heziketa Göttingengo Unibertsitatea
Tesi zuzendaria David Hilbert
Hizkuntzak alemana
Jarduerak
Jarduerak matematikaria, filosofoa eta unibertsitateko irakaslea
Enplegatzailea(k) Münsterreko Unibertsitatea
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]