Mathematics. We tend to think of math as an island of certainty in a vast sea of subjectivity, interpretability and chaos. What is it?

Slides:



Advertisements
Similar presentations
Introduction to Geometry – Postulates and Theorems
Advertisements

1 Logic Logic in general is a subfield of philosophy and its development is credited to ancient Greeks. Symbolic or mathematical logic is used in AI. In.
Mathematics in ToK Area of Knowledge 1: How do we apply language, emotion, sensory perception, and reason/logic to gain knowledge through Mathematics?
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
Ch. 10: What is a number?. MAIN DEFINITION OF THE COURSE: A symmetry of an object (in the plane or space) means a rigid motion (of the plane or space)
Axiomatic systems and Incidence Geometry
Learning through failure in mathematics.  Around 300 B.C., Euclid began work in Alexandria on Elements, a veritable “bible of mathematics”  Euclid.
Chapter 1 Using Geogebra Exploration and Conjecture.
Exploring the Areas of Knowledge
Greek Mathematics and Philosophy.  Thales ( BC): father of mathematical proof.
So far we have learned about:
2.1 Demonstrative Geometry Proofs (page 46)
Copyright © Cengage Learning. All rights reserved.
TR1413: Discrete Mathematics For Computer Science Lecture 1: Mathematical System.
Constructing Triangles
Math 260 Foundations of Geometry
Non-Euclidean Geometries
Spherical Geometry. The sole exception to this rule is one of the main characteristics of spherical geometry. Two points which are a maximal distance.
Non-Euclidean geometry and consistency
Euclid’s Plane Geometry
Chapter 2: Euclid’s Proof of the Pythagorean Theorem
Areas of knowledge – Mathematics
Powerpoint Templates Page 1 Powerpoint Templates Mathematics & Proofs.
AOK. D6 Journal (5 th entry) TWE can imagination be objective if it is derived in the mind? If it is always subjective can it lead to knowledge?
Chapter 2 Midterm Review
TaK “This was one of the great events of my life, as dazzling as first love. I had not imagined that there was anything so delicious in the world” Bertrand.
MGF 1107 Mathematics of Social Choice Part 1a – Introduction, Deductive and Inductive Reasoning.
‘Pure Mathematics is, in its way, the poetry of logical ideas’ Einstein ‘Maths is like love, a simple idea but it can get very complicated.’ Unknown ‘The.
The Strange New Worlds: The Non-Euclidean Geometries Presented by: Melinda DeWald Kerry Barrett.
Copyright © Cengage Learning. All rights reserved.
Mathematics Review Exponents Logarithms Series Modular arithmetic Proofs.
Math 3121 Abstract Algebra I Section 0: Sets. The axiomatic approach to Mathematics The notion of definition - from the text: "It is impossible to define.
Mathematics- Scope • What is the area of knowledge about?
MAT 333 Fall  As we discovered with the Pythagorean Theorem examples, we need a system of geometry to convince ourselves why theorems are true.
Michelle Huchette Block 2. * Greek * From Alexandria, taught mathematics there * Worked with prepositions and proofs * Created the basis for teachings.
Euclid’s Postulates 1.Two points determine one and only one straight line 2.A straight line extends indefinitely far in either direction 3. A circle may.
Theorems and conjectures
© 2010 Pearson Prentice Hall. All rights reserved. CHAPTER 10 Geometry.
1.1 Introduction to Inductive and Deductive Reasoning
TOK: Mathematics Unit 1 Day 1. Introduction Opening Question Is math discovered or is it invented? Think about it. Think real hard. Then discuss.
Mathematics. From last week Mathematics can be defined as ‘the science of rigorous proof” begins with axioms and used deductive reason to derive theorems.
Euclid and the “elements”. Euclid (300 BC, 265 BC (?) ) was a Greek mathematician, often referred to as the "Father of Geometry”. Of course this is not.
1 Introduction to Abstract Mathematics Chapter 2: The Logic of Quantified Statements. Predicate Calculus Instructor: Hayk Melikya 2.3.
Teaching children to reason mathematically Anne Watson Ironbridge 2014 University of Oxford Dept of Education.
Math 409/409G History of Mathematics Book I of Euclid’s Elements Part V: Parallel Lines.
The Parallel Postulate
CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction Linda Shapiro Winter 2015.
Important Concepts Postulates The geometry concepts that you are going to study through this course are largely based on ideas set forth more than.
Lesson Objective Understand what maths is Understand some of the common notation attached to mathematics.
 You will be able to use theorems and definitions to find the measures of angles.  You will be able to use theorems and definitions to write a formal.
The reason why Euclid was known as the father of geometry because, he was responsible for assembling all the world’s knowledge of flat planes and 3D geometry.
Conditional Statements A conditional statement has two parts, the hypothesis and the conclusion. Written in if-then form: If it is Saturday, then it is.
TOK: Mathematics Unit 1 Day 1. 2 – B 2 = AB – B 2 Factorize both sides: (A+B)(A-B) = B(A-B) Divide both sides by (A-B): A = B = B Since A = B, B+B=B Add.
Foundations of Geometry
Lecture 2: Proofs and Recursion. Lecture 2-1: Proof Techniques Proof methods : –Inductive reasoning Lecture 2-2 –Deductive reasoning Using counterexample.
Chapter 9 Deductive Geometry in Circles Chung Tai Educational Press © Chapter Examples Quit Chapter 9 Deductive Geometry in Circles Deductive Reasoning.
The World’s History of Math I S T A P R O V E D
Euclid’s Postulates Two points determine one and only one straight line A straight line extends indefinitely far in either direction 3. A circle may be.
Euclid’s Definitions EUCLID’ S GEOMETRY
POSTULATES AND PROOFS ★Postulates are statements that are assumed to be true without proof. ★ Postulates serve two purposes - to explain undefined terms,
Thinking Geometrically: Using Proofs
Euclid The Elements “There is no royal road to Geometry.”
MATHEMATICS.
Mathematics Non-euclidian Maths Powerpoint Templates.
CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction
Introduction to Geometry – Postulates and Theorems
1.1 Introduction to Inductive and Deductive Reasoning
Philosophy of Mathematics: a sneak peek
An example of the “axiomatic approach” from geometry
Mathematics Michael Lacewing.
Presentation transcript:

Mathematics

We tend to think of math as an island of certainty in a vast sea of subjectivity, interpretability and chaos. What is it?

The search for abstract patterns. These patterns are all over the place: for any object you can name, you can take two of it and then add two more of it, and you will have four of it. If you take any circle – no matter the size – and divide its circumference by its diameter and you always get the same number (roughly 3.14). In this sense there seems to be an underlying order to things. This means that math seems to give us certainty, and also has very practical applications.

“The book of Nature is written in the language of Mathematics” – Galileo Galilei ( )

It’s precisely this certainty that can be scary, however. If you make a mistake in a math problem, you’re just wrong, and can be shown to be wrong. No one will say “What an interesting interpretation!”

The Mathematical Paradigm A good definition of mathematics is “the science of rigorous proof.” Early cultures developed what we now refer to as “cookbook mathematics” – useful recipes for solving practical problems. Mathematics as the science of proof dates back to the Greeks.

Euclid (300 BCE) was the first person to organize geometry into a rigorous body of knowledge. The geometry we learn today is basically Euclidean geometry. The model of reasoning developed by Euclid is called a formal system.

A formal system has three key elements: 1.axioms 2.deductive reasoning 3.theorems

Axioms Axioms are the starting points, or basic assumptions. Until (at least) the 19 th century, the axioms of mathematics were considered to be self-evident truths. We still have to pretty much accept them as true (otherwise we risk getting caught in an infinite regress….).

There are four traditional requirements for a set of axioms. They have to be…. 1.Consistent. If you can deduce both p and non-p from the same set of axioms, they are not consistent. Inconsistency is bad – once you’ve let it into a system you can prove literally anything. 2.Independent. You should begin with the smallest possible number of axioms, and they should be very basic. As soon as an axiom gets complicated enough that it can be deduced by another axiom it is too complex. 3.Simple. Since axioms are accepted without further proof, they ought to be as simple and clear as possible. 4.Fruitful. A good formal system should enable you to prove as many theorems as possible using the fewest number of axioms.

Starting with a few basic axioms (a point is that which has no part, a line has length but no breadth, etc…), Euclid postulated the following five axioms: 1.It shall be possible to draw a straight line joining any two points. 2.A finite straight line may be extended without limit in either direction. 3.It shall be possible to draw a circle with a given center and through a given point. 4.All right angles are equal to one another. 5.There is just one straight line through a given point, which is parallel to a given line.

Deductive Reasoning We discussed this last semester. (1) All human beings are mortal (2) Socrates is a human being (3) Therefore Socrates is mortal. In mathematics, axioms are like premises, and theorems are like conclusions.

Theorems Using his five axioms and deductive reasoning, Euclid derived various simple theorems: 1.Lines perpendicular to the same line are parallel. 2.Two straight lines do not enclose an area. 3.The sum of the angles of a triangle is 180 degrees. 4.The angles on a straight line add up to 180 degrees.

How can a mathematical proof be “beautiful”? Although the person on the street does not usually associate mathematics with beauty, we can get a sense of what a mathematician means by a “beautiful” or “elegant” solution by considering a couple of simple examples. 1.There are 1024 people in a knock-out tennis tournament. What is the total number of games that must be played before a champion can be declared? 2.What is the sum of integers from 1 to 100?

Mathematics and the Ways of Knowing We know about it in terms of reason, but what about the others?