“TO INFINITY AND BEYOND” A DEEPER LOOK AND UNDERSTANDING.

Slides:



Advertisements
Similar presentations
Georg Cantor
Advertisements

Prof. Shachar Lovett Clicker frequency: CA CSE 20 Discrete math Prof. Shachar Lovett
Ch. 10: What is a number?. MAIN DEFINITION OF THE COURSE: A symmetry of an object (in the plane or space) means a rigid motion (of the plane or space)
Beyond Counting Infinity and the Theory of Sets Nate Jones & Chelsea Landis.
1 COMP 382: Reasoning about algorithms Unit 9: Undecidability [Slides adapted from Amos Israeli’s]
Whiteboardmaths.com © 2004 All rights reserved
EE1J2 - Slide 1 EE1J2 – Discrete Maths Lecture 10 Cardinality Uncountability of the real numbers.
Introduction to Computability Theory
Great Theoretical Ideas in Computer Science.
∞Exploring Infinity ∞ By Christopher Imm Johnson County Community College.
2, , and Beyond Debra S. Carney Mathematics Department University of Denver April 11, 2008 Sonya Kovalevsky Day - CCA.
CHAPTER 4 Decidability Contents Decidable Languages
Georg Cantor ( ) Founder of modern set theory.
Lecture ,3.3 Sequences & Summations Proof by Induction.
1 Introduction to Computability Theory Lecture11: The Halting Problem Prof. Amos Israeli.
2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/L5- CountingAndEnumeration.1 MAT 7003 : Mathematical Foundations (for Software Engineering) J Paul.
Great Theoretical Ideas in Computer Science.
Rational and Real Numbers The Rational Numbers are a field Rational Numbers are an integral domain, since all fields are integral domains What other properties.
Cantor’s Legacy: Infinity And Diagonalization Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 25Apr 13, 2004Carnegie.
ELEMENTARY NUMBER THEORY AND METHODS OF PROOF
Many quantities that arise in applications cannot be computed exactly. We cannot write down an exact decimal expression for the number π or for values.
Implications of Cantorian Transfinite Set Theory on Creation.
1 How Big Is Infinity? Some Mathematical Surprises Roger House Scientific Buzz Café French Garden Restaurant & Bistro Sebastopol, CA 2013 July 25 Copyright.
Problem: Can 5 test tubes be spun simultaneously in a 12-hole centrifuge? What does “balanced” mean? Why are 3 test tubes balanced? Symmetry! Can you merge.
2.4 Sequences and Summations
1 Lecture 3 (part 3) Functions – Cardinality Reading: Epp Chp 7.6.
Cantor and Countability: A look at measuring infinities How BIG is big? = a Googol 10 googol = a Googolplex = one Tremilliomilliotrecentrecentre.
Copyright © Cengage Learning. All rights reserved. CHAPTER 7 FUNCTIONS.
Ch. 11: Cantor’s Infinity!. N = {1, 2, 3, 4, 5, 6, …} “the natural numbers” Z = {…, –3, –2, –1, 0, 1, 2, 3, …} “the integers” Q = {all quotients “a/b”
Copyright © 2014 Curt Hill Cardinality of Infinite Sets There be monsters here! At least serious weirdness!
The Natural Philosophers
MATH 224 – Discrete Mathematics
COMPSCI 102 Introduction to Discrete Mathematics.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
Aim: How can the word ‘infinite’ define a collection of elements?
INFIINITE SETS CSC 172 SPRING 2002 LECTURE 23. Cardinality and Counting The cardinality of a set is the number of elements in the set Two sets are equipotent.
Activity 1-17: Infinity.
Stupid questions? Are there more integers than even integers?
Computability Universal Turing Machine. Countability. Halting Problem. Homework: Show that the integers have the same cardinality (size) as the natural.
I dare you not to get excited when you read Cantor’s Diagonal Proof: Georg Cantor was the most important mathematician no one has ever heard of. He did.
Great Theoretical Ideas in Computer Science.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
Anselm’s “1st” ontological argument Something than which nothing greater can be thought of cannot exist only as an idea in the mind because, in addition.
Lecture 4 Infinite Cardinals. Some Philosophy: What is “2”? Definition 1: 2 = 1+1. This actually needs the definition of “1” and the definition of the.
1 Melikyan/DM/Fall09 Discrete Mathematics Ch. 7 Functions Instructor: Hayk Melikyan Today we will review sections 7.3, 7.4 and 7.5.
Section 3.2: Sequences and Summations. Def: A sequence is a function from a subset of the set of integers (usually the set of natural numbers) to a set.
CS 285- Discrete Mathematics
CSE 311 Foundations of Computing I Lecture 25 Pattern Matching, Cardinality, Computability Spring
CSE 311: Foundations of Computing Fall 2013 Lecture 26: Pattern matching, cardinality.
CSE 311: Foundations of Computing Fall 2014 Lecture 27: Cardinality.
Great Theoretical Ideas in Computer Science about AWESOME Some Generating Functions Probability.
To Infinity And Beyond! CS Lecture 11 The Ideal Computer: no bound on amount of memory Whenever you run out of memory, the computer contacts the.
Section 2.5. Cardinality Definition: A set that is either finite or has the same cardinality as the set of positive integers (Z + ) is called countable.
Sequences Lecture 11. L62 Sequences Sequences are a way of ordering lists of objects. Java arrays are a type of sequence of finite size. Usually, mathematical.
One of Cantor's basic concepts was the notion of the size or cardinality of a set M, denoted by |M|  M - finite sets M is an n-set or has size n, if.
1-1 Copyright © 2013, 2005, 2001 Pearson Education, Inc. Section 2.4, Slide 1 Chapter 2 Sets and Functions.
Great Theoretical Ideas In Computer Science
The Acceptance Problem for TMs
Discrete Mathematics CS 2610
2.4 Sequences and Summations
2.6 Infinite Sets By the end of the class you will be able calculate the cardinality of infinite sets.
Countable or Uncountable…That is the question!
Lecture 7 Functions.
Discrete Structures for Computer Science
1 A The Cosmological Argument Kalam Argument
Module #4.5, Topic #∞: Cardinality & Infinite Sets
Discrete Mathematics and its Applications
Subsets of the Real Numbers
Module #4.5, Topic #∞: Cardinality & Infinite Sets
Great Theoretical Ideas in Computer Science
Presentation transcript:

“TO INFINITY AND BEYOND” A DEEPER LOOK AND UNDERSTANDING

INFINITY: DEF. AND SOME BACKGROUND “To Infinity and Beyond” the phrase coined by Buzz Light-year in the Disney animated film Toy Story is somewhat redundant Infinity as we know it is the “beyond”; it is as far, as large, as long, etc. as our brains can wrap around. It can be defined as an unlimited extent of time, space, or quantity; eternity; boundlessness; immensity; or unlimited capacity, energy, excellence, or knowledge. Natural numbers are said to be infinite: 1,2,3,…The number of points on an unending line are infinite. Time and space are assumed infinite. With these observations it is easy to see why our friend Buzz’s phrase is a little off base.

INFINITY: SOME HISTORY In about the sixth century B.C., the first acknowledgement of infinity was made by the Greeks. They were the first to come up with philosophical sciences from practical ideas. However, in a mathematical sense, they were not unable to “wrap their brains around” the concept so easily, so they sort of just dismissed the notion, and avoided the concept. It was a long time later when infinity resurfaced in the sixteenth century with a formula showing that pi can be calculated with other operations than geometry ones. The formula was the first to use infinity to express a function. (See formula page #1)

Some History cont. Another formula was exposed by the mathematician John Wallis in Wallis was born in 1616 in Ashford, Kent, England, and died in His formula included both pi and infinity as well. (see formula page #2) A third formula uncovering an infinite series was detected by Gregory Leibniz in (see formula page # 3) All three of these discoveries were the result of finding an approximation for pi. Since pi is in essence a never ending decimal, without the help of infinity, we would probably still be searching for a way to recognize and define the expansion of pi. This was pretty much the standing point of infinity until later, with the genius of George Cantor. He published the first of many papers to come about the concept of infinity.

INFINITY: BIOGRAPHY OF GEORGE CANTOR AND HIS CONTRIBUTION George Cantor was a mathematician who was born in Russia, but lived in Germany most of his life. He was the son of a Danish merchant, George, and Maria, a Russian musician. He attended German schools and received his Doctorate from the University of Berlin in 1867.

CANTOR BIO. Cont. Cantor was a disciple of Immanuel Kent, and he was interested in developing a new logic of infinity, others than those used by astrologers, etc. before him. He assumed there was something about rational numbers that makes them discontinuous, and too, something about real numbers that made the set continuous.

Cantor cont. Cantor worked to come up with a dichotomy between these two sets of numbers, and established a diagonal method (shown on paper) to demonstrate his theory. He proved that the set of real numbers (R) is uncountable, and therefore larger than the set of all rational numbers (Q), with rational numbers being countable on the other hand. Cantor saw infinity as a mixture of continuous, as well as discontinuous sets, while both being infinite still at the same time.

Cantor cont. The last part of George Cantor’s life was not so productive. He suffered from depression, which today would be considered as a case of bi-polar disorder. He was hospitalized many times, and it was in one of the institutions that he passed away in Although Cantor did not live to be very old, and his innovative mathematics faced much criticism, he was a stronghold force in the research and understanding of infinity, and so is remembered for that.

Infinity: Some of Cantor’s Work Cantor used a one to one correspondence method, between two sets of numbers that have the same cardinality. If you use a finite set, and an infinite set, the one to one correspondence acts in the same way. CORRESPONDENCE WITH A FINITE SET { } cardinality of five { } also cardinality of five (set) = (set) CORRESPONDENCE WITH AN INFINITE SET Set 1: { n…} (infinite number of counting numbers: cardinality = 0) Set 2: { n-1...} (infinite number of whole numbers: cardinality = 0) (set)=(set) Since corresponding numbers represented by “n” in the first set and “n-1” in the second set, no matter what point is chosen in set one (n), (n-1) will represent the correct correspondence in set two, and both sets have cardinality zero.

More of Cantor’s Work Cantor’s famous Diagonalization Proof shows that the cardinality of Reals can be proved to be larger than the cardinality of Natural numbers. First, we assume that we have found a one to one correspondence between the reals and the natural numbers between zero and one. Secondly, we put numbers in a list in decimal notation that we assume, again, to be complete.

Cantor’s Work cont … Third, we assume our list is complete. Next, we choose numbers different than the first digit in the first number, the second digit in the second number, the third digit in the third number, and so on, on down the diagonal. For example we can choose our number to be … This “last” number will be different from the first in the first digit, be different from the second digit in the second number, etc.

CANTOR’S WORK cont. Therefore the number will differ from all numbers in the list, but is clearly a number between zero and one and is a real number. Since our number is not in our list, our list is not complete as assumed. Since this is so, there cannot be any such one to one correspondence between the reals and the naturals between zero and one. In this manner we can map the naturals onto the reals but not map the reals onto the naturals. We can see through this that the infinity of decimal numbers that are bigger than zero but less than one is greater than the infinity of counting numbers. No matter how large a set is, we can always consider a set that is larger…infinity.

CONTRADICTION TO CANTOR There have been many whom have questioned George Cantor’s reasoning for his infinity findings. Some have recognized mistakes that Cantor did not acknowledge, including the following argument.

CONTRADICTION TO CANTOR cont. One of Cantor’s claims was that all non-finite countable sets have the same cardinality. (The contradiction starts out here) If we have N = {0,1,2,3,4,…} There are sets I = {0,2,4,6,8...} (N x 2) II = {0,1,4,9,16...} (N squared) III = {1,3,5,7,9...} (N x 2 + 1) Claim I, II, and III have the same cardinality. Also goes on to claim that I, II, III are proper subsets of the set N. This is where Cantor goes wrong…

Contradiction, cont. The correct interpretation is that they are not subsets because they have the same cardinality as set N. Cantor was unaware that given sets A,B: If “A sub B” (A is a proper subset of B) then “Cardinality (A) < Cardinality (B)” Cardinality (A) = Cardinality (B) if and only if A 1-1 B (there is only one element of set A for every element of set B). Contemporary mathematicians of the time, including Cantor, were unable to imagine sets of greater cardinality than the set N.

CONCLUSION The concept of infinity does not end with Cantor, obviously. His results were looked over and studied, and met with much criticism from other mathematicians, as well as his peers even. As we all know, infinity still is prevalent today in physics, astronomy, cosmology, etc. Modern mathematics makes much use of infinite sequences of numbers, and will probably in time come up with other ways to express this concept, considering the exponential ways of the subject. Although some may consider, or even prefer, to not use infinity, or not try and understand it’s magnitude, we can always go beyond what infinity is intuitively. But once redundant as in “To Infinity and Beyond”, ironically, the concept itself is a subject of the beyond.