mathematics what is it? what is it about?. terminology: definition axiom – a proposition that is...
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/1.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/2.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/3.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/4.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/5.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/6.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/7.jpg)
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](https://reader036.vdocument.in/reader036/viewer/2022082517/56649f005503460f94c162d0/html5/thumbnails/8.jpg)
Mathematics!
Discovered or invented?