Representations of Ordinal Numbers Juan Sebasti an C ardenas-Rodr - - PowerPoint PPT Presentation

representations of ordinal numbers
SMART_READER_LITE
LIVE PREVIEW

Representations of Ordinal Numbers Juan Sebasti an C ardenas-Rodr - - PowerPoint PPT Presentation

Representations of Ordinal Numbers Juan Sebasti an C ardenas-Rodr guez Andr es Sicard-Ram rez Mathematical Engineering, Universidad EAFIT September 19, 2019 Tutor Ordinal numbers Cantor Cantor defined ordinal numbers


slide-1
SLIDE 1

Representations of Ordinal Numbers

Juan Sebasti´ an C´ ardenas-Rodr´ ıguez Andr´ es Sicard-Ram´ ırez∗

Mathematical Engineering, Universidad EAFIT

September 19, 2019

∗Tutor

slide-2
SLIDE 2

Ordinal numbers

Cantor

Cantor at early 20th century.∗

Cantor defined ordinal numbers by two principles of generation and a first ordinal [Tiles 2004].

∗Taken from Wikipedia. 2 / 14

slide-3
SLIDE 3

Ordinal numbers

Cantor

Cantor at early 20th century.∗

Cantor defined ordinal numbers by two principles of generation and a first ordinal [Tiles 2004]. ◮ 0 is the first ordinal number.

∗Taken from Wikipedia. 2 / 14

slide-4
SLIDE 4

Ordinal numbers

Cantor

Cantor at early 20th century.∗

Cantor defined ordinal numbers by two principles of generation and a first ordinal [Tiles 2004]. ◮ 0 is the first ordinal number. ◮ The successor of an ordinal number is an ordinal number.

∗Taken from Wikipedia. 2 / 14

slide-5
SLIDE 5

Ordinal numbers

Cantor

Cantor at early 20th century.∗

Cantor defined ordinal numbers by two principles of generation and a first ordinal [Tiles 2004]. ◮ 0 is the first ordinal number. ◮ The successor of an ordinal number is an ordinal number. ◮ The limit of an infinite increasing sequence of

  • rdinals is an ordinal

number.

∗Taken from Wikipedia. 2 / 14

slide-6
SLIDE 6

Ordinal numbers

Constructing Some Ordinals

Example

Let’s construct some ordinals using the previous rules.

3 / 14

slide-7
SLIDE 7

Ordinal numbers

Constructing Some Ordinals

Example

Let’s construct some ordinals using the previous rules. 0, 1, 2, . . . , ω, ω + 1, ω + 2, . . . , ω + ω = ω · 2,

3 / 14

slide-8
SLIDE 8

Ordinal numbers

Constructing Some Ordinals

Example

Let’s construct some ordinals using the previous rules. 0, 1, 2, . . . , ω, ω + 1, ω + 2, . . . , ω + ω = ω · 2, ω · 2 + 1, ω · 2 + 2, . . . , ω · 3, . . . , ω · n, ω · n + 1, . . .

3 / 14

slide-9
SLIDE 9

Ordinal numbers

Constructing Some Ordinals

Example

Let’s construct some ordinals using the previous rules. 0, 1, 2, . . . , ω, ω + 1, ω + 2, . . . , ω + ω = ω · 2, ω · 2 + 1, ω · 2 + 2, . . . , ω · 3, . . . , ω · n, ω · n + 1, . . . ω2, ω2 + 1, ω2 + 2, . . . , ω3, ω3 + 1, . . . , ωω, . . .

3 / 14

slide-10
SLIDE 10

Ordinal numbers

Constructing Some Ordinals

Example

Let’s construct some ordinals using the previous rules. 0, 1, 2, . . . , ω, ω + 1, ω + 2, . . . , ω + ω = ω · 2, ω · 2 + 1, ω · 2 + 2, . . . , ω · 3, . . . , ω · n, ω · n + 1, . . . ω2, ω2 + 1, ω2 + 2, . . . , ω3, ω3 + 1, . . . , ωω, . . . ωωω, . . . , ωωωω , . . . , ωωωωω , . . . , ǫ0, . . .

3 / 14

slide-11
SLIDE 11

Ordinal numbers

von Neumann Ordinals

von Neumann [1928] defined ordinals by:

Definition

An ordinal is a set α that satisfies: ◮ For every y ∈ x ∈ α it occurs that y ∈ α. This is called a transitive property. ◮ The set α is well-ordered by the membership relationship.

4 / 14

slide-12
SLIDE 12

Ordinal numbers

von Neumann Ordinals

von Neumann [1928] defined ordinals by:

Definition

An ordinal is a set α that satisfies: ◮ For every y ∈ x ∈ α it occurs that y ∈ α. This is called a transitive property. ◮ The set α is well-ordered by the membership relationship.

Remark

Observe that the definition is not recursive as Cantor’s.

4 / 14

slide-13
SLIDE 13

Ordinal numbers

Some von Neumann Ordinals

0 := ∅

5 / 14

slide-14
SLIDE 14

Ordinal numbers

Some von Neumann Ordinals

0 := ∅ 1 := {0} 2 := {0, 1}

5 / 14

slide-15
SLIDE 15

Ordinal numbers

Some von Neumann Ordinals

0 := ∅ 1 := {0} 2 := {0, 1} . . . ω := {0, 1, 2, . . .} ω + 1 := {0, 1, 2, . . . , ω} . . .

5 / 14

slide-16
SLIDE 16

Ordinal numbers

Some von Neumann Ordinals

0 := ∅ 1 := {0} 2 := {0, 1} . . . ω := {0, 1, 2, . . .} ω + 1 := {0, 1, 2, . . . , ω} . . . It is important to see that it occurs that: 0 ∈ 1 ∈ 2 ∈ . . . ω ∈ ω + 1 ∈ . . .

5 / 14

slide-17
SLIDE 17

Ordinal numbers

Countable Ordinals

Definition

A countable ordinal is an ordinal whose cardinality is finite or denumerable.

6 / 14

slide-18
SLIDE 18

Ordinal numbers

Countable Ordinals

Definition

A countable ordinal is an ordinal whose cardinality is finite or denumerable. The first non-countable ordinal is defined as: ω1 := Set of all countable ordinals

6 / 14

slide-19
SLIDE 19

Ordinal numbers

Countable Ordinals

Definition

A countable ordinal is an ordinal whose cardinality is finite or denumerable. The first non-countable ordinal is defined as: ω1 := Set of all countable ordinals It is important to notice that the countable ordinals are the

  • rdinals of the first and second class of Cantor.

6 / 14

slide-20
SLIDE 20

Ordinal numbers

Hilbert Definition

Hilbert defined the natural and ordinal numbers using predicate logic [Hilbert 1925].

7 / 14

slide-21
SLIDE 21

Ordinal numbers

Hilbert Definition

Hilbert defined the natural and ordinal numbers using predicate logic [Hilbert 1925]. Nat(0) Nat(n) → Nat(succ(n)) {P(0) ∧ ∀n[P(n) → P(succ(n))]} → [Nat(n) → P(n)]

7 / 14

slide-22
SLIDE 22

Ordinal numbers

Hilbert Definition

Hilbert defined the natural and ordinal numbers using predicate logic [Hilbert 1925]. Nat(0) Nat(n) → Nat(succ(n)) {P(0) ∧ ∀n[P(n) → P(succ(n))]} → [Nat(n) → P(n)] On(0) On(n) → On(succ(n)) {∀n[Nat(n) → On(f (n))]} → On(lim(f (n))) {P(0) ∧ ∀n[P(n) → P(succ(n))] ∧ ∀f ∀n[P(f (n)) → P(lim f )]]} → [On(n) → P(n)]

7 / 14

slide-23
SLIDE 23

Ordinal numbers

Hilbert Definition

Hilbert defined the natural and ordinal numbers using predicate logic [Hilbert 1925]. Nat(0) Nat(n) → Nat(succ(n)) {P(0) ∧ ∀n[P(n) → P(succ(n))]} → [Nat(n) → P(n)] On(0) On(n) → On(succ(n)) {∀n[Nat(n) → On(f (n))]} → On(lim(f (n))) {P(0) ∧ ∀n[P(n) → P(succ(n))] ∧ ∀f ∀n[P(f (n)) → P(lim f )]]} → [On(n) → P(n)] where Nat and On are propositional functions representing both numbers.

7 / 14

slide-24
SLIDE 24

Ordinal numbers

Computable Ordinals

Church and Kleene [1937] defined computable ordinals as ordinals that are λ-definable.

∗See CK Wikipedia 8 / 14

slide-25
SLIDE 25

Ordinal numbers

Computable Ordinals

Church and Kleene [1937] defined computable ordinals as ordinals that are λ-definable.

Remark

The computable ordinals are less than the countable ones, as there are less λ-terms than real numbers.

∗See CK Wikipedia 8 / 14

slide-26
SLIDE 26

Ordinal numbers

Computable Ordinals

Church and Kleene [1937] defined computable ordinals as ordinals that are λ-definable.

Remark

The computable ordinals are less than the countable ones, as there are less λ-terms than real numbers. The first countable ordinal that is non-computable is called ωCK

1 ∗.

∗See CK Wikipedia 8 / 14

slide-27
SLIDE 27

Ordinal numbers

Computable Ordinals

Church and Kleene [1937] defined computable ordinals as ordinals that are λ-definable.

Remark

The computable ordinals are less than the countable ones, as there are less λ-terms than real numbers. The first countable ordinal that is non-computable is called ωCK

1 ∗.

Furthermore, all non-countable ordinals are non-computable.

∗See CK Wikipedia 8 / 14

slide-28
SLIDE 28

Representations

Hardy

Hardy represented ordinals by sequences of natural numbers and defined two operations [Hardy 1904].

9 / 14

slide-29
SLIDE 29

Representations

Hardy

Hardy represented ordinals by sequences of natural numbers and defined two operations [Hardy 1904].

  • 0, 1, 2, ... → 0

9 / 14

slide-30
SLIDE 30

Representations

Hardy

Hardy represented ordinals by sequences of natural numbers and defined two operations [Hardy 1904].

  • 0, 1, 2, ... → 0
  • 1, 2, 3, ... → 1
  • 2, 3, 4, ... → 2

9 / 14

slide-31
SLIDE 31

Representations

Hardy

Hardy represented ordinals by sequences of natural numbers and defined two operations [Hardy 1904].

  • 0, 1, 2, ... → 0
  • 1, 2, 3, ... → 1
  • 2, 3, 4, ... → 2

. . .

  • 0, 2, 4, 6 ... → ω
  • 2, 4, 6, 8 ... → ω + 1
  • 4, 6, 8, 10 ... → ω + 2

9 / 14

slide-32
SLIDE 32

Representations

Hardy

Hardy represented ordinals by sequences of natural numbers and defined two operations [Hardy 1904].

  • 0, 1, 2, ... → 0
  • 1, 2, 3, ... → 1
  • 2, 3, 4, ... → 2

. . .

  • 0, 2, 4, 6 ... → ω
  • 2, 4, 6, 8 ... → ω + 1
  • 4, 6, 8, 10 ... → ω + 2

. . .

  • 0, 4, 8, 12, ... → ω · 2
  • 4, 8, 12, 16, ... → ω · 2 + 1
  • 8, 12, 16, 20, ... → ω · 2 + 2

9 / 14

slide-33
SLIDE 33

Representations

Hardy

Here this representation can be written representing the sequences

  • f natural numbers as functions. In this manner, it is obtained that:

0x := x

10 / 14

slide-34
SLIDE 34

Representations

Hardy

Here this representation can be written representing the sequences

  • f natural numbers as functions. In this manner, it is obtained that:

0x := x 1x := x + 1 2x := x + 2

10 / 14

slide-35
SLIDE 35

Representations

Hardy

Here this representation can be written representing the sequences

  • f natural numbers as functions. In this manner, it is obtained that:

0x := x 1x := x + 1 2x := x + 2 . . . ωx := 2x

10 / 14

slide-36
SLIDE 36

Representations

Hardy

Here this representation can be written representing the sequences

  • f natural numbers as functions. In this manner, it is obtained that:

0x := x 1x := x + 1 2x := x + 2 . . . ωx := 2x (ω + 1)x := 2(x + 1) (ω + 2)x := 2(x + 2)

10 / 14

slide-37
SLIDE 37

Representations

Hardy

Here this representation can be written representing the sequences

  • f natural numbers as functions. In this manner, it is obtained that:

0x := x 1x := x + 1 2x := x + 2 . . . ωx := 2x (ω + 1)x := 2(x + 1) (ω + 2)x := 2(x + 2) . . . (ω · n + k)x := 2n(x + k)

10 / 14

slide-38
SLIDE 38

Representations

Martin-L¨

  • f’s Representation

Martin-L¨

  • f’s represented ordinals in his type theory [Martin-L¨
  • f

1984].

11 / 14

slide-39
SLIDE 39

Representations

Martin-L¨

  • f’s Representation

Martin-L¨

  • f’s represented ordinals in his type theory [Martin-L¨
  • f

1984]. zero : Nat n : Nat succ n : Nat

11 / 14

slide-40
SLIDE 40

Representations

Martin-L¨

  • f’s Representation

Martin-L¨

  • f’s represented ordinals in his type theory [Martin-L¨
  • f

1984]. zero : Nat n : Nat succ n : Nat zeroo : On n : On succo n : On f : Nat → On lim f : On

11 / 14

slide-41
SLIDE 41

Representations

Martin-L¨

  • f’s Representation

Remark

Martin-L¨

  • f’s definition is analogous to Cantor and Hilbert’s

definition.

12 / 14

slide-42
SLIDE 42

Representations

Martin-L¨

  • f’s Representation

Remark

Martin-L¨

  • f’s definition is analogous to Cantor and Hilbert’s

definition.

Question

Which ordinal cannot be constructed by Martin-L¨

  • f’s

representation?

12 / 14

slide-43
SLIDE 43

Representations

Martin-L¨

  • f’s Representation

Remark

Martin-L¨

  • f’s definition is analogous to Cantor and Hilbert’s

definition.

Question

Which ordinal cannot be constructed by Martin-L¨

  • f’s

representation? Is it possible to define, similarly, a ωML

1 ?

12 / 14

slide-44
SLIDE 44

References I

Church, Alonzo and Kleene (1937). “Formal Definitions in the Theory of Ordinal Numbers”. In: Fundamenta Mathematicae 28, pp. 11–21. Hardy, Godfrey H. (1904). “A Theorem Concerning the Infinite Cardinal Numbers”. In: Quarterly Journal of Mathematics 35, pp. 87–94. Hilbert, David (1925). “On the Infinite”. In: Reprinted in: From Frege to G¨

  • del: A Source Book in Mathematical Logic,

1879-1931 (1967). Ed. by Jean van Heijenoort. Vol. 9. Harvard University Press, pp. 367–392. Martin-L¨

  • f, Per (1984). Intuitonistic Type Theory. Bibliopolis.

Neumann, J. von (1928). “Die Axiomatisierung der Mengenlehre”. In: Mathematische Zeitschrift 27.1,

  • pp. 669–752.

13 / 14

slide-45
SLIDE 45

References II

Tiles, Mary (2004). The Philosophy of Set Theory: An Historical Introduction to Cantor’s Paradise. Courier Corporation.

14 / 14