 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.
Euvre prinsipaj
- Grundzüge der theorethischen Logik (con D. Hilbert, Berlin, 1928).
- Solvable cases of the decision problem (Amsterdam, 1954).
|
|
