MthEd/Math 300 Williams Fall 2011 Midterm Exam 3

Size: px
Start display at page:

Download "MthEd/Math 300 Williams Fall 2011 Midterm Exam 3"

Transcription

1 Name: MthEd/Math 300 Williams Fall 2011 Midterm Exam 3 Closed Book / Closed Note. Answer all problems. You may use a calculator for numerical computations. Section 1: For each event listed in the first column, circle the time period in which it occurred. If more than one century might apply, is in the case of Gauss, for example, I will accept either answer or both. One point each. 1. Hilbert delivered his famous Paris Problems speech. 1800s 1900s 2. L Hospital s calculus textbook appears. 1700s 3. Bishop George Berkeley questions the ghosts of departed quantities. 1700s 4. Gödel comes to the Institute for Advanced Study at Princeton 1900s 5. Cauchy and Weierstrass provide the formal definitions of limit that put calculus on a firmer logical foundation. 6. Two mathematicians who both died young publish work on the unsolvability of the quintic. 1800s 1800s 7. Paul Cohen shows the Continuum Hypothesis to be unproveable. 1900s 8. Despite urging from his father, János Bolyai continues to work on Euclid s 5 th Postulate. 1800s 9. Euler provides proof of many of Fermat s unproved assertions. 1700s 10. Cantor unsuccessfully attempts to prove the Continuum Hypothesis 1800s 11. Gauss gave a proof of the Fundamental Theorem of Algebra. 1700s 1800s 12. The techniques of calculus are developed to solve differential equations and to include multi-valued functions. 1700s 13. Eugenio Beltrami provided a model of hyperbolic geometry. 1800s 14. No one would pay attention to Paolo Ruffini s work on the quintic 1700s 1800s 15. Lambert worked on Euclid s 5 th Postulate. 1700s

2 Section 2: For each event, idea, or proof listed in the first column, fill in the name or names associated it. If more than one name might apply, fill in all of them. There are never more than three associated names. One point each. 16. First published correct and complete proof of the unsolvability of the quintic by radicals 17. Before Gauss, Bolyai, and Lobachevsky, studied quadrilaterals that had properties of rectangles but couldn t be proved to be rectangles. Abel Lambert, Saccheri 18. Posed the Brachistochrone problem. Johann Bernoulli 19. Gave three different proofs of the Fundamental Theorem of Algebra over his lifetime. 20. Provided a list of 23 problems that he felt needed to be solved in mathematics. 21. Proof that the power set of a set A is always larger than A. Gauss Hilbert Cantor 22. L Hospital s calculus book. L Hospital, Johann Bernoulli 23. Provided the mathematical machinery necessary to tell which polynomials were solvable by radicals. Galois 24. The most prolific mathematician ever. Euler 25. Proved the Incompleteness Theorem. Gödel There s too much space here, but not enough for another question. You may draw a picture of a duck if you wish.

3 Section 3: Short Answers. Five points each. 26. What is the catenary problem, who solved it, and what is its solution? A. What is the function that gives the shape of a cable hung between two fixed points? B. Johann Benoulli, Leibniz, Huygens y cosh( x) C What does it mean to say a polynomial equation is solvable by radicals? That there is a formula, containing only arithmetic operations along with powers and roots, and involving coefficients of the polynomial, that will give a solution to the equation.

4 28. What things did Cauchy do to rigorize calculus? (There were two main things.) First, he defined the operations of calculus, such as the derivative, in terms of a limit. So he based calculus ideas on limits. Second, he defined limits in terms of algebra and arithmetic, that is, absolute value, differences, and inequalities. 29. Why was the development of hyperbolic geometry of importance to the philosophy of mathematics? Prior to hyperbolic geometry s appearance, people believed that mathematics, and especially Euclid s geometry, was about describing reality, i.e, the physical world. When hyperbolic geometry appeared, it seemed that mathematics could arrive at conclusions that weren t necessarily about what was true in the physical world. It thus introduced the ideas that mathematics wasn t necessarily tied to reality or truth.

5 30. Which of the following long-standing problems in mathematics have been solved in the past 50 years? Circle the correct answers: Fermat s Last Theorem The Four Color Conjecture The Poincaré Conjecture Dang. More extra space, again. OK, if you didn t like the duck, in the space below you can draw Trogdor or a unicorn or something else of your choosing.

6 Section 4: Longer Questions. Ten points each. 31. This question deals with Karl Friedrich Gauss. a. Why did he never publish his discoveries in non-euclidean geometry? b. Briefly describe two of his mathematical accomplishments beyond his discoveries in non- Euclidean geometry. A. At the time, the followers of the influential philosopher Immanuel Kant believed that our knowledge of Euclidean geometry was inborn it was the only way we could understand geometry and the world. To suggest that there was another geometry would have entangled Gauss in debates with these followers of Kant. He didn t want to hear the howls of the Boatians. (Also, possibly, he didn t feel that his work was ready, that is, polished an completed enough, to publish.) B. The construction of the regular 17-gon The Fundamental Theorem of Calculus Work on congruences, including quadratic reciprocity The Prime Number theorem Linear interpolation The Gaussian distribution Others?

7 32. This question deals with Cantor s approach to infinite sets. a. In general, how did Cantor define what it meant to say that two sets were of the same size? Two sets are of the same size if there exists a one-to-one correspondence from one to the other, (that is, a one-to-one, onto function.) b. Name or describe three sets of numbers that have the same (infinite) size as the integers. even integers positive integers negative integers odd integers multiples of n for any integer n. rational numbers algebraic numbers surds c. Name two sets that have a larger (infinite) size than the integers. Real numbers positive real numbers negative real numbers ordered pairs of real numbers x a x b irrational numbers transcendental numbers complex numbers for any a, b. d. What is the Continuum Hypothesis? The statement that there is no infinite set of size between that of the integers and that of the real numbers.

8 33. Name some of Euler s mathematical accomplishments. proved many of Fermat s unproved conjectures (and proved a few of those conjectures were wrong). Königsburg Bridge problem modern notation for sines, cosines, others. proved n 2 6 ix i e cos x isin x e 1 Established that and Euler constant γ Developed the gamma function Was the most prolific mathematician ever Others?

9 34. Explain a little bit about the problems Berkeley and others saw in the way calculus was originally done. In other words, why did it need to be rigorized? Basically, everyone who took a derivative (found the slope of a tangent line, found a maximum or minimum point, etc.) did so by choosing a point and a second point a small distance away from it. Then, then found the difference of the y values of these points, and divided it by the small difference in x-values between the points. In order to do this division, they had to assume that this horizontal difference is non-zero. Then, as a last step, they assumed that this distance was either zero or negligible. This contradiction between seeing the difference as zero in order to do the division, and as nonzero or negligible in the last step, is what needed to be resolved, and of course, the answer was in the limit concept.

10 35. We ve given brief biographies and vignettes from the personal lives of several mathematicians in the modern era. Pick one mathematician and provide some details of his/her life. Answers vary.

Contents Part A Number Theory Highlights in the History of Number Theory: 1700 BC 2008

Contents Part A Number Theory Highlights in the History of Number Theory: 1700 BC 2008 Contents Part A Number Theory 1 Highlights in the History of Number Theory: 1700 BC 2008... 3 1.1 Early Roots to Fermat... 3 1.2 Fermat... 6 1.2.1 Fermat s Little Theorem... 7 1.2.2 Sums of Two Squares...

More information

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Name: MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Closed Book / Closed Note. Answer all problems. You may use a calculator for numerical computations. Section 1: For each event listed in the first

More information

INTRODUCTION TO TRANSCENDENTAL NUMBERS

INTRODUCTION TO TRANSCENDENTAL NUMBERS INTRODUCTION TO TRANSCENDENTAL NUBERS VO THANH HUAN Abstract. The study of transcendental numbers has developed into an enriching theory and constitutes an important part of mathematics. This report aims

More information

CHAPTER 1. Introduction

CHAPTER 1. Introduction CHAPTER 1 Introduction A typical Modern Geometry course will focus on some variation of a set of axioms for Euclidean geometry due to Hilbert. At the end of such a course, non-euclidean geometries (always

More information

Geometry beyond Euclid

Geometry beyond Euclid Geometry beyond Euclid M.S. Narasimhan IISc & TIFR, Bangalore narasim@math.tifrbng.res.in 1 Outline: Aspects of Geometry which have gone beyond Euclid Two topics which have played important role in development

More information

6: Polynomials and Polynomial Functions

6: Polynomials and Polynomial Functions 6: Polynomials and Polynomial Functions 6-1: Polynomial Functions Okay you know what a variable is A term is a product of constants and powers of variables (for example: x ; 5xy ) For now, let's restrict

More information

Lecture 2: What is Proof?

Lecture 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 information

Let π and e be trancendental numbers and consider the case:

Let π and e be trancendental numbers and consider the case: Jonathan Henderson Abstract: The proposed question, Is π + e an irrational number is a pressing point in modern mathematics. With the first definition of transcendental numbers coming in the 1700 s there

More information

Hilbert s problems, Gödel, and the limits of computation

Hilbert s problems, Gödel, and the limits of computation Hilbert s problems, Gödel, and the limits of computation Logan Axon Gonzaga University April 6, 2011 Hilbert at the ICM At the 1900 International Congress of Mathematicians in Paris, David Hilbert gave

More information

Obsevations, Truth and Logic

Obsevations, Truth and Logic Obsevations, Truth and Logic Jaap van Oosten Department of Mathematics Utrecht University Axioma, Groningen May 9, 2018 Art and Science have the same basic subject matter: Observations. Art (visual art):

More information

Geometry I (CM122A, 5CCM122B, 4CCM122A)

Geometry I (CM122A, 5CCM122B, 4CCM122A) Geometry I (CM122A, 5CCM122B, 4CCM122A) Lecturer: Giuseppe Tinaglia Office: S5.31 Office Hours: Wed 1-3 or by appointment. E-mail: giuseppe.tinaglia@kcl.ac.uk Course webpage: http://www.mth.kcl.ac.uk/

More information

SQUARE PATTERNS AND INFINITUDE OF PRIMES

SQUARE PATTERNS AND INFINITUDE OF PRIMES SQUARE PATTERNS AND INFINITUDE OF PRIMES KEITH CONRAD 1. Introduction Numerical data suggest the following patterns for prime numbers p: 1 mod p p = 2 or p 1 mod 4, 2 mod p p = 2 or p 1, 7 mod 8, 2 mod

More information

A Brief History of Algebra

A Brief History of Algebra A Brief History of Algebra The Greeks: Euclid, Pythagora, Archimedes Indian and arab mathematicians Italian mathematics in the Renaissance The Fundamental Theorem of Algebra Hilbert s problems 1 Pythagoras,

More information

What do you think are the qualities of a good theorem? it solves an open problem (Name one..? )

What do you think are the qualities of a good theorem? it solves an open problem (Name one..? ) What do you think are the qualities of a good theorem? Aspects of "good" theorems: short surprising elegant proof applied widely: it solves an open problem (Name one..? ) creates a new field might be easy

More information

Hilbert s problems, Gödel, and the limits of computation

Hilbert s problems, Gödel, and the limits of computation Hilbert s problems, Gödel, and the limits of computation Logan Axon Gonzaga University November 14, 2013 Hilbert at the ICM At the 1900 International Congress of Mathematicians in Paris, David Hilbert

More information

Chapter One Hilbert s 7th Problem: It s statement and origins

Chapter One Hilbert s 7th Problem: It s statement and origins Chapter One Hilbert s 7th Problem: It s statement and origins At the second International Congress of athematicians in Paris, 900, the mathematician David Hilbert was invited to deliver a keynote address,

More information

Table of Contents. 2013, Pearson Education, Inc.

Table of Contents. 2013, Pearson Education, Inc. Table of Contents Chapter 1 What is Number Theory? 1 Chapter Pythagorean Triples 5 Chapter 3 Pythagorean Triples and the Unit Circle 11 Chapter 4 Sums of Higher Powers and Fermat s Last Theorem 16 Chapter

More information

Philosophies of Mathematics. The Search for Foundations

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.

More information

Review Sheet for the Final Exam of MATH Fall 2009

Review Sheet for the Final Exam of MATH Fall 2009 Review Sheet for the Final Exam of MATH 1600 - Fall 2009 All of Chapter 1. 1. Sets and Proofs Elements and subsets of a set. The notion of implication and the way you can use it to build a proof. Logical

More information

15 the geometry of whales and ants non-euclidean geometry

15 the geometry of whales and ants non-euclidean geometry 15 the geometry of whales and ants non-euclidean geometry At the same time that a revolution was going on in algebra, similar events were taking place in geometry. Two millennia earlier, Euclid had written

More information

TABLE OF CONTENTS POLYNOMIAL EQUATIONS AND INEQUALITIES

TABLE OF CONTENTS POLYNOMIAL EQUATIONS AND INEQUALITIES COMPETENCY 1.0 ALGEBRA TABLE OF CONTENTS SKILL 1.1 1.1a. 1.1b. 1.1c. SKILL 1.2 1.2a. 1.2b. 1.2c. ALGEBRAIC STRUCTURES Know why the real and complex numbers are each a field, and that particular rings are

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

Hon 213. Third Hour Exam. Name

Hon 213. Third Hour Exam. Name Hon 213 Third Hour Exam Name Friday, April 27, 2007 1. (5 pts.) Some definitions and statements of theorems (5 pts. each) a, What is a Lambert quadrilateral? b. State the Hilbert Parallel Postulate (being

More information

ALGEBRA (SMR Domain 1) Algebraic Structures (SMR 1.1)...1

ALGEBRA (SMR Domain 1) Algebraic Structures (SMR 1.1)...1 TABLE OF CONTENTS Page Numbers ALGEBRA (SMR Domain 1)...1 0001 Algebraic Structures (SMR 1.1)...1 Apply basic properties of real and complex numbers in constructing mathematical arguments (e.g., if a

More information

MAT 115H Mathematics: An Historical Perspective Fall 2015

MAT 115H Mathematics: An Historical Perspective Fall 2015 MAT 115H Mathematics: An Historical Perspective Fall 2015 Final Student Projects Below are listed 15 projects featuring a famous theorem prominent in the history of mathematics. These theorems, dating

More information

Euclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from

Euclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from Hu1 Haotian Hu Dr. Boman Math 475W 9 November 2016 Euclid Geometry And Non-Euclid Geometry Have you ever asked yourself why is it that if you walk to a specific place from somewhere, you will always find

More information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. (a) Circle the prime

More information

Beyond Newton and Leibniz: The Making of Modern Calculus. Anthony V. Piccolino, Ed. D. Palm Beach State College Palm Beach Gardens, Florida

Beyond Newton and Leibniz: The Making of Modern Calculus. Anthony V. Piccolino, Ed. D. Palm Beach State College Palm Beach Gardens, Florida Beyond Newton and Leibniz: The Making of Modern Calculus Anthony V. Piccolino, Ed. D. Palm Beach State College Palm Beach Gardens, Florida Calculus Before Newton & Leibniz Four Major Scientific Problems

More information

Beautiful Mathematics

Beautiful Mathematics Beautiful Mathematics 1. Principle of Mathematical Induction The set of natural numbers is the set of positive integers {1, 2, 3,... } and is denoted by N. The Principle of Mathematical Induction is a

More information

How Euler Did It. by Ed Sandifer. Foundations of Calculus. September 2006

How Euler Did It. by Ed Sandifer. Foundations of Calculus. September 2006 How Euler Did It Foundations of Calculus September 2006 by Ed Sandifer As we begin a new academic year, many of us are introducing another generation of students to the magic of calculus. As always, those

More information

Unit 3: Definitions, Theorems and Proofs

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.

More information

Cantor and Infinite Sets

Cantor and Infinite Sets Cantor and Infinite Sets Galileo and the Infinite There are many whole numbers that are not perfect squares: 2, 3, 5, 6, 7, 8, 10, 11, and so it would seem that all numbers, including both squares and

More information

Cool Results on Primes

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

More information

Math Real Analysis

Math 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 information

9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations

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

More information

#26: Number Theory, Part I: Divisibility

#26: Number Theory, Part I: Divisibility #26: Number Theory, Part I: Divisibility and Primality April 25, 2009 This week, we will spend some time studying the basics of number theory, which is essentially the study of the natural numbers (0,

More information

Section 3.1: Direct Proof and Counterexample 1

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

More information

WHAT THIS BOOK IS ABOUT

WHAT THIS BOOK IS ABOUT Introduction WHAT THIS BOOK IS ABOUT 1. Plus Counting one, two, three, four or uno, dos, tres, cuatro (or in whatever language); or I, II, III, IV or 1, 2, 3, 4, or in whatever symbols is probably the

More information

Number Theory and Algebraic Equations. Odile Marie-Thérèse Pons

Number Theory and Algebraic Equations. Odile Marie-Thérèse Pons Number Theory and Algebraic Equations Odile Marie-Thérèse Pons Published by Science Publishing Group 548 Fashion Avenue New York, NY 10018, U.S.A. http://www.sciencepublishinggroup.com ISBN: 978-1-940366-74-6

More information

Chapter 12: Ruler and compass constructions

Chapter 12: Ruler and compass constructions Chapter 12: Ruler and compass constructions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Spring 2014 M. Macauley (Clemson) Chapter

More information

Dominoes and Counting

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

More information

Lecture 27 POLYNOMIALS

Lecture 27 POLYNOMIALS Lecture 7 POLYNOMIALS Polynomials transliterates as many numbers. This refers to the coefficients a j s of the x j s in n j=0 a jx j. Before we discuss such things therefore, it is imperitive that we come

More information

To Infinity and Beyond

To Infinity and Beyond University of Waterloo How do we count things? Suppose we have two bags filled with candy. In one bag we have blue candy and in the other bag we have red candy. How can we determine which bag has more

More information

Fundamentals. Introduction. 1.1 Sets, inequalities, absolute value and properties of real numbers

Fundamentals. Introduction. 1.1 Sets, inequalities, absolute value and properties of real numbers Introduction This first chapter reviews some of the presumed knowledge for the course that is, mathematical knowledge that you must be familiar with before delving fully into the Mathematics Higher Level

More information

O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets. Monday 14th November 2016 (Week 6)

O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets. Monday 14th November 2016 (Week 6) O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets Monday 14th November 2016 (Week 6) Summary Proofs of the Intermediate Value Theorem revisited Convergence

More information

10 Coolest Mathematics Results

10 Coolest Mathematics Results 10 Coolest Mathematics Results MICHAEL ALBA MAY 5, 2013 Many people are put off by the obscure symbols and strict rules of math, giving up on a problem as soon as they see both numbers and letters involved.

More information

Leonhard Euler: Swiss man famous for mathematics, and not his chocolate

Leonhard Euler: Swiss man famous for mathematics, and not his chocolate 1 Jose Cabrera Dr. Shanyu Ji Math 4388 31 October 2016 Leonhard Euler: Swiss man famous for mathematics, and not his chocolate Leonhard Euler - one of the most revolutionary figures in 18th century mathematics.

More information

A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One. Felix M. Lev

A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One. Felix M. Lev A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: felixlev314@gmail.com)

More information

Shi Feng Sheng Danny Wong

Shi Feng Sheng Danny Wong Exhibit C A Proof of the Fermat s Last Theorem Shi Feng Sheng Danny Wong Abstract: Prior to the Diophantine geometry, number theory (or arithmetic) was to study the patterns of the numbers and elementary

More information

MthEd/Math 300 Williams Winter 2012 Review for Midterm Exam 2 PART 1

MthEd/Math 300 Williams Winter 2012 Review for Midterm Exam 2 PART 1 MthEd/Math 300 Williams Winter 2012 Review for Midterm Exam 2 PART 1 1. In terms of the machine-scored sections of the test, you ll basically need to coordinate mathematical developments or events, people,

More information

A Brief Introduction to Proofs

A Brief Introduction to Proofs A Brief Introduction to Proofs William J. Turner October, 010 1 Introduction Proofs are perhaps the very heart of mathematics. Unlike the other sciences, mathematics adds a final step to the familiar scientific

More information

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

More information

O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets. Monday 13th November 2017 (Week 6)

O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets. Monday 13th November 2017 (Week 6) O1 History of Mathematics Lecture XII 19th-century rigour in real analysis, part 2: real numbers and sets Monday 13th November 2017 (Week 6) Summary Proofs of the Intermediate Value Theorem revisited Convergence

More information

On the Cardinality of Mersenne Primes

On the Cardinality of Mersenne Primes On the Cardinality of Mersenne Primes Garimella Rama Murthy, Associate Professor, International Institute of Information Technology (IIIT), Gachibowli, Hyderabad-32,AP,INDIA ABSTRACT In this research paper,

More information

THE MATHEMATICS OF EULER. Introduction: The Master of Us All. (Dunham, Euler the Master xv). This quote by twentieth-century mathematician André Weil

THE MATHEMATICS OF EULER. Introduction: The Master of Us All. (Dunham, Euler the Master xv). This quote by twentieth-century mathematician André Weil THE MATHEMATICS OF EULER Introduction: The Master of Us All All his life he seems to have carried in his head the whole of the mathematics of his day (Dunham, Euler the Master xv). This quote by twentieth-century

More information

INFINITY: CARDINAL NUMBERS

INFINITY: CARDINAL NUMBERS INFINITY: CARDINAL NUMBERS BJORN POONEN 1 Some terminology of set theory N := {0, 1, 2, 3, } Z := {, 2, 1, 0, 1, 2, } Q := the set of rational numbers R := the set of real numbers C := the set of complex

More information

35 Chapter CHAPTER 4: Mathematical Proof

35 Chapter CHAPTER 4: Mathematical Proof 35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21

More information

What is proof? Lesson 1

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

More information

Contact. Emina. Office: East Hall 1825 Phone:

Contact. Emina.   Office: East Hall 1825 Phone: to Contact Emina Email: eminaa@umich.edu Office: East Hall 1825 Phone: 734 647 5518 About me Born in Bosnia: Real home Utah Family Your turn Please fill out the questionnaire Back to business Class website

More information

Elliptic Curves. Kenneth A. Ribet. PARC Forum October 17, UC Berkeley

Elliptic Curves. Kenneth A. Ribet. PARC Forum October 17, UC Berkeley UC Berkeley PARC Forum October 17, 2008 In talking about elliptic curves, one can do no better than to quote the Yale mathematician Serge Lang (1927 2005), who began one of his many monographs as follows:

More information

One-to-one functions and onto functions

One-to-one functions and onto functions MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are

More information

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics Examiners: D. Burbulla, P. Glynn-Adey, S. Homayouni Time: 7-10

More information

from Euclid to Einstein

from Euclid to Einstein WorkBook 2. Space from Euclid to Einstein Roy McWeeny Professore Emerito di Chimica Teorica, Università di Pisa, Pisa (Italy) A Pari New Learning Publication Book 2 in the Series WorkBooks in Science (Last

More information

What can you prove by induction?

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................................................

More information

O1 History of Mathematics Lecture VIII Establishing rigorous thinking in analysis. Monday 30th October 2017 (Week 4)

O1 History of Mathematics Lecture VIII Establishing rigorous thinking in analysis. Monday 30th October 2017 (Week 4) O1 History of Mathematics Lecture VIII Establishing rigorous thinking in analysis Monday 30th October 2017 (Week 4) Summary French institutions Fourier series Early-19th-century rigour Limits, continuity,

More information

The roots of computability theory. September 5, 2016

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.

More information

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality Math 336-Modern Algebra Lecture 08 9/26/4. Cardinality I started talking about cardinality last time, and you did some stuff with it in the Homework, so let s continue. I said that two sets have the same

More information

The Legacy of Hilbert, Gödel, Gentzen and Turing

The Legacy of Hilbert, Gödel, Gentzen and Turing The Legacy of Hilbert, Gödel, Gentzen and Turing Amílcar Sernadas Departamento de Matemática - Instituto Superior Técnico Security and Quantum Information Group - Instituto de Telecomunicações TULisbon

More information

Solutions to Tutorial for Week 4

Solutions to Tutorial for Week 4 The University of Sydney School of Mathematics and Statistics Solutions to Tutorial for Week 4 MATH191/1931: Calculus of One Variable (Advanced) Semester 1, 018 Web Page: sydneyeduau/science/maths/u/ug/jm/math191/

More information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number

More information

MILLIS PUBLIC SCHOOLS

MILLIS PUBLIC SCHOOLS MILLIS PUBLIC SCHOOLS Curriculum Guide High School Math The Millis Public Schools Curriculum Guide highlights the Power Standards for each grade level, Grade 9 through Grade 12 for the Math department.

More information

Properties of the Pseudosphere

Properties of the Pseudosphere Properties of the Pseudosphere Simon Rubinstein Salzedo May 25, 2004 Euclidean, Hyperbolic, and Elliptic Geometries Euclid began his study of geometry with five axioms. They are. Exactly one line may drawn

More information

The Limit of Humanly Knowable Mathematical Truth

The 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 information

Mathematics Without Calculations It s a Beautiful Thing!

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,

More information

Thomas Jech. The Pennsylvania State University. Until the 19th century the study of the innite was an exclusive domain of

Thomas Jech. The Pennsylvania State University. Until the 19th century the study of the innite was an exclusive domain of THE INFINITE Thomas Jech The Pennsylvania State University Until the 19th century the study of the innite was an exclusive domain of philosophers and theologians. For mathematicians, while the concept

More information

CST Part IB. Computation Theory. Andrew Pitts

CST Part IB. Computation Theory. Andrew Pitts Computation Theory, L 1 1/171 CST Part IB Computation Theory Andrew Pitts Corrections to the notes and extra material available from the course web page: www.cl.cam.ac.uk/teaching/0910/comptheory/ Introduction

More information

A proof has to be rigorously checked before it is published, after which other mathematicians can use it to further develop the subject.

A proof has to be rigorously checked before it is published, after which other mathematicians can use it to further develop the subject. Proof in mathematics is crucial to its development. When an idea is formulated or an observation is noticed it becomes necessary to prove what has been discovered. Then again, the observation may prove

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Introduction to Number Theory

Introduction to Number Theory INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,

More information

MATH 1A, Complete Lecture Notes. Fedor Duzhin

MATH 1A, Complete Lecture Notes. Fedor Duzhin MATH 1A, Complete Lecture Notes Fedor Duzhin 2007 Contents I Limit 6 1 Sets and Functions 7 1.1 Sets................................. 7 1.2 Functions.............................. 8 1.3 How to define a

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory 21.8.2013 Overview The course discusses properties of numbers, the most basic mathematical objects. We are going to follow the book: David Burton: Elementary Number Theory What

More information

Open access to the SEP is made possible by a world-wide funding initiative. Please Read How You Can Help Keep the Encyclopedia Free

Open access to the SEP is made possible by a world-wide funding initiative. Please Read How You Can Help Keep the Encyclopedia Free 1 of 9 27/04/2012 12:28 PM Open access to the SEP is made possible by a world-wide funding initiative. Set Theory First published Thu Jul 11, 2002 Please Read How You Can Help Keep the Encyclopedia Free

More information

Trinity Christian School Curriculum Guide

Trinity Christian School Curriculum Guide Course Title: Calculus Grade Taught: Twelfth Grade Credits: 1 credit Trinity Christian School Curriculum Guide A. Course Goals: 1. To provide students with a familiarity with the properties of linear,

More information

Common Core Edition Table of Contents

Common Core Edition Table of Contents Common Core Edition Table of Contents ALGEBRA 1 Chapter 1 Foundations for Algebra 1-1 Variables and Expressions 1-2 Order of Operations and Evaluating Expressions 1-3 Real Numbers and the Number Line 1-4

More information

are essentially different? Imagine them as made out of string. No fidgeting with them (without cutting) can make them look identical!

are essentially different? Imagine them as made out of string. No fidgeting with them (without cutting) can make them look identical! The first Abel Prize has been awarded to Jean-Pierre Serre, one of the great mathematicians of our time. Serre is an Emeritus Professor at the Collège de France in Paris. He has made profound contributions

More information

Mathematics on Stamps. Robert McGee November 7, 2013 mathhappy.com

Mathematics on Stamps. Robert McGee November 7, 2013 mathhappy.com Mathematics on Stamps Robert McGee November 7, 2013 mathhappy.com Tool Kit 1.Images of Mathematics on Postage Stamps http://jeff560.tripod.com/stamps.html Very large number of images of mathematics

More information

College Algebra. Basics to Theory of Equations. Chapter Goals and Assessment. John J. Schiller and Marie A. Wurster. Slide 1

College Algebra. Basics to Theory of Equations. Chapter Goals and Assessment. John J. Schiller and Marie A. Wurster. Slide 1 College Algebra Basics to Theory of Equations Chapter Goals and Assessment John J. Schiller and Marie A. Wurster Slide 1 Chapter R Review of Basic Algebra The goal of this chapter is to make the transition

More information

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ.

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ. 2008 Pearson Education, Inc., Upper Saddle River, NJ. All rights reserved. APPENDIX: Mathematical Proof There are many mathematical statements whose truth is not obvious. For example, the French mathematician

More information

Fields in Cryptography. Çetin Kaya Koç Winter / 30

Fields in Cryptography.   Çetin Kaya Koç Winter / 30 Fields in Cryptography http://koclab.org Çetin Kaya Koç Winter 2017 1 / 30 Field Axioms Fields in Cryptography A field F consists of a set S and two operations which we will call addition and multiplication,

More information

Hence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n

Hence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n Appendix A: The Principle of Mathematical Induction We now present an important deductive method widely used in mathematics: the principle of mathematical induction. First, we provide some historical context

More information

CHMC: Finite Fields 9/23/17

CHMC: Finite Fields 9/23/17 CHMC: Finite Fields 9/23/17 1 Introduction This worksheet is an introduction to the fascinating subject of finite fields. Finite fields have many important applications in coding theory and cryptography,

More information

C.T.Chong National University of Singapore

C.T.Chong National University of Singapore NUMBER THEORY AND THE DESIGN OF FAST COMPUTER ALGORITHMS C.T.Chong National University of Singapore The theory of numbers has long been considered to be among the purest of pure mathematics. Gauss ( 1777-1855)

More information

NUMBERS It s the numbers that count

NUMBERS It s the numbers that count NUMBERS It s the numbers that count Starting from the intuitively obvious this note discusses some of the perhaps not so intuitively obvious aspects of numbers. Henry 11/1/2011 NUMBERS COUNT! Introduction

More information

PHASE 9 Ali PERFECT ALI-PI.

PHASE 9 Ali PERFECT ALI-PI. PHASE 9 PERFECT ALI-PI Pi as a Fraction pi is written and expressed as definite fraction and ratio of two numbers: pi = 19 /6 = 3.16666666. pi = 3 + 1/6 Any rational number which cannot be expressed as

More information

Primes. Peter Martinson

Primes. Peter Martinson Primes Peter Martinson To begin the investigation of Gauss s early work, we must begin with prime numbers. People are usually taught that numbers come out of counting how many objects there are. We all

More information

A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One. Felix M. Lev

A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One. Felix M. Lev A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: felixlev314@gmail.com)

More information

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs. Fermat s last theorem CS 220: Discrete Structures and their Applications Theorem: For every integer n > 2 there is no solution to the equation a n + b n = c n where a,b, and c are positive integers Proofs

More information

MAC-CPTM Situations Project

MAC-CPTM Situations Project Prompt MAC-CPTM Situations Project Situation 51: Proof by Mathematical Induction Prepared at the University of Georgia Center for Proficiency in Teaching Mathematics 13 October 2006-Erik Tillema 22 February

More information

Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitu

Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitu Chapter 3 Greeks Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitude of Mediterranean islands. The Greeks

More information

Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem. Michael Beeson

Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem. Michael Beeson Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem Michael Beeson The hypotheses needed to prove incompleteness The question immediate arises whether the incompleteness

More information