[permalink] [id link]
Hilbert's original question was more complicated: given any two tetrahedra T < sub > 1 </ sub > and T < sub > 2 </ sub > with equal base area and equal height ( and therefore equal volume ), is it always possible to find a finite number of tetrahedra, so that when these tetrahedra are glued in some way to T < sub > 1 </ sub > and also glued to T < sub > 2 </ sub >, the resulting polyhedra are scissors-congruent?
from
Wikipedia
Some Related Sentences
Hilbert's and original
In fact, Smale's list contains some of the original Hilbert problems, including the Riemann hypothesis and the second half of Hilbert's sixteenth problem, both of which are still unsolved.
But these meta-mathematical proofs cannot be represented within the arithmetical calculus ; and, since they are not finitistic, they do not achieve the proclaimed objectives of Hilbert's original program.
The " 24th problem " ( in proof theory, on a criterion for simplicity and general methods ) was rediscovered in Hilbert's original manuscript notes by German historian Rüdiger Thiele in 2000.
We may consider that Hilbert's program has been partially completed, so that the crisis is essentially resolved, satisfying ourselves with lower requirements than Hibert's original ambitions.
* English translation of Hilbert's original address
* English translation of Hilbert's original address
Many current lines of research in mathematical logic, proof theory and reverse mathematics can be viewed as natural continuations of Hilbert's original program.
* English translation of Hilbert's original address
* The inverse Galois problem, Hilbert's original motivation.
Hilbert's original statement of his 12th problem is rather misleading: he seems to imply that the abelian extensions of imaginary quadratic fields are generated by special values of elliptic modular functions, which is not correct.
Hilbert's and question
In 1900, David Hilbert posed an influential question about transcendental numbers, Hilbert's seventh problem: If a is an algebraic number, that is not zero or one, and b is an irrational algebraic number, is a < sup > b </ sup > necessarily transcendental?
It is now common to interpret Hilbert's second question as asking in particular for a proof that Peano arithmetic is consistent.
These do not provide a resolution to Hilbert's second question, however, because someone who doubts the consistency of Peano arithmetic is unlikely to accept the axioms of set theory ( which is much stronger ) to prove its consistency.
However, the question is still debated since in the literature there have been other such claims, largely based on different interpretations of Hilbert's statement of the problem given by various researchers.
Quite the opposite: it was more a question of trying to make a consistent whole out of some enthusiasms, for example for Hilbert's legacy, with emphasis on formalism and axiomatics.
David Hilbert's work on the question of the finite generation of the algebra of invariants ( 1890 ) resulted in the creation of a new mathematical discipline, abstract algebra.
The ideal theory in question had been based on elimination theory, but in line with David Hilbert's taste moved away from algorithmic methods.
In mathematics, Hilbert's fourth problem in the 1900 Hilbert problems was a foundational question in geometry.
Kronecker's ( and Hilbert's ) question addresses the situation of a more general algebraic number field K: what are the algebraic numbers necessary to construct all abelian extensions of K?
Arnold then expanded on this work to show that only two-variable functions were in fact required, thus answering Hilbert's question.
Arnold later returned to the question, jointly with Goro Shimura ( V. I. Arnold and G. Shimura, Superposition of algebraic functions ( 1976 ), in Mathematical Developments Arising From Hilbert's Problems ).
Hilbert's and was
On the Infinite was Hilbert ’ s most important paper on the foundations of mathematics, serving as the heart of Hilbert's program to secure the foundation of transfinite numbers by basing them on finite methods.
One of the important problems for logicians in the 1930s was David Hilbert's Entscheidungsproblem, which asked if there was a mechanical procedure for separating mathematical truths from mathematical falsehoods.
Hilbert, the first of two children of Otto and Maria Therese ( Erdtmann ) Hilbert, was born in the Province of Prussia-either in Königsberg ( according to Hilbert's own statement ) or in Wehlau ( known since 1946 as Znamensk ) near Königsberg where his father worked at the time of his birth.
Hilbert's funeral was attended by fewer than a dozen people, only two of whom were fellow academics, among them Arnold Sommerfeld, a theoretical physicist and also a native of Königsberg.
Gordan, the house expert on the theory of invariants for the Mathematische Annalen, was not able to appreciate the revolutionary nature of Hilbert's theorem and rejected the article, criticizing the exposition because it was insufficiently comprehensive.
Later, after the usefulness of Hilbert's method was universally recognized, Gordan himself would say:
In an account that had become standard by the mid-century, Hilbert's problem set was also a kind of manifesto, that opened the way for the development of the formalist school, one of three major schools of mathematics of the 20th century.
In 1920 he proposed explicitly a research project ( in metamathematics, as it was then termed ) that became known as Hilbert's program.
In 1931 his incompleteness theorem showed that Hilbert's grand plan was impossible as stated.
In logic, the second problem on David Hilbert's list of open problems presented in 1900 was to prove that the axioms of arithmetic are consistent.
Hilbert's tenth problem was to determine whether a given polynomial Diophantine equation with integer coefficients has an integer solution.
In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories.
It was developed in parallel with a new approach to the mathematical spectral theory based on linear operators rather than the quadratic forms that were David Hilbert's approach a generation earlier.
More fundamentally, Hilbert's first problem was on the continuum hypothesis.
Church and Turing independently demonstrated that Hilbert's Entscheidungsproblem ( decision problem ) was unsolvable, thus identifying the computational core of the incompleteness theorem.
This list was compiled in the spirit of Hilbert's famous list of problems produced in 1900.
The early development of mathematical proof theory was driven by the desire to provide finitary consistency proofs for all of mathematics as part of Hilbert's program.
Hilbert's program was strongly impacted by incompleteness theorems, which showed that sufficiently strong proof theories cannot prove their own consistency ( provided that they are in fact consistent ).
Hilbert's tenth problem was to find a general algorithm which can decide whether a given Diophantine equation has a solution among the integers.
This relationship was discovered by David Hilbert who proved Nullstellensatz and several other important related theorems named after him ( like Hilbert's basis theorem ).
In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems.
One of the main goals of Hilbert's program was a finitistic proof of the consistency of the axioms of arithmetic: that is his second problem.
0.261 seconds.