"I come now to the capital work of Hilbert which he communicated to the Congress of Mathematicians at Heidelberg... of which...an English translation due to Halsted appeared in The Monist. ...the author's aim is analogous to that of Russell, but on many points he diverges from his predecessor. "But," he says, "on attentive consideration we become aware that in the usual exposition of the laws of logic certain fundamental concepts of arithmetic are already employed; for example, the concept of the aggregate, in part also the concept of number. "We fall thus into a vicious circle and therefore to avoid paradoxes a partly simultaneous development of the laws of logic and arithmetic is requisite." ...what Hilbert says of the principles of logic in the usual exposition applies likewise to the logic of Russell. So for Russell logic is prior to arithmetic; for Hilbert they are 'simultaneous.' We shall find... other differences still greater... I prefer to follow step by step the development of Hubert's thought... "Let us take as the basis of our consideration first of all a thought-thing 1 (one)." Notice that in so doing we in no wise imply the notion of number, because it is understood that 1 is here only a symbol and that we do not at all seek to know its meaning. "The taking of this thing together with itself respectively two, three or more times ..." Ah! this time it is no longer the same; if we introduce the words 'two,' 'three,' and above all 'more,' 'several,' we introduce the notion of number; and then the definition of finite whole number which we shall presently find, will come too late. Our author was too circumspect not to perceive this begging of the question. So at the end of his work he tries to proceed to a truly patching-up process. Hilbert then introduces two simple objects 1 and =, and and considers all the combinations of these two objects, all the combinations of their combinations, etc. It goes without saying that we must forget the ordinary meaning of these two signs and not attribute any to them. Afterwards he separates these combinations into two classes, the class of the existent and the class of the non-existent... entirely arbitrary. Every affirmative statement tells us that a certain combination belongs to the class of the existent; every negative statement tells us that a certain combination belongs to the class of the non-existent. Note now a difference of the highest importance. For Russell any object whatsoever, which he designates by x, is an object absolutely undetermined and about which he supposes nothing; for Hilbert it is one of the combinations formed with the symbols 1 and =; he could not conceive of the introduction of anything other than combinations of objects already defined."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Henri Poincaré, The Foundations of Science (1902-1908) Tr. George Bruce Halstead (1913) pp. 464-465.
https://en.wikiquote.org/wiki/Foundations_of_mathematics
Revision History
No revisions have been submitted for this quote.
Categories
Foundations of mathematics
49 quotes on TrueQuotesView all quotes by Foundations of mathematics →
Related Quotes
"These doubts did not halt mathematical creation. Technicians working on the superstructure did not drop their tools a…"
"I shall now address you on the subject of the present situation in research in the foundations of mathematics. Since …"
"The truth is that the mathematical sciences are growing in complete security and harmony. The ideas of Dedekind, Poin…"
"As soon as I have put it into order I intend to write and if possible to publish a work on parallels. At this moment,…"
"I should regard it as a great misfortune if you were to allow yourself to be deterred by the 'clamors of the Bœotians…"
"Now Gödel's proof, Russell's original paradox, all these things, all stem from one common root which is inherent in a…"
"The world is totally connected. Whatever explanation we invent at any moment is a partial connection, and its richnes…"
"Mathematics is in its development entirely free and is only bound in the self-evident respect that its concepts must …"
"In the summer of 1914 I attended Frege's course, Logik in der Mathematik. Here he examined critically some of the cus…"
"Fourier's analytical theory of heat (final form, 1822), devised in the Galileo-Newton tradition of controlled observa…"