Mathematics in the Modern World
|
|
|
- Ralph Marshall
- 6 years ago
- Views:
Transcription
1 1/35 Mathematics in the Modern World Mathematics in Our World Joel Reyes Noche, Ph.D. Department of Mathematics Ateneo de Naga University Council of Deans and Department Chairs of Colleges of Arts and Sciences Region V Conference and Enrichment Sessions on the New General Education Curriculum Ateneo de Naga University, Naga City September 2, 2017 September 3, 2017
2 The Nature of Mathematics Mathematics in Our World 2/35 Mathematics in Our World Mathematics is a useful way to think about nature and our world Learning outcomes Identify patterns in nature and regularities in the world. Articulate the importance of mathematics in one s life. Argue about the nature of mathematics, what it is, how it is expressed, represented, and used. Express appreciation for mathematics as a human endeavor.
3 The Nature of Mathematics Mathematics in Our World 3/35 Nature by Numbers A short movie by Cristóbal Vila, 2010 Original (3:44): Alternative soundtrack (4:04):
4 The Nature of Mathematics Mathematics in Our World 4/35 Fibonacci sequence (Vila, 2016) The Fibonacci sequence is an infinite sequence of natural numbers where the first value is 0, the next is 1 and, from there, each amount is obtained by adding the previous two.
5 The Nature of Mathematics Mathematics in Our World 5/35 Fibonacci spiral (Vila, 2016) Circular arcs connect the opposite corners of squares in the Fibonacci tiling.
6 The Nature of Mathematics Mathematics in Our World 6/35 Golden spiral (Golden spiral in rectangles, 2008) r = ϕ 2θ/π where θ is in radians and ϕ = is the golden ratio
7 The Nature of Mathematics Mathematics in Our World 7/35 Comparison of spirals (Approximate and true Golden Spirals, 2009) Quarter-circles in green, golden spiral in red, overlaps in yellow
8 The Nature of Mathematics Mathematics in Our World 8/35 Nautilus spiral (Vila, 2016)
9 The Nature of Mathematics Mathematics in Our World 9/35 Vila s mistake (Vila, 2016) Vila admits he made a mistake in the animation for the Nautilus shell. (It is neither a Fibonacci spiral nor a golden spiral.)
10 The Nature of Mathematics Mathematics in Our World 10/35 Golden rectangle (Vila, 2016)
11 The Nature of Mathematics Mathematics in Our World 11/35 Golden ratio (Vila, 2016)
12 The Nature of Mathematics Mathematics in Our World 12/35 Golden angle (Vila, 2016)
13 The Nature of Mathematics Mathematics in Our World 13/35 Golden angle and arrangement of sunflower seeds (Vila, 2016)
14 The Nature of Mathematics Mathematics in Our World 14/35 Fibonacci numbers and arrangement of sunflower seeds (Vila, 2016)
15 The Nature of Mathematics Mathematics in Our World 15/35 Fibonacci numbers and arrangement of sunflower seeds (continuation) (Vila, 2016)
16 The Nature of Mathematics Mathematics in Our World 16/35 Delaunay triangulation and Voronoi diagram (Vila, 2016)
17 The Nature of Mathematics Mathematics in Our World 17/35 Delaunay triangulation and Voronoi diagram (continuation) (Vila, 2016)
18 The Nature of Mathematics Mathematics in Our World 18/35 Delaunay triangulation and Voronoi diagram (continuation) (Vila, 2016)
19 The Nature of Mathematics Mathematics in Our World 19/35 Delaunay triangulation and Voronoi diagram (continuation) (Vila, 2016)
20 The Nature of Mathematics Mathematics in Our World 20/35 Delaunay condition (Vila, 2016; Delaunay triangulation, 2017) A Delaunay triangulation for a set of points in a plane is a triangulation such that no point is inside the circumcircle of any triangle.
21 The Nature of Mathematics Mathematics in Our World 21/35 Dragonfly wings (Vila, 2016)
22 The Nature of Mathematics Mathematics in Our World 22/35 Relationship between golden ratio and Fibonacci sequence (Vila, 2016; Golden ratio, 2017) F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 F n = ϕn (1 ϕ) n 5 for n > 1, n Z = ϕn ( ϕ) n 5 F n+1 lim n F n = ϕ
23 The Nature of Mathematics Mathematics in Our World 23/35 Sample exam questions 1. Let ϕ = 1 2 ( ). Show that ϕ = ϕ 2 1 = 1 ϕ Let φ = 1 2 ( 1 5 ). Show that φ = φ 2 1 = 1 φ Explain why you think the golden ratio is defined to be ϕ = 1 ( ) ( ) and not φ =
24 The Nature of Mathematics Mathematics in Our World 24/35 Mathematics is a useful way to think about nature (Stewart, 1995, p. 19) Whatever the reasons, mathematics definitely is a useful way to think about nature. What do we want it to tell us about the patterns we observe? There are many answers. We want to understand how they happen; to understand why they happen, which is different; to organize the underlying patterns and regularities in the most satisfying way; to predict how nature will behave; to control nature for our own ends; and to make practical use of what we have learned about our world. Mathematics helps us to do all these things, and often it is indispensable.
25 The Nature of Mathematics Mathematics in Our World 25/35 Sample reading assignment Read Stewart (1995) and be ready to answer the following discussion questions. Which sentence or paragraph in the book is your favorite? Why? Is there any statement or point of view in the book that you disagree with? How would you summarize each of the nine chapters (in one, two, or three sentences per chapter)? How does Stewart differentiate the external aspects of mathematics from the internal aspects of mathematics? What term does Stewart use to describe his dream of an effective mathematical theory of form and the emergence of pattern?
26 The Nature of Mathematics Mathematics in Our World 26/35 Sample assignment Using Stewart (1995) as your reference, write an essay of around 250 to 350 words answering exactly one of the following questions. How did Stewart explain why numbers from the Fibonacci series appear when some features in plants are counted? Leonhard Euler got into an argument with Daniel Bernoulli because their solutions to the one-dimensional wave equation differed. How did Stewart explain the argument s resolution? How did Stewart use Poincaré s concept of a phase space to explain why tides are predictable but weather is not? How did Stewart use coupled oscillator networks to model animal gaits?
27 The Nature of Mathematics Mathematics in Our World 27/35 Is math discovered or invented? A TED-Ed Original lesson by Jeff Dekofsky, 2014 (5:11): xr5kes4rs See also is-math-discovered-or-invented-jeff-dekofsky.
28 The Nature of Mathematics Mathematics in Our World 28/35 Philosophy of mathematics (Philosophy of Mathematics, 2017) Mathematical realism [...] holds that mathematical entities exist independently of the human mind. Thus humans do not invent mathematics, but rather discover it [...]. One form of mathematical realism is Platonism. Mathematical anti-realism generally holds that mathematical statements have truth-values, but that they do not do so by corresponding to a special realm of immaterial or non-empirical entities. One form of mathematical anti-realism is formalism.
29 The Nature of Mathematics Mathematics in Our World 29/35 Platonism Mathematical Platonism is the form of realism that suggests that mathematical entities are abstract, have no spatiotemporal or causal properties, and are eternal and unchanging. (Philosophy of Mathematics, 2017) (Richard Hamming, 2013) Very few of us in our saner moments believe that the particular postulates that some logicians have dreamed up create the numbers no, most of us believe that the real numbers are simply there and that it has been an interesting, amusing, and important game to try to find a nice set of postulates to account for them. (Hamming, 1980, p. 85)
30 The Nature of Mathematics Mathematics in Our World 30/35 Formalism Formalism holds that mathematical statements may be thought of as statements about the consequences of certain string manipulation rules. (Philosophy of Mathematics, 2017) Mathematics, according to David Hilbert (1862-), is a game played according to certain simple rules with meaningless marks on paper. (Stabler, 1935, p. 24) (David Hilbert, 2017)
![The Nature of Mathematics Mathematics in Our World 31/35 Ultrafinitism [C]onstructivism involves the regulative principle that only mathematical entities which can be explicitly constructed in a](/docs-images/75/72311228/images/31-0.jpg "certain sense should be admitted to mathematical discourse. [.")
31 The Nature of Mathematics Mathematics in Our World 31/35 Ultrafinitism [C]onstructivism involves the regulative principle that only mathematical entities which can be explicitly constructed in a certain sense should be admitted to mathematical discourse. [...] Finitism is an extreme form of constructivism, according to which a mathematical object does not exist unless it can be constructed from natural numbers in a finite number of steps. [...] Ultrafinitism is an even more extreme version of finitism, which rejects not only infinities but finite quantities that cannot feasibly be constructed with available resources. (Philosophy of Mathematics, 2017) (Doron Zeilberger, 2007) What is completely meaningless is any kind of infinite, actual or potential. So I deny even the existence of the Peano axiom that every integer has a successor. [...] The phrase for all positive integers is meaningless. [...] Similarly, Euclid s statement: There are infinitely many primes is meaningless. (Zeilberger, 2001, p. 5)
32 The Nature of Mathematics Mathematics in Our World 32/35 Constructive and nonconstructive proofs Theorem There exist irrational numbers a and b such that a b is rational. Nonconstructive proof. Consider 2 2. If it is rational, then the proof is complete. If it is not rational, then take a = 2 2 and b = 2 so that a b = 2. Constructive proof (sketch). Take a = 2 and b = 2 log 2 3.
33 References 33/35 Approximate and true Golden Spirals. (2009, August 29). In Wikimedia Commons, the free media repository. Retrieved April 20, 2017, from thumb/a/a5/fakereallogspiral.svg/ 640px-FakeRealLogSpiral.svg.png David Hilbert. (2017, February 14). In Wikimedia Commons, the free media repository. Retrieved April 22, 2017, from Hilbert.jpg Delaunay triangulation. (2017, February 27). In Wikipedia, The Free Encyclopedia. Retrieved April 20, 2017, from triangulation&oldid= Doron Zeilberger. (2007, December 13). In Wikimedia Commons, the free media repository. Retrieved April 22, 2017, from e/e9/doron Zeilberger %28circa 2005%29.jpg/ 365px-Doron Zeilberger %28circa 2005%29.jpg
34 References 34/35 Golden ratio. (2017, March 21). In Wikipedia, The Free Encyclopedia. Retrieved April 20, 2017, from index.php?title=golden ratio&oldid= Golden spiral in rectangles. (2008, January 27). In Wikimedia Commons, the free media repository. Retrieved April 19, 2017, from Golden spiral in rectangleflip.png Hamming, R. W. (1980). The unreasonable effectiveness of mathematics. American Mathematical Monthly, 87, Philosophy of Mathematics. (2017, February 6). In Wikipedia, The Free Encyclopedia. Retrieved April 22, 2017, from of mathematics&oldid= Richard Hamming. (2013, August 7). In Wikimedia Commons, the free media repository. Retrieved April 22, 2017, from Richard Hamming.jpg
35 References 35/35 Stabler, E. R. (1935). Interpretation and comparison of three schools of thought in the foundations of mathematics. The Mathematics Teacher, 28, Stewart, I. (1995). Nature s numbers: The unreal reality of mathematics. New York, NY: BasicBooks. Vila, C. (2016, September). Nature by numbers. The theory behind this movie. Retrieved April 18, 2017, from html/nbyn htm/ about index.htm Zeilberger, D. (2001, November 27). Real analysis is a degenerate case of discrete analysis. Retrieved April 22, 2017, from mamarimpdf/real.pdf
1 Proof by Contradiction
In these notes, which will serve as a record of what we covered in weeks 3-4, we discuss various indirect methods of proof. While direct proof is often preferred it is sometimes either not possible or
PROOF WITHOUT WORDS MATH CIRCLE (BEGINNERS) 05/06/2012
PROOF WITHOUT WORDS MATH CIRCLE (BEGINNERS) 05/06/2012 If you ve been with us for a little while, you ve already seen some examples of proofs without words. Remember a proof is just an airtight argument
Week 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
(1.3.1) and in English one says a is an element of M. The statement that a is not an element of M is written as a M
1.3 Set Theory I As long as the terms of a mathematical theory are names of concrete objects as concrete as mothers breast, the very first object that received a name in human languages - there is not
What can you prove by induction?
MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................
Unit 3: Definitions, Theorems and Proofs
LINEAR ALGEBRA AND VECTOR ANALYSIS MATH 22A Unit 3: Definitions, Theorems and Proofs Seminar 3.1. Theorems are mathematical statements which can be verified using proofs. Theorems are the backbone of mathematics.
Item 8. Constructing the Square Area of Two Proving No Irrationals. 6 Total Pages
Item 8 Constructing the Square Area of Two Proving No Irrationals 6 Total Pages 1 2 We want to start with Pi. How Geometry Proves No Irrations They call Pi the ratio of the circumference of a circle to
Math 10850, fall 2017, University of Notre Dame
Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need
The roots of computability theory. September 5, 2016
The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.
Direct Proof and Counterexample I:Introduction
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 :
Direct 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:
Fairfield Public Schools
Mathematics Fairfield Public Schools AP Calculus AB AP Calculus AB BOE Approved 04/08/2014 1 AP CALCULUS AB Critical Areas of Focus Advanced Placement Calculus AB consists of a full year of college calculus.
STRATEGIES OF PROBLEM SOLVING
STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical
Measuring Keepers S E S S I O N 1. 5 A
S E S S I O N 1. 5 A Measuring Keepers Math Focus Points Naming, notating, and telling time to the hour on a digital and an analog clock Understanding the meaning of at least in the context of linear measurement
Introduction to Induction (LAMC, 10/14/07)
Introduction to Induction (LAMC, 10/14/07) Olga Radko October 1, 007 1 Definitions The Method of Mathematical Induction (MMI) is usually stated as one of the axioms of the natural numbers (so-called Peano
THE CULT OF. Math and Myths ALB E RTO A. MARTÍ N EZ. University of Pittsburgh Press
THE CULT OF PYTHAGORAS Math and Myths ALB E RTO A. MARTÍ N EZ University of Pittsburgh Press Martinez Cultltext4.indd 3 Published by the University of Pittsburgh Press, Pittsburgh, Pa., 15260 Copyright
Philosophy of Mathematics Intuitionism
Philosophy of Mathematics Intuitionism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 01/12/15 Classical mathematics Consider the Pythagorean argument that 2 is irrational: 1. Assume that
ter. on Can we get a still better result? Yes, by making the rectangles still smaller. As we make the rectangles smaller and smaller, the
Area and Tangent Problem Calculus is motivated by two main problems. The first is the area problem. It is a well known result that the area of a rectangle with length l and width w is given by A = wl.
Fairfield Public Schools
Mathematics Fairfield Public Schools Introduction to Calculus 50 Introduction to Calculus 50 BOE Approved 04/08/2014 1 INTRODUCTION TO CALCULUS 50 Critical Areas of Focus Introduction to Calculus 50 course
Math Curriculum Guide. Grades 9-12
Math Curriculum Guide July 2013 Grades 9-12 Archdiocese of Oklahoma City Department of Catholic Education P.O. Box 32180 7501 Northwest Expressway Oklahoma City, Oklahoma 73123-0380 405.721.4202 Ninth
Predicates and Quantifiers
Predicates and Quantifiers Lecture 9 Section 3.1 Robb T. Koether Hampden-Sydney College Wed, Jan 29, 2014 Robb T. Koether (Hampden-Sydney College) Predicates and Quantifiers Wed, Jan 29, 2014 1 / 32 1
Report on Inconsistencies in the Learning of Calculus and Analys
Report on Inconsistencies in the Learning of Calculus and Analysis by David Tall Institute for Mathematics and Education Mapping the Calculus Curriculum, April 2009 Framework Mind Mathematics Message Use
Problem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
Fairfield Public Schools
Mathematics Fairfield Public Schools AP Calculus BC AP Calculus BC BOE Approved 04/08/2014 1 AP CALCULUS BC Critical Areas of Focus Advanced Placement Calculus BC consists of a full year of college calculus.
Running Head: BONACCI REVOLUTIONIZED THE WORLD 1
Running Head: BONACCI REVOLUTIONIZED THE WORLD 1 Bonacci Revolutionized the World A Review of the Fibonacci Numbers Sapphire Ortega El Paso Community College Author Note This paper was prepared for Math
Cool Results on Primes
Cool Results on Primes LA Math Circle (Advanced) January 24, 2016 Recall that last week we learned an algorithm that seemed to magically spit out greatest common divisors, but we weren t quite sure why
The problem of transition from school to university mathematics Student Survey E. Krause, F. Wetter, C. Nguyen Phuong (2015)
Demographic Data: Please answer the following questions. 1. Sex: Male Female 2. Age (years): 3. Semester at university: 4. In which country / state, or in which provinces did you go to school? 5. What
Extending the Number System
Analytical Geometry Extending the Number System Extending the Number System Remember how you learned numbers? You probably started counting objects in your house as a toddler. You learned to count to ten
Introduction to Informatics
Introduction to Informatics Lecture 7: Modeling the World Readings until now Lecture notes Posted online @ http://informatics.indiana.edu/rocha/i101 The Nature of Information Technology Modeling the World
Pre-Calculus Calendar of Assignments August th 1.1A Notes: slope and point-slope form
August 2018 16 th 1.1A Notes: slope and point-slope form First day Get books Go over syllabus, etc 20 th 1.1B due 1.2A Notes: functions, piecewise functions, domain Assignment 1.2A:Pg 24 #1-15odd, 19-25
Pre-calculus Lesson Plan. Week of:
Pre-calculus Lesson Plan Week of: May 15 Review for semester exam Semester exams Semester exams May 8 12.4 Derivatives Find instantaneous rates of change by Teacher led calculating Student practice derivatives
Understanding Computation
Understanding Computation 1 Mathematics & Computation -Mathematics has been around for a long time as a method of computing. -Efforts to find canonical way of computations. - Machines have helped with
Mathematics Without Calculations It s a Beautiful Thing!
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 8-4-2016 Mathematics Without Calculations It s a Beautiful Thing! Jason J. Molitierno Sacred Heart University,
2. 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
Mr. Miles 8 th Grade Math Class Info & Syllabus
Mr. Miles 8 th Grade Math Class Info & Syllabus Welcome to 8 th grade! I look forward to getting to know you and help you learn some more awesome math this year! Please read the Class Info and attached
Exponents and Logarithms
chapter 5 Starry Night, painted by Vincent Van Gogh in 1889. The brightness of a star as seen from Earth is measured using a logarithmic scale. Exponents and Logarithms This chapter focuses on understanding
Grade 7/8 Math Circles. Mathematical Thinking
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 7/8 Math Circles March 22 & 23 2016 Mathematical Thinking Today we will take a look at some of the
The Fibonacci Sequence
The Fibonacci Sequence MATH 100 Survey of Mathematical Ideas J. Robert Buchanan Department of Mathematics Summer 2018 The Fibonacci Sequence In 1202 Leonardo of Pisa (a.k.a Fibonacci) wrote a problem in
CS1800: Strong Induction. Professor Kevin Gold
CS1800: Strong Induction Professor Kevin Gold Mini-Primer/Refresher on Unrelated Topic: Limits This is meant to be a problem about reasoning about quantifiers, with a little practice of other skills, too
Adv. Algebra/Algebra II Pacing Calendar August 2016
Pacing Calendar August 2016 Unit 1: Quadratics Revisited Students learn that when quadratic equations do not have real solutions the number system must be extended so that solutions exist, analogous to
INTRODUCTION TO LOGIC
INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.
Introduction This is a puzzle station lesson with three puzzles: Skydivers Problem, Cheryl s Birthday Problem and Fun Problems & Paradoxes
Introduction This is a puzzle station lesson with three puzzles: Skydivers Problem, Cheryl s Birthday Problem and Fun Problems & Paradoxes Resources Calculators, pens and paper is all that is needed as
Lecture 1: Axioms and Models
Lecture 1: Axioms and Models 1.1 Geometry Although the study of geometry dates back at least to the early Babylonian and Egyptian societies, our modern systematic approach to the subject originates in
MATHEMATICS (IX-X) (CODE NO. 041) Session
MATHEMATICS (IX-X) (CODE NO. 041) Session 2018-19 The Syllabus in the subject of Mathematics has undergone changes from time to time in accordance with growth of the subject and emerging needs of the society.
Philosophies of Mathematics. The Search for Foundations
Philosophies of Mathematics The Search for Foundations Foundations What are the bedrock, absolutely certain, immutable truths upon which mathematics can be built? At one time, it was Euclidean Geometry.
MATH 402 : 2017 page 1 of 6
ADMINISTRATION What? Math 40: Enumerative Combinatorics Who? Me: Professor Greg Smith You: students interested in combinatorics When and Where? lectures: slot 00 office hours: Tuesdays at :30 6:30 and
LECTURE 3. RATIONAL NUMBERS: AN EXAMPLE OF MATHEMATICAL CONSTRUCT
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE 3. RATIONAL NUMBERS: AN EXAMPLE OF MATHEMATICAL CONSTRUCT ROTHSCHILD CAESARIA COURSE, 2011/2 1. Rational numbers: how to define them? Rational numbers were discovered
Math Number 842 Professor R. Roybal MATH History of Mathematics 24th October, Project 1 - Proofs
Math Number 842 Professor R. Roybal MATH 331 - History of Mathematics 24th October, 2017 Project 1 - Proofs Mathematical proofs are an important concept that was integral to the development of modern mathematics.
TERMWISE SYLLABUS SESSION CLASS-IX SUBJECT : MATHEMATICS. Course Structure. Schedule for Periodic Assessments and CASExam. of Session
TERMWISE SYLLABUS SESSION-2018-19 CLASS-IX SUBJECT : MATHEMATICS Course Structure Units Unit Name Marks I NUMBER SYSTEMS 08 II ALGEBRA 17 III COORDINATE GEOMETRY 04 IV GEOMETRY 28 V MENSURATION 13 VI STATISTICS
October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams
October 16, 2012 Outline 1 2 3 4 5 Agenda 1 G-C0-1 Context. 2 Activity: Divide a line into n pieces -with string; via construction 3 Reflection activity (geometry/ proof/definition/ common core) 4 mini-lecture
When any two whole numbers are added we always get another whole number
UNIT 5 INTEGERS IES CASTILBLANCO DE LOS ARROYOS 1. MENTAL CALCULATION INTRODUCING INTEGERS 2. HOW MANY DIFFERENTS NUMBERS CAN I REMEMBER? Please listen these ten different situations and decide with your
Popper School Methodological Disproof of Quantum Logic
Popper School Methodological Disproof of Quantum Logic Steve Meyer Tachyon Design Automation San Francisco, CA 94111 smeyer@tdl.com Presented August 6, 2015 CLMPS Helsinki Slides and addition references
What 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
Dominoes and Counting
Giuseppe Peano (Public Domain) Dominoes and Counting All of us have an intuitive feeling or innate sense for the counting or natural numbers, including a sense for infinity: ={1,, 3, }. The ability to
All About Numbers Definitions and Properties
All About Numbers Definitions and Properties Number is a numeral or group of numerals. In other words it is a word or symbol, or a combination of words or symbols, used in counting several things. Types
In Which We Conclude Calculus by Using Taylor Series to Prove Euler s Identity Calculus 12, Veritas Prep.
In Which We Conclude Calculus by Using Taylor Series to Prove Euler s Identity Calculus 12, Veritas Prep. 23 February 2011 Name: Directions: Feel free to use scrap paper if you need it. Show all your work
Generalization of Fibonacci sequence
Generalization of Fibonacci sequence Etienne Durand Julien Chartrand Maxime Bolduc February 18th 2013 Abstract After studying the fibonacci sequence, we found three interesting theorems. The first theorem
Introduction to Logic and Axiomatic Set Theory
Introduction to Logic and Axiomatic Set Theory 1 Introduction In mathematics, we seek absolute rigor in our arguments, and a solid foundation for all of the structures we consider. Here, we will see some
Extended Essay - Mathematics
Extended Essay - Mathematics Creating a Model to Separate or Group Number Sets by their Cardinalities Pope John Paul II C.S.S. September 2009 Candidate Number: 001363-012 The conquest of the actual infinite
Standards of Learning Content Review Notes. Grade 8 Mathematics 1 st Nine Weeks,
Standards of Learning Content Review Notes Grade 8 Mathematics 1 st Nine Weeks, 2016-2017 Revised September 2015 2 Mathematics Content Review Notes Grade 8 Mathematics: First Nine Weeks 2015-2016 -This
IMP 2 September &October: Solve It
IMP 2 September &October: Solve It IMP 2 November & December: Is There Really a Difference? Interpreting data: Constructing and drawing inferences from charts, tables, and graphs, including frequency bar
MARLBORO CENTRAL SCHOOL DISTRICT CURRICULUM MAP Subject: Mathematics Grade: 6
Instructional September (10 days) Essential Questions How are integers and absolute value used in real world situations? How are decimals and fractions related? What are equivalent fractions? How do you
9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations
Strand One: Number Sense and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, the relationships among numbers, and different number systems. Justify with examples
Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)
http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product
HOW TO THINK ABOUT POINTS AND VECTORS WITHOUT COORDINATES. Math 225
HOW TO THINK ABOUT POINTS AND VECTORS WITHOUT COORDINATES Math 225 Points Look around. What do you see? You see objects: a chair here, a table there, a book on the table. These objects occupy locations,
MATH 13 FINAL EXAM SOLUTIONS
MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F
CONTENTS NUMBER SYSTEMS. Number Systems
NUMBER SYSTEMS CONTENTS Introduction Classification of Numbers Natural Numbers Whole Numbers Integers Rational Numbers Decimal expansion of rational numbers Terminating decimal Terminating and recurring
13.7 ANOTHER TEST FOR TREND: KENDALL S TAU
13.7 ANOTHER TEST FOR TREND: KENDALL S TAU In 1969 the U.S. government instituted a draft lottery for choosing young men to be drafted into the military. Numbers from 1 to 366 were randomly assigned to
The Celsius temperature scale is based on the freezing point and the boiling point of water. 12 degrees Celsius below zero would be written as
Prealgebra, Chapter 2 - Integers, Introductory Algebra 2.1 Integers In the real world, numbers are used to represent real things, such as the height of a building, the cost of a car, the temperature of
Counting on Chebyshev Polynomials
DRAFT VOL. 8, NO., APRIL 009 1 Counting on Chebyshev Polynomials Arthur T. Benjamin Harvey Mudd College Claremont, CA 91711 benjamin@hmc.edu Daniel Walton UCLA Los Angeles, CA 90095555 waltond@ucla.edu
Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 016 Seshia and Walrand Note 1 Proofs In science, evidence is accumulated through experiments to assert the validity of a statement. Mathematics, in
0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
Just-in-Time-Teaching and other gadgets. Richard Cramer-Benjamin Niagara University
Just-in-Time-Teaching and other gadgets Richard Cramer-Benjamin Niagara University http://faculty.niagara.edu/richcb The Class MAT 443 Euclidean Geometry 26 Students 12 Secondary Ed (9-12 or 5-12 Certification)
CS/MA 109 Quantitative Reasoning. Wayne Snyder Computer Science Department Boston University
CS/MA 109 Quantitative Reasoning Wayne Snyder Department Boston University Today Recursion and self-reference: a scientific and culture exploration and a limitation of algorithms and computers! Next Tuesday:
Reclaiming Meaning in Mathematics
Reclaiming Meaning in Mathematics A Presentation for the WSCC 2007 Mathematics Conference William Bricken, PhD Lake Washington Technical College william.bricken@lwtc.edu For Teachers An educational chasm
Activity Climatographs
Name: Tiya Shen Date: May 22, 2016 Activity 1.1 - Climatographs Student Instructions: For this assignment, you will complete the activity by reading the purpose and procedures, answering questions and
The paradox of knowability, the knower, and the believer
The paradox of knowability, the knower, and the believer Last time, when discussing the surprise exam paradox, we discussed the possibility that some claims could be true, but not knowable by certain individuals
Students will be able to simplify numerical expressions and evaluate algebraic expressions. (M)
Morgan County School District Re-3 August What is algebra? This chapter develops some of the basic symbolism and terminology that students may have seen before but still need to master. The concepts of
CMPSCI 250: Introduction to Computation. Lecture 11: Proof Techniques David Mix Barrington 5 March 2013
CMPSCI 250: Introduction to Computation Lecture 11: Proof Techniques David Mix Barrington 5 March 2013 Proof Techniques Review: The General Setting for Proofs Types of Proof: Direct, Contraposition, Contradiction
Lecture 7 Feb 4, 14. Sections 1.7 and 1.8 Some problems from Sec 1.8
Lecture 7 Feb 4, 14 Sections 1.7 and 1.8 Some problems from Sec 1.8 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Nonexistence Proofs Uniqueness
Bi-County Collaborative
Bi-County Collaborative Making It Possible Mathematics Curriculum Map Grades Kindergarten 12 August 2014 KINDERGARTEN PAGE 2 GRADE 7 PAGE 49 GRADE 1 PAGE 6 GRADE 8 PAGE 57 GRADE 2 PAGE 11 GRADE 9 PAGE
Instrumental nominalism about set-theoretic structuralism
Instrumental nominalism about set-theoretic structuralism Richard Pettigrew Department of Philosophy University of Bristol 7 th August 2015 Richard Pettigrew (Bristol) INSTS 7 th August 2015 1 / 16 Interpreting
Pre-Algebra (6/7) Pacing Guide
Pre-Algebra (6/7) Pacing Guide Vision Statement Imagine a classroom, a school, or a school district where all students have access to high-quality, engaging mathematics instruction. There are ambitious
THE LOGIC OF QUANTIFIED STATEMENTS
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Predicates
3 Finite continued fractions
MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +
Curriculum Map Grade 8 Math
Curriculum Map Grade 8 Math Sept. Oct. Nov. Dec. Jan. September 6 October 5 October 9 November 2 November 5 - November 30 December 3 December 21 January 2 January 16 G R A D E 8 Solving Equations: ~Solving
A New Integer/Number Sequence Generator
A New Integer/Number Sequence Generator Dann Passoja Winter 016 Background and Interest:... The Basis... 3 In a Broad Perspective (Philosophy)... 3 My Discovery... 4 Number Series... 4 Series of Partial
Williamsville C.U.S.D. #15 Mathematics Curriculum
MATHEMATICS CURRICULUM AP CALCULUS 1 Program Title: A.P. Calculus Williamsville C.U.S.D. #15 Mathematics Curriculum Program Description: Program Content: AP Calculus is a full-year course. This course
FACTORIZATION AND THE PRIMES
I FACTORIZATION AND THE PRIMES 1. The laws of arithmetic The object of the higher arithmetic is to discover and to establish general propositions concerning the natural numbers 1, 2, 3,... of ordinary
Notes 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
MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics
MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics Class Meetings: MW 9:30-10:45 am in EMS E424A, September 3 to December 10 [Thanksgiving break November 26 30; final
THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates
Algebra One As of: September 2014 Teacher Contact: Ms.Zinn (CVHS-NGC)
Algebra One As of: September 2014 Teacher Contact: Ms.Zinn (CVHS-NGC) CCSS Unit Theme SKILLS ASSESSMENT & PRODUCTS Translate sentences into equations such as, The length of a rectangle is ten less than
Section 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
Affine Planes: An Introduction to Axiomatic Geometry
Affine Planes: An Introduction to Axiomatic Geometry Here we use Euclidean plane geometry as an opportunity to introduce axiomatic systems. Keep in mind that the axiomatic approach is not the only approach
Explorations of the Common Core in Algebra: A Training Ground for Gifted Students
Explorations of the Common Core in Algebra: A Training Ground for Gifted Students Christina Tran undergraduate student, California State University, Fullerton and Kyle Kishimoto middle school student,
Trinity Area School District. Overarching Big Ideas, Enduring Understandings, and Essential Questions (These spiral throughout the entire curriculum.
Trinity Area School District Course: Algebra 1 Grade(s): 9-11 Overview of Course (Briefly describe what students should understand and be able to do as a result of engaging in this course): This course
GRADE SIX MATH CURRICULUM MAP Content Skills Assessment Activities/Resources
GRADE SIX MATH CURRICULUM MAP August September ~ Place value whole numbers ~ Rounding to billions ~ Comparing, ordering whole numbers ~ Multiplication skills 2 digits ~ Tables, line plots, bar graphs ~
2. Probability. Chris Piech and Mehran Sahami. Oct 2017
2. Probability Chris Piech and Mehran Sahami Oct 2017 1 Introduction It is that time in the quarter (it is still week one) when we get to talk about probability. Again we are going to build up from first
INFINITE SUMS. In this chapter, let s take that power to infinity! And it will be equally natural and straightforward.
EXPLODING DOTS CHAPTER 7 INFINITE SUMS In the previous chapter we played with the machine and saw the power of that machine to make advanced school algebra so natural and straightforward. In this chapter,