Math 144 Summer 2012 (UCR) ProNotes June 24, / 15


 Bryce Turner
 1 years ago
 Views:
Transcription
1 Before we start, I want to point out that these notes are not checked for typos. There are prbally many typeos in them and if you find any, please let me know as it s extremely difficult to find them all  by myself. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
2 So what is set theory anyways? Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
3 So what is set theory anyways? A better question is What is mathematics anyways?. Seriously! What is it? We understand what it means to add to get 3, but this process exists only in thought. What, even, does the concept of 2 mean? Do we assume it already exists or does it exist because of some other reason? Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
4 So what is set theory anyways? A better question is What is mathematics anyways?. Seriously! What is it? We understand what it means to add to get 3, but this process exists only in thought. What, even, does the concept of 2 mean? Do we assume it already exists or does it exist because of some other reason? The more advanced we get mathematically, e.g., algebra, calculus, geometry, etc we use concepts like these over and over without ever thinking about where they originated. Is it possible that what we think makes perfect sense to us actually contradicts something else that also makes perfect sense? Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
5 So what is set theory anyways? A better question is What is mathematics anyways?. Seriously! What is it? We understand what it means to add to get 3, but this process exists only in thought. What, even, does the concept of 2 mean? Do we assume it already exists or does it exist because of some other reason? The more advanced we get mathematically, e.g., algebra, calculus, geometry, etc we use concepts like these over and over without ever thinking about where they originated. Is it possible that what we think makes perfect sense to us actually contradicts something else that also makes perfect sense? To answer the question what is set theory? here is an analogy: If modern mathematics is like building a city, then set theory is the very beginning of that city s construction starting with the atoms from which that city is created. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
6 Axioms To build anything, you have to start with something. To build mathematics, we start with the axioms of set theory. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
7 Axioms To build anything, you have to start with something. To build mathematics, we start with the axioms of set theory. Definition (Axiom) An axiom is a starting point of reasoning from which other statements are logically derived. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
8 Axioms To build anything, you have to start with something. To build mathematics, we start with the axioms of set theory. Definition (Axiom) An axiom is a starting point of reasoning from which other statements are logically derived. Unlike theorems, axioms cannot be demonstrated by proof. If they could, they would be called theorems. Axioms are the basic things we accept to be true. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
9 Axioms To build anything, you have to start with something. To build mathematics, we start with the axioms of set theory. Definition (Axiom) An axiom is a starting point of reasoning from which other statements are logically derived. Unlike theorems, axioms cannot be demonstrated by proof. If they could, they would be called theorems. Axioms are the basic things we accept to be true. What we decide to be an axiom is up to us, but classically, they are chosen to be the things that are so self evident that they are accepted without controversy. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
10 The Axioms of ZermeloFraenkel Set Theory (ZFC) A widely accepted framework to build modern mathematics are the axioms of Zermelo and Fraenkel (ZF). In 1908 Zermelo introduced the axioms and in 1922 Fraenkel added the additional axiom of replacement for which Zermelo later admitted to forgetting to include in his work. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
11 The Axioms of ZermeloFraenkel Set Theory (ZFC) A widely accepted framework to build modern mathematics are the axioms of Zermelo and Fraenkel (ZF). In 1908 Zermelo introduced the axioms and in 1922 Fraenkel added the additional axiom of replacement for which Zermelo later admitted to forgetting to include in his work. The axiom of choice (AC) is one of the most controversial axioms of set theory. In this class, we will develop as much as possible only using ZF, but at some point we will assume AC. ZF with AC is called ZermeloFraenkel with choice (ZFC). We will see why AC is controversial and I will leave it up to you to decide on if you accept it or not. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
12 Sets Sets are a collection of objects. These objects are called elements of the set. NOTE: A set is not the objects themselves but the collection as a whole. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
13 Sets Sets are a collection of objects. These objects are called elements of the set. NOTE: A set is not the objects themselves but the collection as a whole. One of the defining characteristics of ZF is that everything is a set, that is, sets will contain objects, but these objects are also sets, etc. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
14 Sets Sets are a collection of objects. These objects are called elements of the set. NOTE: A set is not the objects themselves but the collection as a whole. One of the defining characteristics of ZF is that everything is a set, that is, sets will contain objects, but these objects are also sets, etc. Sets don t have a formal definition  they exist because the axioms of ZF say they exist. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
15 Sets Sets are a collection of objects. These objects are called elements of the set. NOTE: A set is not the objects themselves but the collection as a whole. One of the defining characteristics of ZF is that everything is a set, that is, sets will contain objects, but these objects are also sets, etc. Sets don t have a formal definition  they exist because the axioms of ZF say they exist. On the other hand, to give a definition, we need to make sure that the set that is being defined exists, that is, we cannot create sets from definitions. In other words, definitions give names to things that are already there. In addition, we do not want to give a single name to multiple things, that is, we need to make sure our definitions are well defined. This will come up over and over again. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
16 ZF Axiom (1. The Axiom Of Existence) There exists a set which has no elements. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
17 ZF Axiom (1. The Axiom Of Existence) There exists a set which has no elements. This is the only axiom we will have where we claim something out of thin air exists. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
18 ZF Axiom (1. The Axiom Of Existence) There exists a set which has no elements. This is the only axiom we will have where we claim something out of thin air exists. In logical symbols this axiom can be written as Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
19 ZF Axiom (1. The Axiom Of Existence) There exists a set which has no elements. This is the only axiom we will have where we claim something out of thin air exists. In logical symbols this axiom can be written as x y(y / x) Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
20 ZF Axiom (1. The Axiom Of Existence) There exists a set which has no elements. This is the only axiom we will have where we claim something out of thin air exists. In logical symbols this axiom can be written as x y(y / x) You might ask Why do we assume there exists a set with no elements? Why not just assume there exists a set. Well, we could have done that and with a later axiom we could prove that there exists a set that has no elements. However, from a minimalist point of view, the set with no elements seems the best to start with. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
21 ZF First question: Is there more than one set that contains no elements? Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
22 ZF First question: Is there more than one set that contains no elements? At this point, we can t answer this question we need another axiom Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
23 ZF Axiom (2. The Axiom of Extension) If two sets X and Y have the same elements, then X = Y. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
24 ZF Axiom (2. The Axiom of Extension) If two sets X and Y have the same elements, then X = Y. The more common way of saying this is: If every element of X is an element of Y, and every element of Y is an element of X then X = Y. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
25 ZF Axiom (2. The Axiom of Extension) If two sets X and Y have the same elements, then X = Y. The more common way of saying this is: If every element of X is an element of Y, and every element of Y is an element of X then X = Y. You might ask why even bother saying this as it sounds so obvious. Well, up until this point, we did not have a definition of what = means. Now we do. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
26 ZF Axiom (2. The Axiom of Extension) If two sets X and Y have the same elements, then X = Y. The more common way of saying this is: If every element of X is an element of Y, and every element of Y is an element of X then X = Y. You might ask why even bother saying this as it sounds so obvious. Well, up until this point, we did not have a definition of what = means. Now we do. In symbols this is written as X Y ( y Y (y X ) x X (x Y ) X = Y ) Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
27 ZF We can now answer the previous question: There is, in fact, only one set that contains no elements Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
28 ZF We can now answer the previous question: There is, in fact, only one set that contains no elements Proof. Suppose there are two sets X and Y that have no elements. It is a true statement to say: x X x Y. because x X is a false statement (see truth tables for ). It is also the case that y Y y X for the same reason. By the axiom of extension X = Y and therefore there is only set that contains no elements. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
29 Therefore, by the axiom of extension and the axiom of existence we can now make a definition: Definition (The empty set) The set that contains no elements will be called the empty set and denoted by the symbol or sometimes by {}. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
30 Therefore, by the axiom of extension and the axiom of existence we can now make a definition: Definition (The empty set) The set that contains no elements will be called the empty set and denoted by the symbol or sometimes by {}. Notice this definition is giving a name to the set that has no elements. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
31 Therefore, by the axiom of extension and the axiom of existence we can now make a definition: Definition (The empty set) The set that contains no elements will be called the empty set and denoted by the symbol or sometimes by {}. Notice this definition is giving a name to the set that has no elements. Until now, it was not logical to make the above definition. We had no yet answered the question of is there more than one set that contains no elements? We don t want to call multiple things by a single name. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
32 The axiom of extension also tells us about repetition of objects in a single set: Example Prove that the set {A, A} = {A}. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
33 The axiom of extension also tells us about repetition of objects in a single set: Example Prove that the set {A, A} = {A}. Proof. Consider the statement x {A, A}. The only thing x can be is A and since A {A} it is true to say x {A, A}(x {A}). Similarly, x {A}, (x {A, A}). So by the axiom of extension {A, A} = {A}. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
34 Russell s Paradox So we know the empty set exists and we know how to tell when two sets are equal. How do we get our hands on more sets? Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
35 Russell s Paradox So we know the empty set exists and we know how to tell when two sets are equal. How do we get our hands on more sets? Intuition tells us that the elements of a set should be defined by a property those elements should have. For a given property P(x) that an arbitrary element x should have, we should get a set S that contains all elements x that have property P(x). Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
36 Russell s Paradox So we know the empty set exists and we know how to tell when two sets are equal. How do we get our hands on more sets? Intuition tells us that the elements of a set should be defined by a property those elements should have. For a given property P(x) that an arbitrary element x should have, we should get a set S that contains all elements x that have property P(x). In other words, we want to say is a set! S := {x P(x)} Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
37 Russell s Paradox So we know the empty set exists and we know how to tell when two sets are equal. How do we get our hands on more sets? Intuition tells us that the elements of a set should be defined by a property those elements should have. For a given property P(x) that an arbitrary element x should have, we should get a set S that contains all elements x that have property P(x). In other words, we want to say is a set! S := {x P(x)} There is a subtle problem with this idea. It s called Russell s Paradox Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
38 Russell s Paradox In 1901, Bertrand Russell pointed out the following paradox by defining a set R = {x x / x} Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
39 Russell s Paradox In 1901, Bertrand Russell pointed out the following paradox by defining a set R = {x x / x} Notice here that the property P(x) is that the set x is not an element of itself. I agree, that is a strange property, but still, it s a property. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
40 Russell s Paradox In 1901, Bertrand Russell pointed out the following paradox by defining a set R = {x x / x} Notice here that the property P(x) is that the set x is not an element of itself. I agree, that is a strange property, but still, it s a property. Now let s ask is R R? Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
41 Russell s Paradox In 1901, Bertrand Russell pointed out the following paradox by defining a set R = {x x / x} Notice here that the property P(x) is that the set x is not an element of itself. I agree, that is a strange property, but still, it s a property. Now let s ask is R R? Well if R R then R must have the property that R / R so that can t be. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
42 Russell s Paradox In 1901, Bertrand Russell pointed out the following paradox by defining a set R = {x x / x} Notice here that the property P(x) is that the set x is not an element of itself. I agree, that is a strange property, but still, it s a property. Now let s ask is R R? Well if R R then R must have the property that R / R so that can t be. The other option is that R / R. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
43 Russell s Paradox In 1901, Bertrand Russell pointed out the following paradox by defining a set R = {x x / x} Notice here that the property P(x) is that the set x is not an element of itself. I agree, that is a strange property, but still, it s a property. Now let s ask is R R? Well if R R then R must have the property that R / R so that can t be. The other option is that R / R. If R / R, then R is a set that has the property that it s not an element of itself. But then R R by definition of R so that can t be either. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
44 ZF So no matter what way we look at this set there is a problem with it s definition. This problem is solved in ZF set by the following: Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
45 ZF So no matter what way we look at this set there is a problem with it s definition. This problem is solved in ZF set by the following: Axiom (3. The Axiom of Comprhension) Let P(x) be a property of x. For every set A, there is a set S such that x is an element of S if and only if x A and P(x). Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
46 ZF So no matter what way we look at this set there is a problem with it s definition. This problem is solved in ZF set by the following: Axiom (3. The Axiom of Comprhension) Let P(x) be a property of x. For every set A, there is a set S such that x is an element of S if and only if x A and P(x). Secretly, this axiom tells us that subsets are also sets. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
47 ZF So no matter what way we look at this set there is a problem with it s definition. This problem is solved in ZF set by the following: Axiom (3. The Axiom of Comprhension) Let P(x) be a property of x. For every set A, there is a set S such that x is an element of S if and only if x A and P(x). Secretly, this axiom tells us that subsets are also sets. This also tells us how to define sets by properties, i.e., the axiom of comprehension says for any property P(x) and any set A is a set! S := {x A P(x)} Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
48 In symbols the axiom of comprehension can be written as A S x (x S x A P(x)) Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
49 In symbols the axiom of comprehension can be written as A S x (x S x A P(x)) The important statement to take away from the above is S. The axiom of comprehension tells us that if we define things in this way, S is a set. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
50 In symbols the axiom of comprehension can be written as A S x (x S x A P(x)) The important statement to take away from the above is S. The axiom of comprehension tells us that if we define things in this way, S is a set. Remember, the point of these axioms is to give precise instructions on what is and what is not a set. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
51 In symbols the axiom of comprehension can be written as A S x (x S x A P(x)) The important statement to take away from the above is S. The axiom of comprehension tells us that if we define things in this way, S is a set. Remember, the point of these axioms is to give precise instructions on what is and what is not a set. Now notice Russell s Paradox is avoided by requiring, first A to be a set, and then setting S A. Math 144 Summer 2012 (UCR) ProNotes June 24, / 15
Now, with all the definitions we ve made, we re ready see where all the math stuff we took for granted, like numbers, come from.
The Natural Numbers Now, with all the definitions we ve made, we re ready see where all the math stuff we took for granted, like numbers, come from. Math 144 Summer 2012 (UCR) ProNotes July 6, 2012 1
More informationTutorial on Axiomatic Set Theory. Javier R. Movellan
Tutorial on Axiomatic Set Theory Javier R. Movellan Intuitively we think of sets as collections of elements. The crucial part of this intuitive concept is that we are willing to treat sets as entities
More informationWe introduce one more operation on sets, perhaps the most important
11. The power set Please accept my resignation. I don t want to belong to any club that will accept me as a member. Groucho Marx We introduce one more operation on sets, perhaps the most important one:
More informationGödel s Proof. Henrik Jeldtoft Jensen Dept. of Mathematics Imperial College. Kurt Gödel
Gödel s Proof Henrik Jeldtoft Jensen Dept. of Mathematics Imperial College Kurt Gödel 24.4.0614.1.78 1 ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS 11 by Kurt Gödel,
More informationRussell s logicism. Jeff Speaks. September 26, 2007
Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................
More informationChapter 4. Basic Set Theory. 4.1 The Language of Set Theory
Chapter 4 Basic Set Theory There are two good reasons for studying set theory. First, it s a indispensable tool for both logic and mathematics, and even for other fields including computer science, linguistics,
More informationChapter 1. Logic and Proof
Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known
More informationThis section will take the very naive point of view that a set is a collection of objects, the collection being regarded as a single object.
1.10. BASICS CONCEPTS OF SET THEORY 193 1.10 Basics Concepts of Set Theory Having learned some fundamental notions of logic, it is now a good place before proceeding to more interesting things, such as
More informationCS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:
x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which
More informationMathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture  15 Propositional Calculus (PC)
Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras Lecture  15 Propositional Calculus (PC) So, now if you look back, you can see that there are three
More information 1.2 Implication P. Danziger. Implication
Implication There is another fundamental type of connectives between statements, that of implication or more properly conditional statements. In English these are statements of the form If p then q or
More information12. INFINITE ABELIAN GROUPS
12. INFINITE ABELIAN GROUPS 12.1. Examples of Infinite Abelian Groups Many of the groups which arise in various parts of mathematics are abelian. That is, they satisfy the commutative law: xy = yx. If
More informationSolving Equations with Addition and Subtraction
OBJECTIVE: You need to be able to solve equations by using addition and subtraction. In math, when you say two things are equal to each other, you mean they represent the same value. We use the = sign
More informationPEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms
PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION The Peano axioms The following are the axioms for the natural numbers N. You might think of N as the set of integers {0, 1, 2,...}, but it turns
More informationSolving Equations with Addition and Subtraction. Solving Equations with Addition and Subtraction. Solving Equations with Addition and Subtraction
OBJECTIVE: You need to be able to solve equations by using addition and subtraction. In math, when you say two things are equal to each other, you mean they represent the same value. We use the sign to
More informationAlgebra 8.6 Simple Equations
Algebra 8.6 Simple Equations 1. Introduction Let s talk about the truth: 2 = 2 This is a true statement What else can we say about 2 that is true? Eample 1 2 = 2 1+ 1= 2 2 1= 2 4 1 = 2 2 4 2 = 2 4 = 4
More informationSec$on Summary. Definition of sets Describing Sets
Section 2.1 Sec$on Summary Definition of sets Describing Sets Roster Method SetBuilder Notation Some Important Sets in Mathematics Empty Set and Universal Set Subsets and Set Equality Cardinality of Sets
More informationIntroduction to Proofs
Introduction to Proofs Many times in economics we will need to prove theorems to show that our theories can be supported by speci c assumptions. While economics is an observational science, we use mathematics
More informationSupplementary Material for MTH 299 Online Edition
Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think
More informationMath Real Analysis
1 / 28 Math 370  Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch
More informationSection 3.1: Direct Proof and Counterexample 1
Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion
More informationManipulating Radicals
Lesson 40 Mathematics Assessment Project Formative Assessment Lesson Materials Manipulating Radicals MARS Shell Center University of Nottingham & UC Berkeley Alpha Version Please Note: These materials
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationA polynomial expression is the addition or subtraction of many algebraic terms with positive integer powers.
LEAVING CERT Honours Maths notes on Algebra. A polynomial expression is the addition or subtraction of many algebraic terms with positive integer powers. The degree is the highest power of x. 3x 2 + 2x
More informationOnetoone functions and onto functions
MA 3362 Lecture 7  Onetoone and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of onetoone and onto Onetoone functions and onto functions At the level of set theory, there are
More informationLecture 3: Latin Squares and Groups
Latin Squares Instructor: Padraic Bartlett Lecture 3: Latin Squares and Groups Week 2 Mathcamp 2012 In our last lecture, we came up with some fairly surprising connections between finite fields and Latin
More informationCHAPTER 3: THE INTEGERS Z
CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?
More informationSolving Quadratic & Higher Degree Equations
Chapter 9 Solving Quadratic & Higher Degree Equations Sec 1. Zero Product Property Back in the third grade students were taught when they multiplied a number by zero, the product would be zero. In algebra,
More informationStructure of R. Chapter Algebraic and Order Properties of R
Chapter Structure of R We will reassemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions
More informationCreative Objectivism, a powerful alternative to Constructivism
Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationComplex Numbers: A Brief Introduction. By: Neal Dempsey. History of Mathematics. Prof. Jennifer McCarthy. July 16, 2010
1 Complex Numbers: A Brief Introduction. By: Neal Dempsey History of Mathematics Prof. Jennifer McCarthy July 16, 2010 2 Abstract Complex numbers, although confusing at times, are one of the most elegant
More informationL435/L555. Dept. of Linguistics, Indiana University Fall 2016
in in L435/L555 Dept. of Linguistics, Indiana University Fall 2016 1 / 13 in we know how to output something on the screen: print( Hello world. ) input: input() returns the input from the keyboard
More informationSystems of Linear Equations and Inequalities
Systems of Linear Equations and Inequalities Alex Moore February 4, 017 1 What is a system? Now that we have studied linear equations and linear inequalities, it is time to consider the question, What
More informationThe Fundamental Theorem of Linear Algebra
The Fundamental Theorem of Linear Algebra Nicholas Hoell Contents 1 Prelude: Orthogonal Complements 1 2 The Fundamental Theorem of Linear Algebra 2 2.1 The Diagram........................................
More informationNotes 1 Autumn Sample space, events. S is the number of elements in the set S.)
MAS 108 Probability I Notes 1 Autumn 2005 Sample space, events The general setting is: We perform an experiment which can have a number of different outcomes. The sample space is the set of all possible
More informationMA554 Assessment 1 Cosets and Lagrange s theorem
MA554 Assessment 1 Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem; they go over some material from the lectures again, and they have some new material it is all examinable,
More informationDirect Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.
Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting statement:
More informationThe Cycloid. and the Kinematic Circumference. by Miles Mathis
return to updates The Cycloid and the Kinematic Circumference First published August 31, 2016 by Miles Mathis Those of you who have read my papers on π=4 will know I have explained that problem using many
More informationThe Limit of Humanly Knowable Mathematical Truth
The Limit of Humanly Knowable Mathematical Truth Gödel s Incompleteness Theorems, and Artificial Intelligence Santa Rosa Junior College December 12, 2015 Another title for this talk could be... An Argument
More informationSection 20: Arrow Diagrams on the Integers
Section 0: Arrow Diagrams on the Integers Most of the material we have discussed so far concerns the idea and representations of functions. A function is a relationship between a set of inputs (the leave
More informationContradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730
MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive
More informationDirect Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24
Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using
More information2 Truth Tables, Equivalences and the Contrapositive
2 Truth Tables, Equivalences and the Contrapositive 12 2 Truth Tables, Equivalences and the Contrapositive 2.1 Truth Tables In a mathematical system, true and false statements are the statements of the
More informationMathematical Induction
Chapter 6 Mathematical Induction 6.1 The Process of Mathematical Induction 6.1.1 Motivating Mathematical Induction Consider the sum of the first several odd integers. produce the following: 1 = 1 1 + 3
More informationCSE 20. Lecture 4: Introduction to Boolean algebra. CSE 20: Lecture4
CSE 20 Lecture 4: Introduction to Boolean algebra Reminder First quiz will be on Friday (17th January) in class. It is a paper quiz. Syllabus is all that has been done till Wednesday. If you want you may
More informationUC Berkeley, Philosophy 142, Spring 2016 John MacFarlane Philosophy 142
Plural Quantifiers UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane Philosophy 142 1 Expressive limitations of firstorder logic Firstorder logic uses only quantifiers that bind variables in name
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the defnitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
More informationCMPSCI 601: Tarski s Truth Definition Lecture 15. where
@ CMPSCI 601: Tarski s Truth Definition Lecture 15! "$#&%(') *+,!".#/%0'!12 43 5 6 7 8:9 4; 9 9 < = 9 = or 5 6?>A@B!9 2 D for all C @B 9 CFE where ) CGE @BHI LJKK MKK )HG if H ; C if H @ 1 > > > Fitch
More informationLecture 2: What is Proof?
Lecture 2: What is Proof? Math 295 08/26/16 Webster Proof and Its History 8/2016 1 / 1 Evolution of Proof Proof, a relatively new idea Modern mathematics could not be supported at its foundation, nor construct
More informationRough Sets. V.W. Marek. General introduction and one theorem. Department of Computer Science University of Kentucky. October 2013.
General introduction and one theorem V.W. Marek Department of Computer Science University of Kentucky October 2013 What it is about? is a popular formalism for talking about approximations Esp. studied
More informationLinear Algebra Fall mathx.kaist.ac.kr/~schoi/teaching.html.
Linear Algebra Fall 2013 mathx.kaist.ac.kr/~schoi/teaching.html. Course HPs klms.kaist.ac.kr: some announcements, can ask questions here, also link to my page. Also, grades for quizzes and exames. math.kaist.ac.kr/~schoi:
More informationProof by contrapositive, contradiction
Proof by contrapositive, contradiction Margaret M. Fleck 9 September 2009 This lecture covers proof by contradiction and proof by contrapositive (section 1.6 of Rosen). 1 Announcements The first quiz will
More informationTo every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied.
Modal Logic (2) There appeared to be a correspondence between the validity of Φ Φ and the property that the accessibility relation R is reflexive. The connection between them is that both relied on the
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More informationMATH 243E Test #3 Solutions
MATH 4E Test # Solutions () Find a recurrence relation for the number of bit strings of length n that contain a pair of consecutive 0s. You do not need to solve this recurrence relation. (Hint: Consider
More informationSets and Games. Logic Tea, ILLC Amsterdam. 14. September Stefan Bold. Institute for Logic, Language and Computation. Department of Mathematics
Sets and Games 14. September 2004 Logic Tea, ILLC Amsterdam Stefan Bold Mathematical Logic Group Department of Mathematics University of Bonn Institute for Logic, Language and Computation University of
More informationMI 4 Mathematical Induction Name. Mathematical Induction
Mathematical Induction It turns out that the most efficient solution to the Towers of Hanoi problem with n disks takes n 1 moves. If this isn t the formula you determined, make sure to check your data
More informationConceptual Explanations: Simultaneous Equations Distance, rate, and time
Conceptual Explanations: Simultaneous Equations Distance, rate, and time If you travel 30 miles per hour for 4 hours, how far do you go? A little common sense will tell you that the answer is 120 miles.
More informationNumbers. 2.1 Integers. P(n) = n(n 4 5n 2 + 4) = n(n 2 1)(n 2 4) = (n 2)(n 1)n(n + 1)(n + 2); 120 =
2 Numbers 2.1 Integers You remember the definition of a prime number. On p. 7, we defined a prime number and formulated the Fundamental Theorem of Arithmetic. Numerous beautiful results can be presented
More information2. Two binary operations (addition, denoted + and multiplication, denoted
Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More informationMath 131A: Real Analysis
Math 131A: Real Analysis Michael Andrews UCLA Mathematics Department February 6, 018 Contents 1 Introduction 4 Truth Tables 4.1 NOT(P )........................................... 4. P and Q, P or Q......................................
More informationDoc112: Hardware. Department of Computing, Imperial College London. Doc112: Hardware Lecture 1 Slide 1
Doc112: Hardware Department of Computing, Imperial College London Doc112: Hardware Lecture 1 Slide 1 First Year Computer Hardware Course Lecturers Duncan Gillies Bjoern Schuller Doc112: Hardware Lecture
More informationSection A.6. Solving Equations. Math Precalculus I. Solving Equations Section A.6
Section A.6 Solving Equations Math 1051  Precalculus I A.6 Solving Equations Simplify 1 2x 6 x + 2 x 2 9 A.6 Solving Equations Simplify 1 2x 6 x + 2 x 2 9 Factor: 2x 6 = 2(x 3) x 2 9 = (x 3)(x + 3) LCD
More informationCosets and Lagrange s theorem
Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem some of which may already have been lecturer. There are some questions for you included in the text. You should write the
More informationAn Introduction to Mathematical Reasoning
An Introduction to Mathematical Reasoning Matthew M. Conroy and Jennifer L. Taggart University of Washington 2 Version: December 28, 2016 Contents 1 Preliminaries 7 1.1 Axioms and elementary properties
More informationVectors and Coordinate Systems
Vectors and Coordinate Systems In Newtonian mechanics, we want to understand how material bodies interact with each other and how this affects their motion through space. In order to be able to make quantitative
More informationMath 313 (Linear Algebra) Exam 2  Practice Exam
Name: Student ID: Section: Instructor: Math 313 (Linear Algebra) Exam 2  Practice Exam Instructions: For questions which require a written answer, show all your work. Full credit will be given only if
More informationPhysics Motion Math. (Read objectives on screen.)
Physics 302  Motion Math (Read objectives on screen.) Welcome back. When we ended the last program, your teacher gave you some motion graphs to interpret. For each section, you were to describe the motion
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationFORMAL PROOFS DONU ARAPURA
FORMAL PROOFS DONU ARAPURA This is a supplement for M385 on formal proofs in propositional logic. Rather than following the presentation of Rubin, I want to use a slightly different set of rules which
More informationMA103 STATEMENTS, PROOF, LOGIC
MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking
More informationRoberto s Notes on Linear Algebra Chapter 4: Matrix Algebra Section 7. Inverse matrices
Roberto s Notes on Linear Algebra Chapter 4: Matrix Algebra Section 7 Inverse matrices What you need to know already: How to add and multiply matrices. What elementary matrices are. What you can learn
More information. State the important connection between the coefficients of the given trinomials and the values you found for r.
Motivational Problems on Quadratics 1 1. Factor the following perfectsquare trinomials : (a) x 1x 36 (b) x 14x 49 (c) x 0x 100 As suggested, these should all look like either ( x r) or ( x r). State the
More informationPeano Arithmetic. CSC 438F/2404F Notes (S. Cook) Fall, Goals Now
CSC 438F/2404F Notes (S. Cook) Fall, 2008 Peano Arithmetic Goals Now 1) We will introduce a standard set of axioms for the language L A. The theory generated by these axioms is denoted PA and called Peano
More informationOperation. 8th Grade Math Vocabulary. Solving Equations. Expression Expression. Order of Operations
8th Grade Math Vocabulary Operation A mathematical process. Solving s _ 7 1 11 1 3b 1 1 3 7 4 5 0 5 5 sign SOLVING EQUATIONS Operation The rules of which calculation comes first in an epression. Parentheses
More informationAlgebraic Geometry
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationChapter 2. Mathematical Reasoning. 2.1 Mathematical Models
Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................
More informationNotes on induction proofs and recursive definitions
Notes on induction proofs and recursive definitions James Aspnes December 13, 2010 1 Simple induction Most of the proof techniques we ve talked about so far are only really useful for proving a property
More informationMathmatics 239 solutions to Homework for Chapter 2
Mathmatics 239 solutions to Homework for Chapter 2 Old version of 8.5 My compact disc player has space for 5 CDs; there are five trays numbered 1 through 5 into which I load the CDs. I own 100 CDs. a)
More informationThe Adjoint Functor Theorem.
The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed
More informationDiscrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009
Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Our main goal is here is to do counting using functions. For that, we
More informationNatural deduction for truthfunctional logic
Natural deduction for truthfunctional logic Phil 160  Boston University Why natural deduction? After all, we just found this nice method of truthtables, which can be used to determine the validity or
More informationSUMMER MATH PACKET. Geometry A COURSE 227
SUMMER MATH PACKET Geometry A COURSE 7 MATH SUMMER PACKET INSTRUCTIONS Attached you will find a packet of exciting math problems for your enjoyment over the summer. The purpose of the summer packet is
More information8. Reductio ad absurdum
8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, 10 Galileo Galilea (15641642) gives several arguments meant to demonstrate that there can be no such thing as actual
More informationCS 173: Discrete Structures. Eric Shaffer Office Hour: Wed. 12, 2215 SC
CS 173: Discrete Structures Eric Shaffer Office Hour: Wed. 12, 2215 SC shaffer1@illinois.edu Agenda Sets (sections 2.1, 2.2) 2 Set Theory Sets you should know: Notation you should know: 3 Set Theory 
More informationThe Lorentz Transformation
The Lorentz Transformation During the fourth week of the course, we spent some time discussing how the coordinates of two different reference frames were related to each other. Now that we know about the
More informationExperimental Uncertainties
Experimental Uncertainties 1 Measurements of any physical quantity can never be exact. One can only know its value with a range of uncertainty. If an experimenter measures some quantity X, the measurement
More informationThe GramSchmidt Process
The GramSchmidt Process How and Why it Works This is intended as a complement to 5.4 in our textbook. I assume you have read that section, so I will not repeat the definitions it gives. Our goal is to
More informationMath 1320, Section 10 Quiz IV Solutions 20 Points
Math 1320, Section 10 Quiz IV Solutions 20 Points Please answer each question. To receive full credit you must show all work and give answers in simplest form. Cell phones and graphing calculators are
More informationSolving Equations by Adding and Subtracting
SECTION 2.1 Solving Equations by Adding and Subtracting 2.1 OBJECTIVES 1. Determine whether a given number is a solution for an equation 2. Use the addition property to solve equations 3. Determine whether
More informationINTRODUCTION TO LOGIC 8 Identity and Definite Descriptions
8.1 Qualitative and Numerical Identity INTRODUCTION TO LOGIC 8 Identity and Definite Descriptions Volker Halbach Keith and Volker have the same car. Keith and Volker have identical cars. Keith and Volker
More informationCHAPTER 1. Review of Algebra
CHAPTER 1 Review of Algebra Much of the material in this chapter is revision from GCSE maths (although some of the exercises are harder). Some of it particularly the work on logarithms may be new if you
More informationHow to Find Limits. Yilong Yang. October 22, The General Guideline 1
How to Find Limits Yilong Yang October 22, 204 Contents The General Guideline 2 Put Fractions Together and Factorization 2 2. Why put fractions together..................................... 2 2.2 Formula
More informationIntroduction to Basic Proof Techniques Mathew A. Johnson
Introduction to Basic Proof Techniques Mathew A. Johnson Throughout this class, you will be asked to rigorously prove various mathematical statements. Since there is no prerequisite of a formal proof class,
More informationCS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques
CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3
EECS 70 Discrete Mathematics and Probability Theory Spring 014 Anant Sahai Note 3 Induction Induction is an extremely powerful tool in mathematics. It is a way of proving propositions that hold for all
More informationReal Analysis: Part I. William G. Faris
Real Analysis: Part I William G. Faris February 2, 2004 ii Contents 1 Mathematical proof 1 1.1 Logical language........................... 1 1.2 Free and bound variables...................... 3 1.3 Proofs
More information