more from this thinker     |     more from this text


Single Idea 14147

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction ]

Full Idea

The transfinite was obtained by denying mathematical induction.

Gist of Idea

Denying mathematical induction gave us the transfinite

Source

Bertrand Russell (The Principles of Mathematics [1903], §310)

Book Ref

Russell,Bertrand: 'Principles of Mathematics' [Routledge 1992], p.332


A Reaction

This refers to the work of Dedekind and Cantor. This raises the question (about which thinkers have ceased to care, it seems), of whether it is rational to deny mathematical induction.


The 10 ideas with the same theme [rule to get from axioms to general mathematical truths]:

Induction is proved in Dedekind, an axiom in Peano; the latter seems simpler and clearer [Dedekind, by Russell]
It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C]
Finite numbers, unlike infinite numbers, obey mathematical induction [Russell]
Denying mathematical induction gave us the transfinite [Russell]
Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock]
Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock]
The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P]
If a set is defined by induction, then proof by induction can be applied to it [Zalabardo]
Inductive proof depends on the choice of the ordering [Walicki]
Transfinite induction moves from all cases, up to the limit ordinal [Colyvan]