Anda di halaman 1dari 43

# Hilberts Hotel

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ...

10

11

12

13

14

15

...

10

11

12

13

14

15

...

10

11

12

13

14

15

...

n+1

10

11

12

13

14

15

...

10

11

12

13

14

15

...

2n

10

11

12

13

14

15

...

10

11

12

13

14

15

...

2n

10

11

12

13

14

15

...

10

11

12

13

14

15

..

10

11

12

13

14

15

..

2n

## There is no biggest prime. (i.e. the set of all primes is infinite)

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum:

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p.

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p. Let p1, p2, ..., pn be all the primes smaller than p.

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p. Let p1, p2, ..., pn be all the primes smaller than p. Consider the number q = p1 p2 ... pn + 1

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p. Let p1, p2, ..., pn be all the primes smaller than p. Consider the number q = p1 p2 ... pn + 1 q is not divisible by any natural number except 1 and q itself. Therefore, q is a prime.

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p. Let p1, p2, ..., pn be all the primes smaller than p. Consider the number q = p1 p2 ... pn + 1 q is not divisible by any natural number except 1 and q itself. Therefore, q is a prime. q is also bigger than p.

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p. Let p1, p2, ..., pn be all the primes smaller than p. Consider the number q = p1 p2 ... pn + 1 q is not divisible by any natural number except 1 and q itself. Therefore, q is a prime. q is also bigger than p. Therefore, q is a prime bigger than p, which contradicts our assumption that p is the biggest prime.

There is no biggest prime. (i.e. the set of all primes is infinite) Proof by reduction ad absurdum: Suppose the opposite. i.e. that there is a natural number which is a prime and is bigger than any other prime. Call it p. Let p1, p2, ..., pn be all the primes smaller than p. Consider the number q = p1 p2 ... pn + 1 q is not divisible by any natural number except 1 and q itself. Therefore, q is a prime. q is also bigger than p. Therefore, q is a prime bigger than p, which contradicts our assumption that p is the biggest prime. Conclusion: There is no biggest prime. QED

10

11

12

13

14

15

...

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

..

10

11

12

13

14

15

...

3
b1 p1

9
b1 p2

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27
b1 p3

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

3
b1 p1

5
b2 p1

9
b1 p2

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25
b2 p2

26

27
b1 p3

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

3
b1 p1

5
b2 p1

7
b3 p1

9
b1 p2

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25
b2 p2

26

27
b1 p3

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

## 3rd bus: passenger n goes to the room 7n

3
b1 p1

5
b2 p1

7
b3 p1

9
b1 p2

10

11

12

13

14

15

...

16

17

18

19

20

21

22

23

24

25
b2 p2

26

27
b1 p3

28

29

30

...

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

...

Bus 4
Bus 5 Bus 6

11
13 17

Bus 7
Bus 8 Bus 9

19
23 29

Bus 10
Bus 11 Bus 12

31
37 41

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

..

31 15 21 33

32

33

34

35

36

37

38 35 39 45

39

40

41

42

43

44

45

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

..

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

15 = 3 5 21 = 3 7 33 = 3 11

35 = 5 7 39 = 3 11 45 = 9 5 = 32 5

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

..

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

3n 5m 3n 7m 3n 11m

3n 13m 3n 17m

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

3n 5m 3n 7m 3n 11m

3n 13m 3n 17m

5n 7m 5n 11m 5n 13m

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31 3n 3n

32 5m 7m

33

34 3n 3n

35 13m 17m

36

37

38

39

40

41

42

43

44

45

5n 7m 5n 11m 5n 13m

3n 5m 7p 3n 5m 7p 19q 43t

3n 11m

r0

0.