"Dedekind proves mathematical induction, while Peano regards it as an axiom. This gives Dedekind an apparent superiority, which must be examined. ...not because of any logical superiority, it seems simpler to begin with mathematical induction. And it should be observed that, in Peano's method, it is only when theorems are to be proved concerning any number that mathematical induction is required. The elementary Arithmetic of our childhood, which discusses only particular numbers, is wholly independent of mathematical induction; though to prove that this is so for every particular number would itself require mathematical induction. In Dedekind's method, on the other hand, propositions concerning particular numbers, like general propositions, demand the consideration of chains. Thus there is, in Peano's method, a distinct advantage of simplicity, and a clearer separation between the particular and the general propositions of Arithmetic. But from a purely logical point of view, the two methods seem equally sound; and it is to be remembered that, with the logical theory of cardinals, both Peano's and Dedekind's axioms become demonstrable."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Bertrand Russell,The Principles of Mathematics (1903) Vol. 1 p.248
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…"