display all the ideas for this combination of texts
7 ideas
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
Full Idea: It is surely wise to identify the positions in the natural numbers structure with their counterparts in the integer, rational, real and complex number structures. | |
From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2) | |
A reaction: The point is that this might be denied, since 3, 3/1, 3.00.., and -3*i^2 are all arrived at by different methods of construction. Natural 3 has a predecessor, but real 3 doesn't. I agree, intuitively, with Shapiro. Russell (1919) disagreed. |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
Full Idea: Every member of an ordinal is itself an ordinal, and every ordinal is a transitive set (its members are also its subsets; a member of a member of an ordinal is also a member of the ordinal). | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 2.3) |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
Full Idea: The collection of ordinals is defined inductively: Basis: the empty set is an ordinal; Ind: for an ordinal x, the union with its singleton is also an ordinal; and any arbitrary (possibly infinite) union of ordinals is an ordinal. | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 2.3) | |
A reaction: [symbolism translated into English] Walicki says they are called 'ordinal numbers', but are in fact a set. |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
Full Idea: We can form infinite ordinals by taking unions of ordinals. We can thus form 'limit ordinals', which have no immediate predecessor. ω is the first (the union of all finite ordinals), ω + ω = sω is second, 3ω the third.... | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 2.3) |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
Full Idea: There may be several ordinals for the same cardinality. ...Two ordinals can represent different ways of well-ordering the same number (aleph-0) of elements. | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 2.3) | |
A reaction: This only applies to infinite ordinals and cardinals. For the finite, the two coincide. In infinite arithmetic the rules are different. |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
Full Idea: An ordinal can be defined as a transitive set of transitive sets, or else, as a transitive set totally ordered by set inclusion. | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 2.3) |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
Full Idea: A sequence a1,a2,... of rational numbers is 'Cauchy' if for each rational number ε>0 there is a natural number N such that for all natural numbers m, n, if m>N and n>N then -ε < am - an < ε. | |
From: Stewart Shapiro (Thinking About Mathematics [2000], 7.2 n4) | |
A reaction: The sequence is 'Cauchy' if N exists. |