Wilhelm Ackermann

Wilhelm Friedrich ACKERMANN [ake^rman] (29a de marto 1896 – 24a de decembro 1962) estis germana matematikisto plej bone konata pro la Akermana funkcio, grava ekzemplo en la teorio de komputado.

Wilhelm Ackermann
Persona informo
Wilhelm Friedrich Ackermann
Naskonomo	Wilhelm Friedrich Ackermann
Naskiĝo	29-an de marto 1896 (1896-03-29) en Herscheid,  Germana Imperiestra Regno
Morto	24-an de decembro 1962 (1962-12-24) (66-jaraĝa) en Lüdenscheid,  Okcidenta Germanio
Religio	luteranismo vd
Lingvoj	germana vd
Ŝtataneco	Germana Imperiestra Regno Nazia Germanio Vajmara Respubliko Germanio vd
Alma mater	Universitato de Göttingen (1914–1925) vd
Partio	Nacisocialisma Germana Laborista Partio vd
Profesio
Okupo	matematikisto filozofo gimnazia instruisto vd
Laborkampo	Matematiko vd
Doktoreca konsilisto	David Hilbert vd
Verkado
Verkoj	BIT predicate ❦ ordonombro de Ackermann ❦ Ackermann set theory ❦ Akermana funkcio vd
Membrecoj Membrecoj Getingena Akademio de Sciencoj (1953–) vd
vd	Fonto: Vikidatumoj
v • d • r

Kariero

Li doktoriĝis en la Universitato de Gotingeno en 1925 pro sia disertacio Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, kiu estis fidinda pruvo de aritmetiko ŝajne sen Peano indukcio (kvankam ĝi uzas ekz. indukcion pri la longo de pruvoj). Ekde 1929 ĝis 1948, la instruis en la Arnoldinum Gymnasium en Burgsteinfurt, kaj poste en la Lüdenscheid ĝis 1961. Li estis ankaŭ koresponda membro de la Akademie der Wissenschaften (Akademio de Sciencoj) en Gotingeno, kaj estis honora profesoro en la Universitato de Münster.

En 1928, Ackermann helpis David Hilbert en liaj prelegoj de 1917–22 pri enkonduka matematika logiko en lernolibro, Grundzüge der theoretischen Logik.

Verkoj

• kun David Hilbert: Grundzüge der Theoretischen Logik, Grundlehren der mathematischen Wissenschaften 27, Springer 1928
• Die Widerspruchsfreiheit des Auswahlaxioms, 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Volume 1924, S. 246–250
• Begründung des „tertium non datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit, 1925, Mathematische Annalen, Volume 93, S. 1–36
• Zum Hilbertschen Aufbau der reellen Zahlen, 1928, Mathematische Annalen, Volume 99, S. 118–133
• Über die Erfüllbarkeit gewisser Zählausdrücke, 1928, Mathematische Annalen, Band 100, S. 638–649
• Untersuchungen über das Eliminationsproblem der mathematischen Logik, 1935, Mathematische Annalen, Volume 110, S. 390–413
• Zum Eliminationsproblem der mathematischen Logik, 1935, Mathematische Annalen, Volume 111, S. 61–63
• Beiträge zum Entscheidungsproblem der mathematischen Logik, 1936, Mathematische Annalen, Volume 112, S. 419–432
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre, 1936, Mathematische Annalen, Volume 114 (1937), S. 305–315
• Mengentheoretische Begründung der Logik, 1938, Mathematische Annalen, Volume 115, S. 1–22
• Zur Widerspruchsfreiheit der Zahlentheorie, 1940/1941, Mathematische Annalen, Volume 117, S. 162–194
• Ein System der typenfreien Logik. Band I, Leipzig 1941.
• Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse, 1951, Mathematische Zeitschrift, Band 53, Heft 5, S. 403–413
• Zur Axiomatik der Mengenlehre, 1955, Mathematische Annalen, Volume 131 (1956), S. 336–345
• Widerspruchsfreier Aufbau einer typenfreien Logik., 1951/52, Mathematische Zeitschrift, Band 55, S. 364–384
• Widerspruchsfreier Aufbau einer typenfreien Logik. II., 1953, Mathematische Zeitschrift, Band 57, S. 155–166
• Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. In: Ratio, Band 1, 1957.
• Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I., 1958, Archiv für mathematische Logik und Grundlagenforschung, Band 4, S. 3–26
• Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II., 1960/61, Archiv für mathematische Logik und Grundlagenforschung, Band 5, S. 96–111

Vidu ankaŭ

• Akermana funkcio
• Akermana nombro

Bibliografio

• Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S. 12 f.
• Constance Reid: Hilbert, Springer 1970, S. 173.
• Dieter Remus: Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. In: 400 Jahre Arnoldinum 1588–1988. Festschrift. Greven 1988, S. 211–219.
• Hans Hermes: In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1–8 mit Schriftenverzeichnis.

Eksteraj ligiloj

• Retejo de Erich Friedman pri Ackermann Arkivigite je 2006-09-10 per la retarkivo Wayback Machine en la Universitato Stetson
• Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (PDF, 945 KB)
• Aŭtorprofilo en la datumbazo zbMATH

• Kategorio Wilhelm Ackermann en la Vikimedia Komunejo (Multrimedaj datumoj)

PeEnEo: 667143 GND: 116006080 LCCN: n88676815 VIAF: 121826940 ISNI: 0000000083853527, 0000000110086934 LIBRIS: 287631 SUDOC: 076579603 BNF: 16183913c NLA: 49449065 NDL: 00430940 BIBSYS: 90812665 NKC: ola2002139892 ICCU: SBLV284402 BNE: XX830514