mathematics what is it? what is it about?. terminology: definition axiom – a proposition that is...

8
Mathematics What is it? What is it about?

Upload: donna-doyle

Post on 03-Jan-2016

217 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 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

Mathematics

What is it?

What is it about?

Page 2: 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

Terminology:

Definition Axiom

– a proposition that is assumed without proof for the sake of studying the consequences that follow from it

Postulate– a proposition that requires

no proof, being self-evident, or that is for a specific purpose assumed true, and that is used in the proof of other propositions

Proof Conjecture

– A guess or a hyphothesis Theorem

– a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas

corollary– a proposition that is

incidentally proved in proving another proposition

Page 3: 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

Nature:

Symbolic, axiomatic and formal (deductive)

Symbols manipulated according to defined rules, with no necessary connection to the external world.

Page 4: 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

Objects of study

Numbers and shapes“Numbers” includes vectors“Shapes” encompasses N-

dimentional systems

Page 5: 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

Applicability to knowledge of external world:

Pure math: fortuitousApplied math: direct in many

disciplines

Page 6: 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

Axioms in (and logic)

May be inspired on experience, but are not empirically validated

Caracteristics of a valid / elegant mathematical proof

Page 7: 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

Limitations?

Mathematics cannot be completely derived from axioms.

Mathematical systems cannot demonstrate their own consistency

Page 8: 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

Mathematics!

Discovered or invented?