Wilhelm Ackermann

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).