Wilhelm Ackermann

Matemàtich alman.
Wilhelm Ackermann a l'era nassù a Herscheid ël 29 ëd mars dël 1896 e a l'é mòrt a Lüdenscheid ël 24 dë dzèmber dël 1962.

Anlev ëd David Hilbert, Ackermann a l'ha colaborà con chiel a lë studi dla teorìa dla dimostrassion.
Ij sò travaj a son consentrà an sla lògica matemàtica e a l'é anteressasse dzortut d'arcorsività e ëd dimostrassion ëd coerensa.

A pòrto sò nòm
Fonsion d'Ackermann

Euvre prinsipaj
Grundzüge der theorethischen Logik (con D. Hilbert, Berlin, 1928).
Solvable cases of the decision problem (Amsterdam, 1954).

Ackermann, Wilhelm