Mathematical Problems : $b Lecture delivered before the International Congress of Mathematicians at Paris in 1900Hilbert, David
Science
Mathematical Problems : $b Lecture delivered before the International Congress of Mathematicians at Paris in 1900
Hilbert, David
Mathematics
To show the significance of the problem from another point of view, I
add the following observation: If contradictory attributes be assigned
to a concept, I say, that mathematically the concept does not
exist. So, for example, a real number whose square is does
not exist mathematically. But if it can be proved that the attributes
assigned to the concept can never lead to a contradiction by the
application of a finite number of logical processes, I say that the
mathematical existence of the concept (for example, of a number or a
function which satisfies certain conditions) is thereby proved. In the
case before us, where we are concerned with the axioms of real numbers
in arithmetic, the proof of the compatibility of the axioms is at the
same time the proof of the mathematical existence of the complete
system of real numbers or of the continuum. Indeed, when the proof
for the compatibility of the axioms shall be fully accomplished, the
doubts which have been expressed occasionally as to the existence of
the complete system of real numbers will become totally groundless.
The totality of real numbers, i. e., the continuum according to
the point of view just indicated, is not the totality of all possible
series in decimal fractions, or of all possible laws according to which
the elements of a fundamental sequence may proceed. It is rather a
system of things whose mutual relations are governed by the axioms set
up and for which all propositions, and only those, are true which can
be derived from the axioms by a finite number of logical processes. In
my opinion, the concept of the continuum is strictly logically tenable
in this sense only. It seems to me, indeed, that this corresponds best
also to what experience and intuition tell us. The concept of the
continuum or even that of the system of all functions exists, then, in
exactly the same sense as the system of integral, rational numbers, for
example, or as Cantor's higher classes of numbers and cardinal numbers.
For I am convinced that the existence of the latter, just as that of
the continuum, can be proved in the sense I have described; unlike the
[Pg 13]
system of all cardinal numbers or of all Cantor's alephs, for
which, as may be shown, a system of axioms, compatible in my sense,
cannot be set up. Either of these systems is, therefore, according to
my terminology, mathematically non-existent.
From the field of the foundations of geometry I should like to mention
the following problem:
[4]
Jahresbericht der Deutchen
Mathematiker-Vereinigung, vol. 8 (1900), p. 180.
3. THE EQUALITY OF THE VOLUMES OF TWO TETRAHEDRA
OF EQUAL BASES AND EQUAL ALTITUDES.
Public-domain text, read in full here on John Shaqi.
Reviews
Reviews
No reviews yet
Be the first to share your thoughts on this work.
Join the Discussion
Join the discussion
Sign in to leave a comment or review.
Sign InorCreate an account