Wilhelm Ackermann

Wikipedia, Entziklopedia askea
Wilhelm Ackermann
Ackermann Wilhelm.jpg
Bizitza
Izen osoaWilhelm Friedrich Ackermann
JaiotzaHerscheid1896ko martxoaren 29a
Herrialdea Alemaniar Inperioa
 Hirugarren Reicha
 Weimarko Errepublika
 Alemania
Lehen hizkuntzaalemana
HeriotzaLüdenscheid1962ko abenduaren 24a (66 urte)
Hezkuntza
HeziketaGöttingengo Unibertsitatea
(1914 - 1925)
TesiaBegr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en) Itzuli
Tesi zuzendariaDavid Hilbert
Hizkuntzakalemana
Irakaslea(k)David Hilbert
Jarduerak
Jarduerakmatematikaria, 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 nabarmenakBIT predicate (en) Itzuli
Ackermann ordinal (en) Itzuli
Ackermann set theory (en) Itzuli
Ackermann function (en) Itzuli
KidetzaGöttingengo Zientzien Akademia
Zerbitzu militarra
Parte hartutako gatazkakLehen Mundu Gerra
Sinesmenak eta ideologia
ErlijioaLuteranismoa
Alderdi politikoaAlemaniako 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[aldatu | aldatu iturburu kodea]