Study guide What was Bolzano’s contribution to set theory and when did he make it. What is the cardinal of N,Q,Z? Prove your statement. Give two formulations.

Slides:



Advertisements
Similar presentations
Cantor’s Infinities Raymond Flood Gresham Professor of Geometry.
Advertisements

Gödel’s Incompletness Theorem By Njegos Nincic. Overview  Set theory: Background, History Naïve Set Theory  Axiomatic Set Theory  Icompleteness Theorem.
04/23/13 Countability Discrete Structures (CS 173) Derek Hoiem, University of Illinois 1.
First-order Set Theory Chapter 15 Language, Proof and Logic.
Zermelo-Fraenkel Axioms Ernst Zermelo ( ) gave axioms of set theory, which were improved by Adolf Fraenkel ( ). This system of axioms called.
Ramsey Theory on the Integers and Reals
Introduction to Computability Theory
Great Theoretical Ideas in Computer Science.
Logic and Set Theory.
Georg Cantor ( ) Founder of modern set theory.
Cardinals Georg Cantor ( ) thought of a cardinal as a special represenative. Bertrand Russell ( ) and Gottlob Frege ( ) used the.
A Very Practical Series 1 What if we also save a fixed amount (d) every year?
2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/L5- CountingAndEnumeration.1 MAT 7003 : Mathematical Foundations (for Software Engineering) J Paul.
ORDINAL NUMBERS VINAY SINGH MARCH 20, 2012 MAT 7670.
Cantor’s Legacy: Infinity And Diagonalization Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 25Apr 13, 2004Carnegie.
The Formal Quantification of Infinities in the Modern Era Cantor’s Theory of Sets and Transfinite Numbers Dr. Jean Nicolas Pestieau Assistant Professor.
Cardinality of Sets Section 2.5.
In mathematics, a rational number is any number that can be expressed as the quotient or fraction p/q of two integers, with the denominator q not equal.
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.
Math 3121 Abstract Algebra I Section 0: Sets. The axiomatic approach to Mathematics The notion of definition - from the text: "It is impossible to define.
Basic Concepts of Discrete Probability (Theory of Sets: Continuation) 1.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 1 - Intro Mälardalen University 2010.
Chapter 1Section 2 - Ruler Postulate1 Chapter 1 Exploring Geometry: Points, Lines, and Angles in the Plane Section 2 Ruler Postulate Objectives: Students.
Paradoxes of the Infinite Kline XXV Pre-May Seminar March 14, 2011.
1.1 Introduction to Inductive and Deductive Reasoning
Copyright © 2014 Curt Hill Cardinality of Infinite Sets There be monsters here! At least serious weirdness!
Relations, Functions, and Countability
Section 3.1 Beyond Numbers What Does Infinity Mean?
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.
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.
Stupid questions? Are there more integers than even integers?
Great Theoretical Ideas in Computer Science.
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.
CS 285- Discrete Mathematics
CSE 311: Foundations of Computing Fall 2013 Lecture 26: Pattern matching, cardinality.
CSE 311: Foundations of Computing Fall 2014 Lecture 27: Cardinality.
Sets and Size Basic Question: Compare the “size” of sets. First distinction finite or infinite. –What is a finite set? –How can one compare finite sets?
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.
Infinity and Beyond! A prelude to Infinite Sequences and Series (Chp 10)
1-1 Copyright © 2013, 2005, 2001 Pearson Education, Inc. Section 2.4, Slide 1 Chapter 2 Sets and Functions.
A historical introduction to the philosophy of mathematics
Raymond Flood Gresham Professor of Geometry
2.5 Postulates and Paragraph Proofs
Introduction to Measure Theory
Magical Math Results …and Their Explanations Robert “Dr. Bob” Gardner
SUBSETS How can I send VALENTINES? --- Let me count the ways.
No vector calculus / trig! No equations!
2.4 Sequences and Summations
Young man, in mathematics you don't understand things
The Concept of Infinity
2.6 Infinite Sets By the end of the class you will be able calculate the cardinality of infinite sets.
Cardinality of Sets Section 2.5.
Lecture 2 Propositional Logic
Lecture 7 Functions.
Infinity in Classical Indian Mathematics
Discrete Structures for Computer Science
Module #4.5, Topic #∞: Cardinality & Infinite Sets
Discrete Mathematics and its Applications
CHAPTER 2 Set Theory.
Chapter 1 Exploring Geometry: Points, Lines, and Angles in the Plane
Discrete Math for CS CMPSC 360 LECTURE 43 Last time: Variance
Module #4.5, Topic #∞: Cardinality & Infinite Sets
Chapter 2 The Basic Concepts of Set Theory
Theorem 3.5: Let f be an everywhere function from A to B. Then
Cardinality Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted |A| = |B|, if and only if there is a one-to-one correspondence.
Great Theoretical Ideas in Computer Science
Presentation transcript:

Study guide What was Bolzano’s contribution to set theory and when did he make it. What is the cardinal of N,Q,Z? Prove your statement. Give two formulations of the axiom of choice! What is the history of the axiom of choice? Who proved what and when about is the relationship between the axiom of choice and ZF. Formulate the continuum hypothesis. What is the history of the continuum hypothesis? Who proved what and when about the relationship between the continuum hypothesis and ZFC. Give Cantors and Frege’s definition of cardinal. Give a definition of ordinals. Give a set and a subset of it which are in 1-1 correspondence to each other. What can you say about the cardinals of a set and a subset? Define a partial order on cardinals! What is the relationship between inclusion and < for cardinals? Show that there are as many points in the plane as on the real line.

Study Guide Show that the cardinal of R is strictly bigger than Define addition, multiplication and powers for cardinals. Argue that c= Show that Give an ordinal which is bigger that the ordinal of N but whose cardinal is What is the today’s verdict on the claim of Cantor that all infinite subsets of R are either countable or have cardinality c of the continuum? What is the today’s verdict on the claim of Cantor the cardinals are well ordered? What other names does this claim have. Formulate Russel’s Paradox and discuss it! Which axiom of ZF postulates the natural numbers? Explain! Which axiom of ZF forbids the forming of sets as the one that appears in Russel’s paradox? Explain! What has to be assumed to prove that the partial order on cardinals is an order? Show that w+3>w Discuss Hilbert’s Hotel at infinity, i.e. show , !