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

Slides:



Advertisements
Similar presentations
Geometry Chapter 2 Terms.
Advertisements

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Math is Empirical? “empirical” = “needing evidence, usually through experience”
Debate. Inductive Reasoning When you start with a probable truth, and seek evidence to support it. Most scientific theories are inductive. Evidence is.
Exploring the Areas of Knowledge
CS1001 Lecture 22. Overview Mechanizing Reasoning Mechanizing Reasoning G ö del ’ s Incompleteness Theorem G ö del ’ s Incompleteness Theorem.
TR1413: Discrete Mathematics For Computer Science Lecture 3: Formal approach to propositional logic.
So far we have learned about:
Lecture 24: Gödel’s Proof CS150: Computer Science
TR1413: Discrete Mathematics For Computer Science Lecture 1: Mathematical System.
Introduction to Social Science Research
2-5 Reasoning in Algebra and Geometry
Mathematics and TOK Exploring the Areas of Knowlege.
Mathematics and the Theory of Knowledge
Areas of knowledge – Mathematics
To construct a logical argument using algebraic properties
Class 36: Proofs about Unprovability David Evans University of Virginia cs1120.
Bryson Brown UH B864, x2506 Philosophy 1000.
WARM UP EXERCSE Consider the right triangle below with M the midpoint of the hypotenuse. Is MA = MC? Why or why not? MC B A 1.
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?
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.
Postulates and Paragraph Proofs
The Geometry of Learning Unit Presentation By Dawn Brander.
David Evans CS200: Computer Science University of Virginia Computer Science Class 24: Gödel’s Theorem.
Class Starter Please list the first five words or phrases that come to your mind when you hear the word : CHEMISTRY.
Scientific Laws AND Theories Supported by a large body of experimental data Help unify a particular field of scientific study Widely accepted by the vast.
Temperature Readings The equation to convert the temperature from degrees Fahrenheit to degrees Celsius is: c(x) = (x - 32) The equation to convert the.
Introduction to Geometric Proof Logical Reasoning and Conditional Statements.
Mathematics. We tend to think of math as an island of certainty in a vast sea of subjectivity, interpretability and chaos. What is it?
Objective:To understand the nature of maths; especially the distinction with science and possible links to art Hillbilly Maths and Nature by Numbers –
Theorems and conjectures
WHAT IS MATHEMATICS?. Mathematics is an endeavour of the human spirit.
Mathematics What is it? What is it about?. Terminology: Definition Axiom – a proposition that is assumed without proof for the sake of studying the consequences.
1.1 Introduction to Inductive and Deductive Reasoning
Honors Geometry Intro. to Deductive Reasoning. Reasoning based on observing patterns, as we did in the first section of Unit I, is called inductive 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.
2010 Virginia Science SOL. Equipped with his five senses, man explores the universe around him and calls the adventure Science.
Postulates and Paragraph Proofs Section 2-5.  postulate or axiom – a statement that describes a fundamental relationship between the basic terms of geometry.
Philosophy 224 What is a Theory of Human Nature?.
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
Theory of Knowledge Ms. Bauer
The construction of a formal argument
Thinking in Methodologies Class Notes. Gödel’s Theorem.
Geometry The Van Hiele Levels of Geometric Thought.
Moon Phases And some basic ideas about science and the scientific method.
Important Concepts Postulates The geometry concepts that you are going to study through this course are largely based on ideas set forth more than.
TOK learning objectives Areas of Knowledge. Natural sciences (objectives) Explain how scientific method work Define ‘hypothesis’, ‘theory’, ‘model’, ‘experiment’,
Problem Solving. Definition Basic intellectual process that has been refined and systemized for the various challenges people face.
Mathematics and TOK Exploring the Areas of Knowlege.
Theory of Knowledge: Mathematics. What is maths? In order to discuss what maths is, it is helpful to look back at how maths as a discipline developed.
Mathematical Proof A domino and chessboard problem.
The Geometry of Learning Unit Presentation By Dawn Brander.
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.
1.2 Reasoning Mathematically Two Types of Reasoning Remember to Silence Your Cell Phone and Put It in Your Bag!
Axioms and Theorems. Remember syllogisms? The Socrates Syllogism All human beings are mortal Socrates is a human being Therefore Socrates is mortal premises.
What is Mathematics? The science (or art?) that deals with numbers, quantities, shapes, patterns and measurement An abstract symbolic communication system.
Introduction to Research Methodology
“Cogito ergo sum.” -- Rene Descartes, Discourse on the Method
Introduction to Research Methodology
2.4 Deductive Reasoning.
How science works (adapted from Coombs, 1983)
The most important idea in logic: Validity of an argument.
1.1 Introduction to Inductive and Deductive Reasoning
An example of the “axiomatic approach” from geometry
FCAT Science Standard Arianna Medina.
TODAY’S OBJECTIVE: Standard: MM1G2
Chapter 2: Geometric Reasoning
Presentation transcript:

‘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 highest form of pure thought is in Mathematics.’ Plato ‘Mathematics rightly viewed, possesses not only truth, but supreme beauty; a beauty cold and austere, like that of a sculpture’ Bertrand Russell

 Choose 3 words that for you describe the essence of Mathematical knowledge.  Do themes recur, are these a fair reflection or a stereotype?

 In a strict sense, mathematics differs from science, if we accept that science is the discipline that seeks understanding of the physical world by means of the scientific method. The reason mathematics differs from this is because mathematics does not, in a pure sense, attempt to describe the physical world. Mathematical theorems are not tested against nature, but against logic.

 Basically Mathematics is the derivation of theorems from axioms. Mathematicians play games of ‘what if’. They make up sets of rules for the game – these are known as axioms And then explore the outcomes (theorems) of playing the game. *video on Pythagoras and Euclid

 Different fields of Maths such as geometry, algebra, set theory etc. are all axiomatic deductive systems.  The axioms are used as the premises, mathematicians apply valid deductive reasoning to them, a process called mathematical proof to obtain new statements called theorems. These theorems are used to build further theorems which can come up with additional premises…….

 What is needed to make a true conclusion? Valid reasoning AND your premises must be true (remember valid reasoning is an argument that is logically correct and your premises are what you are basing your argument on premises = axioms) Problem: How do we know if the axioms are true – or are not the only possible truth?

 Read the text about Euclid’s axioms.  In geometry Euclid’s are more useful in building a house, but Reimann’s in flying an airplane.  Once a Mathmatician adopts any specific set of axioms, he can only play by them – very, very strictly.

Lessons from the IBO ‘Numbers and Numerals’ Complete hand out and research one of the numerical systems.

 In pairs research one statement from the TOK guide for Mathematics. Feedback to the rest of the class – 3 minutes Make a summary for the wiki site.