Vai al contenuto

Wilhelm Ackermann

Da Wikipedia.
Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì.
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

[modìfica | modifiché la sorgiss]

Euvre prinsipaj

[modìfica | modifiché la sorgiss]
  • Grundzüge der theorethischen Logik (con D. Hilbert, Berlin, 1928).
  • Solvable cases of the decision problem (Amsterdam, 1954).