Axiomes de Hilbertthumb|right|David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie (Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions successives par Hilbert lui-même, ou des axiomes directement inspirés de sa présentation que l'on appelle axiomes de Hilbert.
Formalism (philosophy of mathematics)In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess.
Congrès international des mathématiciensvignette|Un timbre commémoratif allemand du Congrès international des mathématiciens lors de l'édition 1998 à Berlin. Le Congrès international des mathématiciens (ICM, International Congress of Mathematicians en anglais) est une manifestation organisée tous les quatre ans par l'Union mathématique internationale. Le premier s’est tenu à Zurich en 1897. Le congrès de 1998 à Berlin a rassemblé plus de . Le programme consiste principalement en des conférences données par d'éminents mathématiciens du monde entier, sélectionnés par les organisateurs du congrès.
Luitzen Egbertus Jan BrouwerLuitzen Egbertus Jan Brouwer (né le à Overschie et mort le à Blaricum) est un mathématicien néerlandais. Aîné de trois enfants, ce fils du maître d'école Egbertus Luitzens Brouwer et de Henderika Poutsma, témoigne dès son plus jeune âge d'une intelligence exceptionnelle. À 16 ans seulement, le jeune prodige s'inscrit à l'université d'Amsterdam pour y étudier les mathématiques, sans pour autant négliger ses lectures de chevet, celles des philosophes Emmanuel Kant et Arthur Schopenhauer.
Richard CourantRichard Courant (né le à Lublinitz en Silésie, mort le à New York) est un mathématicien germano-américain. Pendant sa jeunesse, ses parents ont souvent déménagé, de Glatz à Breslau puis à Berlin en 1905. Il est resté à Breslau pour entrer à l'université. Ayant trouvé les cours d'un niveau insuffisant, il poursuit ses études à Zurich et Göttingen. Il devient l'assistant de David Hilbert à Göttingen et y obtient son doctorat en 1910. Il a dû se battre pendant la Première Guerre mondiale, mais il fut blessé et rendu à la vie civile peu après son incorporation dans l'armée.
Wilhelm AckermannWilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité. Sa thèse (1924) donne une preuve détaillée de la cohérence de l'. Il fut professeur dans le secondaire, à Burgsteinfurt de 1929 à 1948, puis à Lüdenscheid jusqu'à sa retraite en 1961. Il fut membre correspondant de l'Académie des sciences de Göttingen et professeur honoraire de l'université de Münster.
