Versie van 7 aug 2006 00:07 bewerken Qwertyus (overleg \| bijdragen) 10.947 bewerkingen k sp ← Oudere bewerking		Versie van 7 aug 2006 00:07 bewerken ongedaan maken Qwertyus (overleg \| bijdragen) 10.947 bewerkingen -overbodige sterfdatum en -plaats aan het eind Nieuwere bewerking →
Regel 4: Hij schreef ''Grundzüge der Theoretischen Logik'' (''Grondbeginselen van de Theoretische Logica'') met [[David Hilbert]], over het [[Entscheidungsproblem]]. Tevens schreef hij consistentiebewijzen voor [[verzamelingenleer]] (1937), volledige [[rekenkunde]] (1940), type-vrije [[logica]] (1952) en een nieuwe axiomatisering van verzamelingenleer (1956). Hij schreef het boek ''Oplosbare gevallen van het besluitprobleem'' (1954). ~~Wilhelm Ackermann stierf in [[Lüdenscheid]], Duitsland op 24 december 1962.~~ == Externe links ==

Wilhelm Ackermann: verschil tussen versies