Grundlagen der Mathematik

Last updated

Grundlagen der Mathematik (English: Foundations of Mathematics) is a two-volume work by David Hilbert and Paul Bernays. Originally published in 1934 and 1939, it presents fundamental mathematical ideas and introduced second-order arithmetic.

Contents

Publication history

See also

Related Research Articles

<span class="mw-page-title-main">David Hilbert</span> German mathematician (1862-1943)

David Hilbert was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, 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.

<span class="mw-page-title-main">Felix Klein</span> German mathematician, author of the Erlangen Program

Christian Felix Klein was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and group theory. His 1872 Erlangen program, classifying geometries by their basic symmetry groups, was an influential synthesis of much of the mathematics of the time.

<span class="mw-page-title-main">Gerhard Gentzen</span> German mathematician

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 Soviet prison camp in Prague in 1945, having been interned as a German national after the Second World War.

In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic to the real numbers R, the complex numbers C, a finite extension of the p-adic numbersQp, or a finite extension of the field of formal Laurent series Fq( ) over a finite field Fq.

Hilbert's nineteenth problem is one of the 23 Hilbert problems, set out in a list compiled in 1900 by David Hilbert. It asks whether the solutions of regular problems in the calculus of variations are always analytic. Informally, and perhaps less directly, since Hilbert's concept of a "regular variational problem" identifies precisely a variational problem whose Euler–Lagrange equation is an elliptic partial differential equation with analytic coefficients, Hilbert's nineteenth problem, despite its seemingly technical statement, simply asks whether, in this class of partial differential equations, any solution function inherits the relatively simple and well understood structure from the solved equation. Hilbert's nineteenth problem was solved independently in the late 1950s by Ennio De Giorgi and John Forbes Nash, Jr.

<span class="mw-page-title-main">Paul Bernays</span> Swiss mathematician (1888–1977)

Paul Isaac Bernays was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.

In mathematics, Artin–Schreier theory is a branch of Galois theory, specifically a positive characteristic analogue of Kummer theory, for Galois extensions of degree equal to the characteristic p. Artin and Schreier (1927) introduced Artin–Schreier theory for extensions of prime degree p, and Witt (1936) generalized it to extensions of prime power degree pn.

<span class="mw-page-title-main">Edwin Hewitt</span> American mathematician

Edwin Hewitt was an American mathematician known for his work in abstract harmonic analysis and for his discovery, in collaboration with Leonard Jimmie Savage, of the Hewitt–Savage zero–one law.

<span class="mw-page-title-main">Kurt Schütte</span> German mathematician

Kurt Schütte was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing.

<span class="mw-page-title-main">Claude Lemaréchal</span>

Claude Lemaréchal is a French applied mathematician, and former senior researcher at INRIA near Grenoble, France.

In mathematics, specifically group theory, isoclinism is an equivalence relation on groups which generalizes isomorphism. Isoclinism was introduced by Hall (1940) to help classify and understand p-groups, although it is applicable to all groups. Isoclinism also has consequences for the Schur multiplier and the associated aspects of character theory, as described in Suzuki and Conway et al.. The word "isoclinism" comes from the Greek ισοκλινης meaning equal slope.

<span class="mw-page-title-main">Gottfried Köthe</span>

Gottfried Maria Hugo Köthe was an Austrian mathematician working in abstract algebra and functional analysis.

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, Birgit Richter. The journal is indexed by Mathematical Reviews and Zentralblatt MATH.

Paul Georg Funk was an Austrian mathematician who introduced the Funk transform and who worked on the calculus of variations.

In the mathematical theory of Kleinian groups, a quasi-Fuchsian group is a Kleinian group whose limit set is contained in an invariant Jordan curve. If the limit set is equal to the Jordan curve the quasi-Fuchsian group is said to be of type one, and otherwise it is said to be of type two. Some authors use "quasi-Fuchsian group" to mean "quasi-Fuchsian group of type 1", in other words the limit set is the whole Jordan curve. This terminology is incompatible with the use of the terms "type 1" and "type 2" for Kleinian groups: all quasi-Fuchsian groups are Kleinian groups of type 2, as their limit sets are proper subsets of the Riemann sphere. The special case when the Jordan curve is a circle or line is called a Fuchsian group, named after Lazarus Fuchs by Henri Poincaré.

Mariano Giaquinta, is an Italian mathematician mainly known for his contributions to the fields of calculus of variations and regularity theory of partial differential equation. He is currently professor of Mathematics at the Scuola Normale Superiore di Pisa and he is the director of De Giorgi center at Pisa.

Moderne Algebra is a two-volume German textbook on graduate abstract algebra by Bartel Leendert van der Waerden, originally based on lectures given by Emil Artin in 1926 and by Emmy Noether (1929) from 1924 to 1928. The English translation of 1949–1950 had the title Modern algebra, though a later, extensively revised edition in 1970 had the title Algebra.

In mathematics, an explicit reciprocity law is a formula for the Hilbert symbol of a local field. The name "explicit reciprocity law" refers to the fact that the Hilbert symbols of local fields appear in Hilbert's reciprocity law for the power residue symbol. The definitions of the Hilbert symbol are usually rather roundabout and can be hard to use directly in explicit examples, and the explicit reciprocity laws give more explicit expressions for the Hilbert symbol that are sometimes easier to use.

<span class="mw-page-title-main">Eberhard Freitag</span> German mathematician

Eberhard Freitag is a German mathematician, specializing in complex analysis and especially modular forms.

In functional analysis, a discipline within mathematics, a locally convex topological vector space (TVS) is said to be infrabarrelled if every bounded absorbing barrel is a neighborhood of the origin.

References