DOCSLIB.ORG

MTH 599 Foundations of Mathematical Thought

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
MTH 599 Foundations of Mathematical Thought Ryerson Polytechnic University Foundations of Mathematical Thought MTH 599 Course Notes by P. Danziger c P. Danziger 1997, 1998, 2004 Contents 1 What is Mathematics? 8 1.1 A Definition of Mathematics? . 8 1.2 Mathematical Systems . 10 2 Early History 15 2.1 Pre-Hellenic Civilisations . 15 2.1.1 The Early Development of Mathematics . 16 2.1.2 Ancient Number Systems . 17 2.2 The Early Greeks . 22 2.3 Thales of Miletus . 24 2.3.1 Thales 1st Theorem . 25 2.3.2 Thales 2nd Theorem . 26 2.3.3 Thales 3rd Theorem . 28 2.3.4 Thales 4th Theorem . 30 2.4 Pythagoras and the Pythagoreans . 30 2.4.1 Pythagoras' Theorem . 30 2.4.2 The Pythagorean School . 33 2.4.3 The Golden Ratio . 34 1 2.4.4 Pythagoreans and Number Theory . 36 2.4.5 Figurate Numbers . 41 2.4.6 The Later Pythagoreans . 42 2.4.7 Irrational Numbers . 43 2.5 Zeno of Elea and his Paradoxes . 47 2.5.1 Zeno's Paradoxes . 47 2.5.2 Zeno's Paradoxes Explained . 49 3 The Athenians 52 3.1 Athens . 52 3.2 Hippocrates of Chios and Quadrature . 53 3.2.1 Quadrature . 54 3.2.2 The Method of Exhaustion . 57 3.2.3 The Three Great Problems of Antiquity . 59 3.3 The Athenian Philosophers . 60 3.3.1 Socrates . 60 3.3.2 The Sophists . 60 3.4 Plato . 61 3.4.1 The Platonic Ideal . 62 3.4.2 Plato's Academy . 64 3.5 Eudoxus of Cnidus . 65 3.5.1 Eudoxus' Definition of Ratio . 65 3.6 Aristotle . 68 3.6.1 Aristotelian Logic . 69 3.7 Euclid and Alexandria . 70 2 4 Euclid 71 4.1 Summary of the 13 Books of Euclid . 72 4.2 Euclid { Book I . 74 4.2.1 Definitions . 74 4.2.2 Postulates . 76 4.2.3 Common Notions . 76 4.3 Analysis of Euclid's Book I . 77 4.3.1 The Definitions . 77 4.3.2 The Postulates . 81 4.3.3 The Common Notions . 84 4.3.4 Propositions 1 - 4 . 85 4.3.5 The Other Propositions . 88 5 Euclid to the Renaissance 91 5.1 The Later Greek Period . 91 5.1.1 Apollonius of Perga . 91 5.1.2 Archimedes of Syracuse . 92 5.1.3 The Alexandrians . 94 5.1.4 Mathematics in the Roman World . 95 5.2 The Post Roman Period . 96 5.2.1 The Hindus . 96 5.2.2 The Arabic World . 97 5.2.3 Fibonacci . 98 5.3 The Renaissance . 100 5.4 Early Rationalism . 102 3 5.4.1 Descartes . 102 5.4.2 Fermat . 102 6 The Infinitesimal in Mathematics 104 6.1 The Development of Calculus . 104 6.1.1 Newton . 105 6.1.2 Leibniz . 105 6.1.3 English Mathematics . 106 6.1.4 The Bernoullis . 106 6.2 Limits and the Infinitesimal . 107 6.2.1 Integration . 107 6.2.2 Differentiation . 109 6.2.3 Limits . 109 7 The Modern Age 117 7.1 The Age of Rationalism . 117 7.1.1 Euler . 117 7.1.2 The French School . 119 7.1.3 Gauss . 120 7.2 Non Euclidean Geometry . 121 7.2.1 Riemann . 123 7.3 Cantor and the Infinite . 124 7.3.1 Cardinal vs. Ordinal Numbers . 124 7.3.2 Cantor . 125 8 Formal Logic 130 4 8.1 Statements . 131 8.2 Logical Operations . 133 8.2.1 NOT, AND, OR . 133 8.2.2 Implication . 137 8.2.3 Necessary and Sufficient . 140 8.3 Valid Forms . 140 8.4 Set Theory . 142 8.4.1 Basic Definitions . 142 8.4.2 Notation . 143 8.4.3 The Universal Set . 144 8.4.4 Some Useful Sets . 144 8.4.5 Set Comparisons . 145 8.4.6 Operations on Sets . 146 8.4.7 Set Identities . 147 8.5 Quantifiers . 149 8.5.1 Domain Change . 151 8.5.2 Negations of Quantified Statements . 152 8.5.3 Vacuosly True Universal Statements . 153 8.5.4 Multiply Quantified Statements . 153 8.5.5 Scope . 155 8.5.6 Variants of Universal Conditional Statements . 156 8.5.7 Necessary and Sufficient . 157 8.6 Methods of Proof . 158 8.6.1 Direct Methods . 159 8.6.2 Indirect Methods . 160 5 8.6.3 Induction . ..
Load more

Recommended publications
  • Squaring the Circle a Case Study in the History of Mathematics the Problem
    Squaring the Circle A Case Study in the History of Mathematics The Problem Using only a compass and straightedge, construct for any given circle, a square with the same area as the circle. The general problem of constructing a square with the same area as a given figure is known as the Quadrature of that figure. So, we seek a quadrature of the circle. The Answer It has been known since 1822 that the quadrature of a circle with straightedge and compass is impossible. Notes: First of all we are not saying that a square of equal area does not exist. If the circle has area A, then a square with side √A clearly has the same area. Secondly, we are not saying that a quadrature of a circle is impossible, since it is possible, but not under the restriction of using only a straightedge and compass. Precursors It has been written, in many places, that the quadrature problem appears in one of the earliest extant mathematical sources, the Rhind Papyrus (~ 1650 B.C.). This is not really an accurate statement. If one means by the “quadrature of the circle” simply a quadrature by any means, then one is just asking for the determination of the area of a circle. This problem does appear in the Rhind Papyrus, but I consider it as just a precursor to the construction problem we are examining. The Rhind Papyrus The papyrus was found in Thebes (Luxor) in the ruins of a small building near the Ramesseum.1 It was purchased in 1858 in Egypt by the Scottish Egyptologist A.
    [Show full text]
  • Mathematicians
    MATHEMATICIANS [MATHEMATICIANS] Authors: Oliver Knill: 2000 Literature: Started from a list of names with birthdates grabbed from mactutor in 2000. Abbe [Abbe] Abbe Ernst (1840-1909) Abel [Abel] Abel Niels Henrik (1802-1829) Norwegian mathematician. Significant contributions to algebra and anal- ysis, in particular the study of groups and series. Famous for proving the insolubility of the quintic equation at the age of 19. AbrahamMax [AbrahamMax] Abraham Max (1875-1922) Ackermann [Ackermann] Ackermann Wilhelm (1896-1962) AdamsFrank [AdamsFrank] Adams J Frank (1930-1989) Adams [Adams] Adams John Couch (1819-1892) Adelard [Adelard] Adelard of Bath (1075-1160) Adler [Adler] Adler August (1863-1923) Adrain [Adrain] Adrain Robert (1775-1843) Aepinus [Aepinus] Aepinus Franz (1724-1802) Agnesi [Agnesi] Agnesi Maria (1718-1799) Ahlfors [Ahlfors] Ahlfors Lars (1907-1996) Finnish mathematician working in complex analysis, was also professor at Harvard from 1946, retiring in 1977. Ahlfors won both the Fields medal in 1936 and the Wolf prize in 1981. Ahmes [Ahmes] Ahmes (1680BC-1620BC) Aida [Aida] Aida Yasuaki (1747-1817) Aiken [Aiken] Aiken Howard (1900-1973) Airy [Airy] Airy George (1801-1892) Aitken [Aitken] Aitken Alec (1895-1967) Ajima [Ajima] Ajima Naonobu (1732-1798) Akhiezer [Akhiezer] Akhiezer Naum Ilich (1901-1980) Albanese [Albanese] Albanese Giacomo (1890-1948) Albert [Albert] Albert of Saxony (1316-1390) AlbertAbraham [AlbertAbraham] Albert A Adrian (1905-1972) Alberti [Alberti] Alberti Leone (1404-1472) Albertus [Albertus] Albertus Magnus
    [Show full text]
  • Plato As "Architectof Science"
    Plato as "Architectof Science" LEONID ZHMUD ABSTRACT The figureof the cordialhost of the Academy,who invitedthe mostgifted math- ematiciansand cultivatedpure research, whose keen intellectwas able if not to solve the particularproblem then at least to show the methodfor its solution: this figureis quite familiarto studentsof Greekscience. But was the Academy as such a centerof scientificresearch, and did Plato really set for mathemati- cians and astronomersthe problemsthey shouldstudy and methodsthey should use? Oursources tell aboutPlato's friendship or at leastacquaintance with many brilliantmathematicians of his day (Theodorus,Archytas, Theaetetus), but they were neverhis pupils,rather vice versa- he learnedmuch from them and actively used this knowledgein developinghis philosophy.There is no reliableevidence that Eudoxus,Menaechmus, Dinostratus, Theudius, and others, whom many scholarsunite into the groupof so-called"Academic mathematicians," ever were his pupilsor close associates.Our analysis of therelevant passages (Eratosthenes' Platonicus, Sosigenes ap. Simplicius, Proclus' Catalogue of geometers, and Philodemus'History of the Academy,etc.) shows thatthe very tendencyof por- trayingPlato as the architectof sciencegoes back to the earlyAcademy and is bornout of interpretationsof his dialogues. I Plato's relationship to the exact sciences used to be one of the traditional problems in the history of ancient Greek science and philosophy.' From the nineteenth century on it was examined in various aspects, the most significant of which were the historical, philosophical and methodological. In the last century and at the beginning of this century attention was paid peredominantly, although not exclusively, to the first of these aspects, especially to the questions how great Plato's contribution to specific math- ematical research really was, and how reliable our sources are in ascrib- ing to him particular scientific discoveries.
    [Show full text]
  • Thales of Miletus Sources and Interpretations Miletli Thales Kaynaklar Ve Yorumlar
    Thales of Miletus Sources and Interpretations Miletli Thales Kaynaklar ve Yorumlar David Pierce October , Matematics Department Mimar Sinan Fine Arts University Istanbul http://mat.msgsu.edu.tr/~dpierce/ Preface Here are notes of what I have been able to find or figure out about Thales of Miletus. They may be useful for anybody interested in Thales. They are not an essay, though they may lead to one. I focus mainly on the ancient sources that we have, and on the mathematics of Thales. I began this work in preparation to give one of several - minute talks at the Thales Meeting (Thales Buluşması) at the ruins of Miletus, now Milet, September , . The talks were in Turkish; the audience were from the general popu- lation. I chose for my title “Thales as the originator of the concept of proof” (Kanıt kavramının öncüsü olarak Thales). An English draft is in an appendix. The Thales Meeting was arranged by the Tourism Research Society (Turizm Araştırmaları Derneği, TURAD) and the office of the mayor of Didim. Part of Aydın province, the district of Didim encompasses the ancient cities of Priene and Miletus, along with the temple of Didyma. The temple was linked to Miletus, and Herodotus refers to it under the name of the family of priests, the Branchidae. I first visited Priene, Didyma, and Miletus in , when teaching at the Nesin Mathematics Village in Şirince, Selçuk, İzmir. The district of Selçuk contains also the ruins of Eph- esus, home town of Heraclitus. In , I drafted my Miletus talk in the Math Village. Since then, I have edited and added to these notes.
    [Show full text]
  • Meet the Philosophers of Ancient Greece
    Meet the Philosophers of Ancient Greece Everything You Always Wanted to Know About Ancient Greek Philosophy but didn’t Know Who to Ask Edited by Patricia F. O’Grady MEET THE PHILOSOPHERS OF ANCIENT GREECE Dedicated to the memory of Panagiotis, a humble man, who found pleasure when reading about the philosophers of Ancient Greece Meet the Philosophers of Ancient Greece Everything you always wanted to know about Ancient Greek philosophy but didn’t know who to ask Edited by PATRICIA F. O’GRADY Flinders University of South Australia © Patricia F. O’Grady 2005 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photocopying, recording or otherwise without the prior permission of the publisher. Patricia F. O’Grady has asserted her right under the Copyright, Designs and Patents Act, 1988, to be identi.ed as the editor of this work. Published by Ashgate Publishing Limited Ashgate Publishing Company Wey Court East Suite 420 Union Road 101 Cherry Street Farnham Burlington Surrey, GU9 7PT VT 05401-4405 England USA Ashgate website: http://www.ashgate.com British Library Cataloguing in Publication Data Meet the philosophers of ancient Greece: everything you always wanted to know about ancient Greek philosophy but didn’t know who to ask 1. Philosophy, Ancient 2. Philosophers – Greece 3. Greece – Intellectual life – To 146 B.C. I. O’Grady, Patricia F. 180 Library of Congress Cataloging-in-Publication Data Meet the philosophers of ancient Greece: everything you always wanted to know about ancient Greek philosophy but didn’t know who to ask / Patricia F.
    [Show full text]
  • Eudoxus Erin Sondgeroth 9/1/14
    Eudoxus Erin Sondgeroth 9/1/14 There were many brilliant mathematicians from the time period of 500 BC until 300 BC, including Pythagoras and Euclid. Another fundamental figure from that era was Greek mathematician Eudoxus of Cnidus. Eudoxus was born in Cnidus (present-day Turkey) in approximately 408 BC and died in 355 BC at the age of 53. Eudoxus studied math under Archytus in Tarentum, medicine under Philistium in Sicily, astronomy in Egytpt, and philosophy and rhetoric under Plato in Athens. After his many years of studying, Eudoxus established his own school at Cyzicus, where had many pupils. In 365 BC Eudoxus moved his school to Athens in order to work as a colleague of Plato. It was during this time that Eudoxus completed some of his best work and the reasoning for why he is considered the leading mathematician and astronomer of his day. In the field of astronomy, Eudoxus`s best-known work was his planetary model. This model had a spherical Earth that was at rest in the center of the universe and twenty-seven concentric spheres that held the fixed stars, sun, moon, and other planets that moved in orbit around the Earth. While this model has clearly been disproved, it was a prominent model for at least fifty years because it explained many astronomical phenomenon of that time, including the sunrise and sunset, the fixed constellations, and movement of other planets in orbits. Luckily, Eudoxus`s theories had much more success in the field of mathemat- ics. Many of his proposition, theories, and proofs are common knowledge in the math world today.
    [Show full text]
  • Neutral Geometry
    Neutral geometry And then we add Euclid’s parallel postulate Saccheri’s dilemma Options are: Summit angles are right Wants Summit angles are obtuse Was able to rule out, and we’ll see how Summit angles are acute The hypothesis of the acute angle is absolutely false, because it is repugnant to the nature of the straight line! Rule out obtuse angles: If we knew that a quadrilateral can’t have the sum of interior angles bigger than 360, we’d be fine. We’d know that if we knew that a triangle can’t have the sum of interior angles bigger than 180. Hold on! Isn’t the sum of the interior angles of a triangle EXACTLY180? Theorem: Angle sum of any triangle is less than or equal to 180º Suppose there is a triangle with angle sum greater than 180º, say anglfle sum of ABC i s 180º + p, w here p> 0. Goal: Construct a triangle that has the same angle sum, but one of its angles is smaller than p. Why is that enough? We would have that the remaining two angles add up to more than 180º: can that happen? Show that any two angles in a triangle add up to less than 180º. What do we know if we don’t have Para lle l Pos tul at e??? Alternate Interior Angle Theorem: If two lines cut by a transversal have a pair of congruent alternate interior angles, then the two lines are parallel. Converse of AIA Converse of AIA theorem: If two lines are parallel then the aliilblternate interior angles cut by a transversa l are congruent.
    [Show full text]
  • A Concise History of the Philosophy of Mathematics
    A Thumbnail History of the Philosophy of Mathematics "It is beyond a doubt that all our knowledge begins with experience." - Imannuel Kant ( 1724 – 1804 ) ( However naïve realism is no substitute for truth [1] ) [1] " ... concepts have reference to sensible experience, but they are never, in a logical sense, deducible from them. For this reason I have never been able to comprehend the problem of the á priori as posed by Kant", from "The Problem of Space, Ether, and the Field in Physics" ( "Das Raum-, Äether- und Feld-Problem der Physik." ), by Albert Einstein, 1934 - source: "Beyond Geometry: Classic Papers from Riemann to Einstein", Dover Publications, by Peter Pesic, St. John's College, Sante Fe, New Mexico Mathematics does not have a universally accepted definition during any period of its development throughout the history of human thought. However for the last 2,500 years, beginning first with the pre - Hellenic Egyptians and Babylonians, mathematics encompasses possible deductive relationships concerned solely with logical truths derived by accepted philosophic methods of logic which the classical Greek thinkers of antiquity pioneered. Although it is normally associated with formulaic algorithms ( i.e., mechanical methods ), mathematics somehow arises in the human mind by the correspondence of observation and inductive experiential thinking together with its practical predictive powers in interpreting future as well as "seemingly" ephemeral phenomena. Why all of this is true in human progress, no one can answer faithfully. In other words, human experiences and intuitive thinking first suggest to the human mind the abstract symbols for which the economy of human thinking mathematics is well known; but it is those parts of mathematics most disconnected from observation and experience and therefore relying almost wholly upon its internal, self - consistent, deductive logics giving mathematics an independent reified, almost ontological, reality, that mathematics most powerfully interprets the ultimate hidden mysteries of nature.
    [Show full text]
  • The Method of Exhaustion
    The method of exhaustion The method of exhaustion is a technique that the classical Greek mathematicians used to prove results that would now be dealt with by means of limits. It amounts to an early form of integral calculus. Almost all of Book XII of Euclid’s Elements is concerned with this technique, among other things to the area of circles, the volumes of tetrahedra, and the areas of spheres. I will look at the areas of circles, but start with Archimedes instead of Euclid. 1. Archimedes’ formula for the area of a circle We say that the area of a circle of radius r is πr2, but as I have said the Greeks didn’t have available to them the concept of a real number other than fractions, so this is not the way they would say it. Instead, almost all statements about area in Euclid, for example, is to say that one area is equal to another. For example, Euclid says that the area of two parallelograms of equal height and base is the same, rather than say that area is equal to the product of base and height. The way Archimedes formulated his Proposition about the area of a circle is that it is equal to the area of a triangle whose height is equal to it radius and whose base is equal to its circumference: (1/2)(r · 2πr) = πr2. There is something subtle here—this is essentially the first reference in Greek mathematics to the length of a curve, as opposed to the length of a polygon.
    [Show full text]
  • Medieval Mathematics
    Medieval Mathematics The medieval period in Europe, which spanned the centuries from about 400 to almost 1400, was largely an intellectually barren age, but there was significant scholarly activity elsewhere in the world. We would like to examine the contributions of five civilizations to mathematics during this time, four of which are China, India, Arabia, and the Byzantine Empire. Beginning about the year 800 and especially in the thirteenth and fourteenth centuries, the fifth, Western Europe, also made advances that helped to prepare the way for the mathematics of the future. Let us start with China, which began with the Shang dynasty in approximately 1,600 B. C. Archaeological evidence indicates that long before the medieval period, the Chinese had the idea of a positional decimal number system, including symbols for the digits one through nine. Eventually a dot may have been used to represent the absence of a value, but only during the twelfth century A. D. was the system completed by introducing a symbol for zero and treating it as a number. Other features of the Shang period included the use of decimal fractions, a hint of the binary number system, and the oldest known example of a magic square. The most significant book in ancient Chinese mathematical history is entitled The Nine Chapters on the Mathematical Art. It represents the contributions of numerous authors across several centuries and was originally compiled as a single work about 300 B. C. at the same time that Euclid was writing the Elements. However, in 213 B. C., a new emperor ordered the burning of all books written prior to his assumption of power eight years earlier.
    [Show full text]
  • Geometry by Its History
    Undergraduate Texts in Mathematics Geometry by Its History Bearbeitet von Alexander Ostermann, Gerhard Wanner 1. Auflage 2012. Buch. xii, 440 S. Hardcover ISBN 978 3 642 29162 3 Format (B x L): 15,5 x 23,5 cm Gewicht: 836 g Weitere Fachgebiete > Mathematik > Geometrie > Elementare Geometrie: Allgemeines Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. 2 The Elements of Euclid “At age eleven, I began Euclid, with my brother as my tutor. This was one of the greatest events of my life, as dazzling as first love. I had not imagined that there was anything as delicious in the world.” (B. Russell, quoted from K. Hoechsmann, Editorial, π in the Sky, Issue 9, Dec. 2005. A few paragraphs later K. H. added: An innocent look at a page of contemporary the- orems is no doubt less likely to evoke feelings of “first love”.) “At the age of 16, Abel’s genius suddenly became apparent. Mr. Holmbo¨e, then professor in his school, gave him private lessons. Having quickly absorbed the Elements, he went through the In- troductio and the Institutiones calculi differentialis and integralis of Euler. From here on, he progressed alone.” (Obituary for Abel by Crelle, J. Reine Angew. Math. 4 (1829) p. 402; transl. from the French) “The year 1868 must be characterised as [Sophus Lie’s] break- through year.
    [Show full text]
  • Euclid Transcript
    Euclid Transcript Date: Wednesday, 16 January 2002 - 12:00AM Location: Barnard's Inn Hall Euclid Professor Robin Wilson In this sequence of lectures I want to look at three great mathematicians that may or may not be familiar to you. We all know the story of Isaac Newton and the apple, but why was it so important? What was his major work (the Principia Mathematica) about, what difficulties did it raise, and how were they resolved? Was Newton really the first to discover the calculus, and what else did he do? That is next time a fortnight today and in the third lecture I will be talking about Leonhard Euler, the most prolific mathematician of all time. Well-known to mathematicians, yet largely unknown to anyone else even though he is the mathematical equivalent of the Enlightenment composer Haydn. Today, in the immortal words of Casablanca, here's looking at Euclid author of the Elements, the best-selling mathematics book of all time, having been used for more than 2000 years indeed, it is quite possibly the most printed book ever, apart than the Bible. Who was Euclid, and why did his writings have such influence? What does the Elements contain, and why did one feature of it cause so much difficulty over the years? Much has been written about the Elements. As the philosopher Immanuel Kant observed: There is no book in metaphysics such as we have in mathematics. If you want to know what mathematics is, just look at Euclid's Elements. The Victorian mathematician Augustus De Morgan, of whom I told you last October, said: The thirteen books of Euclid must have been a tremendous advance, probably even greater than that contained in the Principia of Newton.
    [Show full text]