Top Banner
Greek Mathematics and Philosophy
20

Greek Mathematics and Philosophy. Thales (624-547 BC): father of mathematical proof.

Dec 19, 2015

Download

Documents

Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Greek Mathematics and Philosophy

Page 2: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Thales (624-547 BC): father of mathematical proof

Page 3: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Pythagoras

• (c. 580-500 BC)

Page 4: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Pythagorean philosophy

☺Transmigration of souls,☺purification rites; developed rules of living

believed would enable their soul to achieve a higher rank among the gods.

☺Theory that numbers constitute the true nature of things, including music

Page 5: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

• The diatonic: ratio of highest to lowest pitch is 2:1,• produces the interval of an octave. • Octave in turn divided into fifth and fourth, with ratios 3:2

and 4:3 … • up a fifth + up a fourth = up an octave. • fifth … divided into three whole tones, each corresponding

to the ratio of 9:8 and a remainder with a ratio of 256:243 • fourth into two whole tones with same remainder. • harmony… combination… of … ratios of numbers• … whole cosmos … and individual do not arise by a chance

combinations … must be fitted together in a "pleasing" (harmonic) way in accordance with number for an order to arise.

C D E F G A B C

1 9/8 5/4 4/3 3/2 5/3 15/8 2

Page 6: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

π discovery that music was based on proportional intervals of numbers 1—4

π Believed the number system … and universe… based on their sum (10)

π … swore by the “Tetrachtys of the Decad” rather than by the gods.

π Odd numbers were masculine and even were feminine.

π Hippasos …discovered irrational numbers…was executed.

π Hints of “heliocentric theory”

Page 7: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

۞ Pythagoreans … believed… when someone was "in doubt as to what he should say, he should always remain silent”

۞ …it was better to learn none of the truth about mathematics, God, and the universe at all than to learn a little without learning al

۞ Pythagoreans’ inner circle,“mathematikoi” ("mathematicians”); outer circle, “akousmatikoi” ("listeners”)

۞ … the akousmatikoi were the exoteric disciples who… listened to lectures that Pythagoras gave out loud from behind a veil.

۞ Pythagorean theory of numbers still debated among scholars.

۞ Pythagoras believed in "harmony of the spheres”… that the planets and stars moved according to mathematical equations, which corresponded to musical notes and thus produced a symphony

Page 8: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.
Page 9: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.
Page 10: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

The Pythagorean Theorem

Page 11: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Plato Plato (428 BC – 348 BC),

Page 12: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Plato’s Cave Analogy

Page 13: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.
Page 14: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Plato (left) and Aristotle (right)

Page 15: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Aristotle (384 BC – 322 BC)

• Aristotle’s logic: the syllogism• Major premise: All humans

are mortal.• Minor premise: Socrates is

a human.• Conclusion: Socrates is

mortal.

Page 16: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

The Stoics (c 300 BC) Stoics believed … knowledge attained through use of reason… Truth

distinguishable from fallacy; *even if, in practice, only an approximation can be made.

• Modality (potentiality vs actuality).• Conditional statements. (if…then)• Meaning and truth

Page 17: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Euclid’s “Elements”arranged in order many of Eudoxus's theorems, perfected many of Theaetetus's, and brought to irrefutable demonstration theorems only loosely proved by his predecessorsPtolemy once asked him if there were a shorter way to study geometry than the Elements, …In his aim he was a Platonist, being in sympathy with this philosophy, whence he made the end of the whole "Elements" the construction of the so-called Platonic figures.

Page 18: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

The axiomatic method

• The Elements begins with definitions and five postulates.

• There are also axioms which Euclid calls 'common notions'. These are not specific geometrical properties but rather general assumptions which allow mathematics to proceed as a deductive science. For example:

“Things which are equal to the same thing are equal to each other.””

Page 19: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Euclid's Postulates1. A straight line segment can be drawn joining any two points.2. Any straight line segment can be extended indefinitely in a straight line.3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.

4. All right angles are congruent.5. If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. This postulate is equivalent to what is known as the parallel postulate.

Euclid's fifth postulate cannot be proven from others, though attempted by many people.Euclid used only 1—4 for the first 28 propositions of the Elements, but was forced to invoke the parallel postulate on the 29th.In 1823,Bolyai and Lobachevsky independently realized that entirely self-consistent "non-Euclidean geometries" could be created in which the parallel postulate did not hold.

Page 20: Greek Mathematics and Philosophy.  Thales (624-547 BC): father of mathematical proof.

Other cultures

• Avicenna (980-1037): propositional logic ~ risk analysis

• Parallels in India, China, • Medieval (1200-1600)• Occam (1288-1347)