David Hilbert was a German mathematician and one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics.
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945, having been interned as a German national after the Second World War.
Luitzen Egbertus Jan "Bertus" Brouwer was a Dutch mathematician and philosopher who worked in topology, set theory, measure theory and complex analysis. Regarded as one of the greatest mathematicians of the 20th century, he is known as one of the founders of modern topology, particularly for establishing his fixed-point theorem and the topological invariance of dimension.
In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.
Kurt Werner Friedrich Reidemeister was a mathematician born in Braunschweig (Brunswick), Germany.
Hans Freudenthal was a Jewish German-born Dutch mathematician. He made substantial contributions to algebraic topology and also took an interest in literature, philosophy, history and mathematics education.
Ludwig Otto Blumenthal was a German mathematician and professor at RWTH Aachen University.
Hilbert's seventeenth problem is one of the 23 Hilbert problems set out in a celebrated list compiled in 1900 by David Hilbert. It concerns the expression of positive definite rational functions as sums of quotients of squares. The original question may be reformulated as:
Heinrich Martin Weber was a German mathematician. Weber's main work was in algebra, number theory, and analysis. He is best known for his text Lehrbuch der Algebra published in 1895 and much of it is his original research in algebra and number theory. His work Theorie der algebraischen Functionen einer Veränderlichen established an algebraic foundation for Riemann surfaces, allowing a purely algebraic formulation of the Riemann–Roch theorem. Weber's research papers were numerous, most of them appearing in Crelle's Journal or Mathematische Annalen. He was the editor of Riemann's collected works.
In mathematics, real algebraic geometry is the sub-branch of algebraic geometry studying real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them.
Stefan Bergman was a Congress Poland-born American mathematician whose primary work was in complex analysis. He is known for the kernel function he discovered in 1922 at University of Berlin. This function is now known as the Bergman kernel. Bergman taught for many years at Stanford University.
The Brouwer–Hilbert controversy was a debate in twentieth-century mathematics over fundamental questions about the consistency of axioms and the role of semantics and syntax in mathematics. L. E. J. Brouwer, a proponent of the constructivist school of intuitionism, opposed David Hilbert, a proponent of formalism. Much of the controversy took place while both were involved with Mathematische Annalen, the leading mathematical journal of the time, with Hilbert as editor-in-chief and Brouwer as a member of its editorial board. In 1920, Hilbert succeeded in having Brouwer, whom he considered a threat to mathematics, removed from the editorial board of Mathematische Annalen.
In mathematics, the Burkhardt quartic is a quartic threefold in 4-dimensional projective space studied by Burkhardt, with the maximum possible number of 45 nodes.
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg is a peer-reviewed mathematics journal published by Springer Science+Business Media. It publishes articles on pure mathematics and is scientifically coordinated by the Mathematisches Seminar, an informal cooperation of mathematicians at the Universität Hamburg; its Managing Editors are Professors Vicente Córtes and Tobias Dyckerhoff. The journal is indexed by Mathematical Reviews and Zentralblatt MATH.
In mathematics, the Hilbert–Burch theorem describes the structure of some free resolutions of a quotient of a local or graded ring in the case that the quotient has projective dimension 2. Hilbert proved a version of this theorem for polynomial rings, and Burch proved a more general version. Several other authors later rediscovered and published variations of this theorem. Eisenbud gives a statement and proof.
Helmut Röhrl or Rohrl was a German mathematician.
Cantor's paradise is an expression used by David Hilbert in describing set theory and infinite cardinal numbers developed by Georg Cantor. The context of Hilbert's comment was his opposition to what he saw as L. E. J. Brouwer's reductive attempts to circumscribe what kind of mathematics is acceptable; see Brouwer–Hilbert controversy.
In mathematics, especially the theory of several complex variables, the Oka–Weil theorem is a result about the uniform convergence of holomorphic functions on Stein spaces due to Kiyoshi Oka and André Weil.
In mathematics, especially several complex variables, the Behnke–Stein theorem states that a connected, non-compact (open) Riemann surface is a Stein manifold. In other words, it states that there is a nonconstant single-valued holomorphic function on such a Riemann surface. It is a generalization of the Runge approximation theorem and was proved by Heinrich Behnke and Karl Stein in 1948.
