David Hilbert
Wikipedia
David Hilbert, född 23 januari 1862, död 14 februari 1943, tysk matematiker; professor i Göttingen 1895-1930.
Hilbert föddes i Königsberg, dåvarande Preussen, där han också studerade på gymnasiet och senare universitetet. Han skrev sin doktorsavhandling, Über invariante Eigenschaften specieller binärer Formen, insbesondere der Kugelfunctionen, för Lindemann 1885. Här träffade han också Hermann Minkowski, en annan doktorand på Königsbergs universitet.
1920 startade Hilbert sitt berömda program, som syftade till att axiomatisera hela matematiken. Den filosofi som detta program markerar starten på kallas formalism. Dessvärre visade Kurt Gödel 1931 att det alltid finns satser i ett axiomatiserat system som ej kan bevisas. Formalismen är trots detta den mest utbredda matematiska filosofin idag.
[redigera] Se även
