more from this thinker     |     more from this text

Single Idea 13508

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers ]

Full Idea

Dedekind's natural numbers: an object is in a set (0 is a number), a function sends the set one-one into itself (numbers have unique successors), the object isn't a value of the function (it isn't a successor), plus induction.

Gist of Idea

Dedekind gives a base number which isn't a successor, then adds successors and induction

Source

report of Richard Dedekind (Nature and Meaning of Numbers [1888]) by William D. Hart - The Evolution of Logic 5

Book Ref

Hart,W.D.: 'The Evolution of Logic' [CUP 2010], p.124

A Reaction

Hart notes that since this refers to sets of individuals, it is a second-order account of numbers, what we now call 'Second-Order Peano Arithmetic'.

The 20 ideas with the same theme [general ideas about giving arithmetic a formal basis]:

23026 We know mathematical axioms, such as subtracting equals from equals leaves equals, by a natural light [Leibniz]
8737 Kant suggested that arithmetic has no axioms [Kant, by Shapiro]
5557 Axioms ought to be synthetic a priori propositions [Kant]
8742 The only axioms needed are for equality, addition, and successive numbers [Mill, by Shapiro]
13508 Dedekind gives a base number which isn't a successor, then adds successors and induction [Dedekind, by Hart,WD]
16883 Arithmetical statements can't be axioms, because they are provable [Frege, by Burge]
16864 If principles are provable, they are theorems; if not, they are axioms [Frege]
3338 Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn]
17964 Number theory just needs calculation laws and rules for integers [Hilbert]
14431 The definition of order needs a transitive relation, to leap over infinite intermediate terms [Russell]
14124 Axiom of Archimedes: a finite multiple of a lesser magnitude can always exceed a greater [Russell]
9939 It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam]
9899 The successor of x is either x and all its members, or just the unit set of x [Benacerraf]
9900 For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf]
10808 Mathematics is generalisations about singleton functions [Lewis]
10608 The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P]
10618 All numbers are related to zero by the ancestral of the successor relation [Smith,P]
10174 Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
17715 The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares]
17312 It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki]