Wilhelm Ackermann: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
Geen bewerkingssamenvatting
Madyno (overleg | bijdragen)
Geen bewerkingssamenvatting
Regel 4:
Ackermann werd geboren op 29 maart 1896 in Schönebecke (in het toenmalige district [[Altena (Westfalen)|Altena]], nu een deel van gemeente [[Herscheid]]), [[Duitsland]], en ontving zijn doctorstitel in 1925 met het [[proefschrift]] ''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 in [[Göttingen (stad)|Göttingen]], en was een [[erehoogleraar]] aan de [[Universiteit van Münster]] ([[Westfalen (streek)|Westfalen]]).
 
Ackermann schreef samen met [[David Hilbert]] het werk ''Grundzüge der Theoretischen Logik'' (''Grondbeginselen van de Theoretische Logica''), 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 ''OplosbareSolvable gevallencases vanof hetthe beslissingsprobleemdecision problem'' (1954).
 
== Externe links ==