The subject of language, logic and proofs…

Slides:



Advertisements
Similar presentations
Automata Theory CS 3313 Chapter 1 An overview of Automata Theory.
Advertisements

Mathematics in Engineering Education 1. The Meaning of Mathematics 2. Why Math Education Have to Be Reformed and How It Can Be Done 3. WebCT: Some Possibilities.
Introduction to Proofs
Did Einstein and Plato get it right? A TOK Presentation on the place of Mathematics in our world. A personal view.
Elementary Number Theory and Methods of Proof
Exploring the Areas of Knowledge
CS1001 Lecture 22. Overview Mechanizing Reasoning Mechanizing Reasoning G ö del ’ s Incompleteness Theorem G ö del ’ s Incompleteness Theorem.
Lecture 24: Gödel’s Proof CS150: Computer Science
Today’s Topics Using CP and RAA Things to watch for, things to avoid Strategic hints for using CP and RAA A Little Metalogic and some History of Logic.
Computability Thank you for staying close to me!! Learning and thinking More algorithms... computability.
Introduction to Computer Science. A Quick Puzzle Well-Formed Formula  any formula that is structurally correct  may be meaningless Axiom  A statement.
Mathematics and TOK Exploring the Areas of Knowlege.
Mathematics and the Theory of Knowledge
To construct a logical argument using algebraic properties
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?
Simply Frege Gottlob By: Tramil Duff. About Frege Gottlob Frege was a German mathematician, logician,and a philosopher. Was born on November in.
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.
Linear Algebra Fall 2013 mathx.kaist.ac.kr/~schoi/teaching.html.
David Evans CS200: Computer Science University of Virginia Computer Science Class 24: Gödel’s Theorem.
About Math and related topics About Math 1. The Unreasonable Effectiveness The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene.
Institute for Experimental Physics University of Vienna Institute for Quantum Optics and Quantum Information Austrian Academy of Sciences Undecidability.
Hilbert’s Progamme Early in C20, the mathematician Hilbert led a programme to formalise maths; to reduce it to a clear set of axioms and show that all.
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.
Course Overview and Road Map Computability and Logic.
Activity 1-19: The Propositional Calculus
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
Integrated Science Grade 8 Mrs. Webb Branches of Sciences Social Science Natural Science.
Today’s Topics Introduction to Proofs Rules of Inference Rules of Equivalence.
Thinking in Methodologies Class Notes. Gödel’s Theorem.
BY: LEONARDO BENEDITT Mathematics. What is Math? Mathematics is the science and study of quantity, structure, space, and change. Mathematicians.
About Math and related topics About Math 1. The Unreasonable Effectiveness The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene.
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.
To Infinity and Beyond!. Paradox A paradox is a seemingly consistent, logical argument that nonetheless ends with a ridiculous conclusion Like the story.
What is Mathematics?  The abstract science of number, quantity, and space  a science of logical reasoning  systematized knowledge, and/or strategic.
Proof And Strategies Chapter 2. Lecturer: Amani Mahajoub Omer Department of Computer Science and Software Engineering Discrete Structures Definition Discrete.
The Methods of Science Chapter 1.
What is Mathematics? The science (or art?) that deals with numbers, quantities, shapes, patterns and measurement An abstract symbolic communication system.
Assessment.
Lab Safety & Experimental Design Review
Logic and Reasoning.
EVOLUTION.
Assessment.
Welcome to Emmbrook Infant School’s Maths Curriculum Evening
Michael Lacewing Mackie’s error theory Michael Lacewing © Michael Lacewing.
THE SCIENTIFIC METHOD   Regents Biology.
Chapter 3 The Real Numbers.
Philosophy of Mathematics 1: Geometry
Great Theoretical Ideas in Computer Science
MATHEMATICS.
The Scientific Revolution
The Nature of Science The Scientific Method.
Daniel W. Blackmon Theory of Knowledge Coral Gables Senior High
Group Work Lesson 9.
Lecture 22: Gödel’s Theorem CS200: Computer Science
Activities and Labs to Support Evolution Unit
-Science- What is it???.
No of aliens Number of fingers Number of toes Number of legs Number of ribs Number of arms.
Mathematics Quiz Next Class.
What is Missing? most People’s View Of science: Order, Logic, Rationalism all working together to yield the truth No room for randomness This will be strong.
What is Science State the Goals of Science
Key Ideas How do scientists explore the world?
1.1 Introduction to Inductive and Deductive Reasoning
Reasoning with Properties from Algebra
List three things you can remember about LAB SAFETY (4).
Philosophy of Mathematics: a sneak peek
An example of the “axiomatic approach” from geometry
Lab Safety & Experimental Design Review
Mathematics Michael Lacewing.
Warm UP The length of a square is 5 cm. What is the measure of its width? What is the sum of the first 5 counting numbers? Solve the equation 2x + 1.
Proving Statements about Segments
Presentation transcript:

The subject of language, logic and proofs… MATHEMATICS The subject of language, logic and proofs…

Is Math a discovery or an invention? Discuss in your table groups and prepared to present your argument.

What is the balance to making new discoveries in math?

Pure vs. Applied Math Pure Mathematics: Pure Mathematicians prove theorems about new ideas or concepts. Discovering patterns, puzzles, and abstractions. Application examples: problems related to relativity or quantum mechanics Applied Mathematics: Applied Mathematicians construct theories based on real- world uses Application examples: Engineering, economics, physics, finance, biology, astronomy

In the 19th Century, mathematicians became obsessed tith proofs In the 19th Century, mathematicians became obsessed tith proofs. They wanted to create a system that could separate truth from falsehood, which could with perfect accuracy and utter permanence, describe our foundation of knowledge about the world.

The philosopher Kurt Godel proved that no matter what axioms you choose to start with, any system will eventually run into statements that can’t be proven either way. Not true or false. They just… are.

Throughout our year together, we will find many mathematical statements that we may think are true… or false…. Be sure to use pure math to prove it is true, and applied math to show how it can be used!

Trial and Error?

The history of counting…

Alien Based Counting Create a new alien civilization. Your goal is to: Describe their origin and their way of life Explain what they look like Based on their number of fingers, demonstrate their counting system. Provide examples of 10 different numbers in your counting system. Criteria Be creative! Try not to copy an idea that already exists in terms of alien societies. You must demonstrate their counting system.

Human - Counting Evolution: Humans evolved from a furry, banana eating species. When we believed we knew better, we dominated and crushed our prior existence to ensure the continual growth and domination of our species. However, over time, we began to understand our emotions and develop compassion and empathy towards our planet and other people. Description: We are of different skin colors, hair colors, and eye colors, but we stand tall on two legs with random patches of fur in peculiar locations. We are usually symmetrical, having two feet, two hands, two arms, and two legs, which connect to our torso, leading up to our head. We continue to become taller and more intellectual with each generation of evolution. The more we learn about our existence, the more we develop our understanding of the limitations and possibilities that exist for our species. Counting System: We developed a system of counting based off our 10 fingers and 10 toes. We call this the base 10 system and it is the foundation of all mathematics. We create benchmarks at 10^0=0, 10^1=10, 10^2=100, 10^3=1000, etc.

Counting Using Base-10 Number 10^3=1000 10^2=100 10^1=10 10^0=0 1 432 873 8 7 927 9 1289