David Hilbert and his mathematical work
From MaRDI portal
Publication:5834186
DOI10.1090/S0002-9904-1944-08178-0zbMath0060.01521OpenAlexW4255626469WikidataQ56138555 ScholiaQ56138555MaRDI QIDQ5834186
Publication date: 1944
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9904-1944-08178-0
Related Items
Searches for the origins of the epistemological concept of model in mathematics ⋮ On the origins of David Hilbert's Grundlagen der Geometrie ⋮ From Königsberg to Göttingen: a sketch of Hilbert's early career ⋮ On projecting the future and assessing the past -- the 1946 Princeton Bicentennial Conference ⋮ Hilbert’s Axiomatisches Denken ⋮ Jet invariants of compact Lie groups ⋮ David Hilbert and the axiomatization of physics (1894--1905) ⋮ Epsilon substitution method for elementary analysis ⋮ Hilbert's ``Grundlagen der Geometrie ⋮ Book review of: B. Riemann, Über die Hypothesen, welche der Geometrie zu Grunde liegen; D. Hilbert, Grundlagen der Geometrie (Festschrift 1899) ⋮ Mathematics made in Germany: on the background to Hilbert's Paris lecture ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ On the Concept of Curve: Geometry and Algebra, from Mathematical Modernity to Mathematical Modernism ⋮ Tuning up mind's pattern to nature's own idea: Eddington's early twenties case for variational derivatives ⋮ Concluding Comments by Martin ⋮ Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics ⋮ A mathematician reflects on the useful and reliable illusion of reality in mathematics ⋮ David Hilbert: The theory of algebraic number fields. Jahresber. Deutsche Math. Ver. 4 (1897), 175--546 ⋮ Pragmatic Platonism ⋮ Hilbert's early carrier: encounters with allies and rivals ⋮ Formalism and Hilbert's understanding of consistency problems ⋮ Abstraction, Axiomatization and Rigor: Pasch and Hilbert ⋮ Gelfand pairs on the Heisenberg group and Schwartz functions ⋮ A method of epsilon substitution for the predicate logic with equality ⋮ Hilbert's logic. From axiomatics to proof theory ⋮ A look back at Hermann Minkowski's Cologne lecture ``Raum und Zeit ⋮ An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time ⋮ We shall know: Hilbert's apology ⋮ Strong termination for the epsilon substitution method ⋮ A study of Maurice Fréchet: II. Mainly about his work on general topology, 1909-1928 ⋮ Transforming tradition: Richard Courant in Göttingen ⋮ Debates about infinity in mathematics around 1890: The Cantor-Veronese controversy, its origins and its outcome