Wilhelm Ackermann: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: ja:ヴィルヘルム・アッカーマン |
k linkcorrectie |
||
Regel 3:
Ackermann werd geboren op 29 maart 1896 in Schönebecke (toen district [[Altena (Westfalen)|Altena]], nu een deel van gemeente [[Herscheid]]), [[Duitsland]], en ontving zijn doctorale titel in 1925 met zijn thesis ''Begründung des „tertium datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit'', die een consistentiebewijs van rekenkunde zonder inductie bevatte. Vanaf [[1929]] tot [[1948]] onderwees hij op de hogeschool van Arnoldinum in [[Burgsteinfurt]], en daarna tot [[1961]] in [[Lüdenscheid]]. Hij was ook een lid van de Akademie der Wissenschaften (Academie van Wetenschappen) in [[Göttingen (stad)|Göttingen]], en was een ereprofessor aan de [[Universität Münster]] ([[Westfalen]]).
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 (wetenschap)|logica]] (1952) en een nieuwe axiomatisering van verzamelingenleer (1956). Hij schreef het boek ''Oplosbare gevallen van het beslissingsprobleem'' (1954).
== Externe links ==
| |||