Wilhelm Ackermann

Wilhelm Ackermann

Irudi gehiago
Bizitza
Jaiotzako izen-deiturakWilhelm Friedrich Ackermann
JaiotzaHerscheid, 1896ko martxoaren 29a
Herrialdea Alemaniar Inperioa
 Hirugarren Reicha
 Weimarko Errepublika
 Alemania
Lehen hizkuntzaalemana
HeriotzaLüdenscheid, 1962ko 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 nabarmenak
ikusi
  • BIT 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 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.
Autoritate kontrola
  • Wikimedia proiektuak
  • Wd Datuak: Q61037
  • Commonscat Multimedia: Wilhelm Ackermann (mathematician) / Q61037
  • Wd Datuak: Q61037
  • Commonscat Multimedia: Wilhelm Ackermann (mathematician) / Q61037