What is Mathematics? The science (or art?) that deals with numbers, quantities, shapes, patterns and measurement An abstract symbolic communication system.

Slides:



Advertisements
Similar presentations
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.
Advertisements

Mathematical thinking
Modeling of interactions between physics and mathematics
Mathematics and TOK Exploring the Areas of Knowlege.
ELEMENTARY NUMBER THEORY AND METHODS OF PROOF
First Order Logic. This Lecture Last time we talked about propositional logic, a logic on simple statements. This time we will talk about first order.
CS 2210 (22C:019) Discrete Structures Logic and Proof Spring 2015 Sukumar Ghosh.
1 1.0 Students solve equations and inequalities involving absolute value. Algebra 2 Standards.
MATH 173 GI Whole & Signed Numbers Sept 2008MTH173 - Numbers1.
‘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.
Nama : Jehan binti Jamian No.matrik : UK Discrete Mathematics Area of mathematics that deals with the study of discrete objects. Discusses languages.
Introduction to Proofs
Class Starter Please list the first five words or phrases that come to your mind when you hear the word : CHEMISTRY.
MATH 224 – Discrete Mathematics
Methods of Proof. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical theorems. Direct.
Section 1.8. Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Nonexistence Proofs Uniqueness Proofs.
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
First Order Logic Lecture 2: Sep 9. This Lecture Last time we talked about propositional logic, a logic on simple statements. This time we will talk about.
Copyright © Cengage Learning. All rights reserved. CHAPTER 7 FUNCTIONS.
Mathematical Problems & Inquiry in Mathematics AME Tenth Anniversary Meeting May A/P Peter Pang Department of Mathematics and University Scholars.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
{ What is a Number? Philosophy of Mathematics.  In philosophy and maths we like our definitions to give necessary and sufficient conditions.  This means.
BY: LEONARDO BENEDITT Mathematics. What is Math? Mathematics is the science and study of quantity, structure, space, and change. Mathematicians.
First Order Logic Lecture 3: Sep 13 (chapter 2 of the book)
Dancing and running shake up the chemistry of happiness. Mason Cooley Mason Cooley Read more at
1 Proof of the Day: Some students claimed to prove that 2 k = 2 k+1 – 1. Try to prove by induction that: 2 k = 2 k+1 – 1. Where does the proof go off-track?
On computable numbers, with an application to the ENTSCHEIDUNGSPROBLEM COT 6421 Paresh Gupta by Alan Mathison Turing.
Section 1.8. Proof by Cases Example: Let b = max{a, b} = a if a ≥ b, otherwise b = max{a, b} = b. Show that for all real numbers a, b, c
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
MA/CSSE 474 Theory of Computation Universal Turing Machine Church-Turing Thesis (Winter 2016, these slides were also used for Day 33)
MA/CSSE 474 Theory of Computation Universal Turing Machine Church-Turing Thesis Delayed due dates for HWs See updated schedule page. No class meeting.
1 A Universal Turing Machine. 2 Turing Machines are “hardwired” they execute only one program A limitation of Turing Machines: Real Computers are re-programmable.
Axioms and Theorems. Remember syllogisms? The Socrates Syllogism All human beings are mortal Socrates is a human being Therefore Socrates is mortal premises.
Average Value of a Function. Let’s get started: You already know how to take the average of some finite set. The "mean" is the "average" you're used to,
Chapter 4 Introduction to Set Theory
The Foundations: Logic and Proofs
CS 2210:0001 Discrete Structures Logic and Proof
Chapter 2 Sets and Functions.
A Universal Turing Machine
PowerPointmaths.com © 2004 all rights reserved
Computable Functions.
Chapter 4 (Part 1): Induction & Recursion
Argument An argument is a sequence of statements.
Discrete Structures for Computer Science
Great Theoretical Ideas in Computer Science
Indirect Argument: Two Classical Theorems
Classification of Research
WHAT IS THE NATURE OF SCIENCE?
Math Analysis.
Mathematical Induction II
Predicate Calculus Validity
Section 1: The Nature of Science
Philosophy of Mathematics 1: Geometry
Much Woolton Catholic Primary Parents’ Workshop Thursday 7th December
Direct Proof and Counterexample I
Proving Existentials A proof of a statement of the form x P(x) is called an existence proof. If the proof demonstrates how to actually find or construct.
Automata and Formal Languages (CS 350/550)
Great Theoretical Ideas in Computer Science
CS 220: Discrete Structures and their Applications
First Order Logic Rosen Lecture 3: Sept 11, 12.
Discrete Math for CS CMPSC 360 LECTURE 43 Last time: Variance
Section 1: The Nature of Science
Elementary Number Theory & Proofs
Section 1: The Nature of Science
Mathematics Quiz Next Class.
Key Ideas How do scientists explore the world?
Philosophy of Mathematics: a sneak peek
The Nature of Science.
Turing Machines Everything is an Integer
Presentation transcript:

What is Mathematics? The science (or art?) that deals with numbers, quantities, shapes, patterns and measurement An abstract symbolic communication system based on formal logic Learning (Greek mathematikoi, ‘educated people’) “Mathematics can be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true” (Bertrand Russell) Department of Mathematics

Why is Maths important? It describes the relationships of abstract, symbolic concepts It provides a good description of the physical universe It is at the heart of all scientific and technical development Every idea in mathematics results from an attempt to solve some problem Department of Mathematics

What do mathematicians do? “It is difficult to give an idea of the vast extent of modern mathematics” (Arthur Cayley, 1883) “Mathematics is a game played according to certain simple rules with meaningless marks on paper” (David Hilbert, 1862-1943) ‘Pure’ Mathematicians: Look for patterns Generalize and prove results Inspire ‘applied’ mathematics ‘Applied’ Mathematicians: Model reality Solve problems Inspire ‘pure’ mathematics Department of Mathematics

How do we know things? By PROVING them! To a mathematician, proof is an argument to be accepted beyond even unreasonable doubt Different from science, law, etc. What is your favourite proof? Department of Mathematics

How many primes are there? Suppose there are finitely many prime numbers: p1, p2, …, pn Let q = (p1 p2 … pn) + 1 Divide q by any of p1, p2, …, pn The remainder is 1, so none of p1, p2, …, pn is a factor of q But every integer is prime or a product of primes (this needs proof!) We have reached a contradiction, so there are infinitely many primes Department of Mathematics

Solved and unsolved The Four Colour theorem (Proved by computer analysis in 1977) Fermat’s last theorem: xn + yn = zn has no non-zero integer solutions for x, y and z when n > 2 (Proved by Andrew Wiles in 1995) The twin primes conjecture: There are infinitely many pairs of prime numbers which differ by 2, e.g. (3, 5), (5, 7), (11, 13), … Department of Mathematics

How does Maths advance? Questions are raised by Observing patterns Trying to explain phenomena Formulating and trying to solve mathematical models If the necessary mathematics already exists, the problem can be solved. Otherwise, research is necessary Department of Mathematics

Research at Surrey includes … Dynamical systems Partial differential equations Weather prediction Population modelling Sleep cycles Medical statistics Water waves String theory Quantum field theory Department of Mathematics

What’s in a Maths degree? Three strands: Mathematical techniques, e.g. Calculus. Like A-level but harder Theory and proof. Why are results valid? Abstract Pure Mathematics Applications. Modelling the real world, e.g. Mathematical Biology. Statistical analysis Need a really good knowledge of the A- level Core Department of Mathematics

Infinity behaves strangely! The set of natural numbers is N = {1, 2, 3, 4, 5, 6, 7, …} How many natural numbers are there? An infinite set is countable if it can be put into one-to-one correspondence with N The set of integers is Z = {…, -3, -2, -1, 0, 1, 2, 3, …} Is Z the same size as N? (Is Z countable?) The set of rational numbers is Q = {m/n}, where m is in Z and n is in N Is Q bigger than Z? (Is Q countable?) What about the set of real numbers R? Z and Q are countable. R is not Department of Mathematics

Another counting problem On a 12-hour clock face, the hour hand is pointing to 12. Where will it point a million hours later? 12 Department of Mathematics