Mathematics as a Human Endeavor Ed Dickey University of South Carolina SCCTM Conference / 23 October 2009 1979 SCCTM Conference • • • • 20 October 1979 “Historical Anecdotes for the Math Class” Teacher at Spring Valley High School Taught from experience that injecting history MOTIVATES and HELPS students learn mathematics. • I believe it then and I believe it now Handouts • Invite Letter from Patty Smith, SCCTM President • Handout (on blue mimeograph paper and I STILL have 28!) • Evaluation Form (32 attendees!) Opening Quote “ I have more than an impression- it amounts to a certainty- that algebra is made repellent by the unwillingness or inability of teachers to explain why… There is no sense of history behind the teaching, so the feeling is given that the whole system dropped down ready-made from the skies, to be used by born jugglers.” Jacques Barzun, Teacher in America • Help students see mathematics as a human endeavor that evolved through men and women discovering and inventing the many things we study in algebra and school mathematics • Help make connections to other cultures Hypatia • 5th Century AD • Library of Alexandria • Commentaries to works of Diophantus and Apollonius • Edited Ptolemy and Euclid • Invented hydrometer Hydrometer To measure specific gravity of liquids Hypatia • Literary legend in Charles Kingsley 1953 novel: Hypatia – or New Foes with an Old Face • Portrayed the scholar as a “helpless, pretentious, erotic heroine” • Murdered by an angry mob of fanatical monks who objected to her being a woman who didn’t know her place Gerolamo Cardano • • • • • • 1501-1576 “eccentric” and “difficult” Gyroscope gimbal Auto Differential Combination lock Imaginary numbers Two-axis gimbal set Cardan Shaft Combination Lock Imaginary Numbers • Contests to Solve Equations • Degree 1 and 2 equations easy • Degree 3 or Cubic • Substitute • Depressed cubic: Solving Cubic Equation • Where in (2), our depressed cubic • Now introduce two new variables in (2) • And get Solving Cubic Equation • Cardano let 3uv + p = 0 in (3), which implies uv = -p/3 so substituting for uv and multiplying by u3 he got • Which is a quadratic in u3 • So using the quadratic formula Solving Cubic Equation • And • Now work back from the substitutions to get x in terms of a, b, c and d. • When you do this, you must accept the existence of imaginary numbers and in the 16th century only an eccentric like Cardano would. Solving the Cubic • Along the backward substitution path you reach: t p • A place where most would stop but Cardano persisted and this gave him the formula needed to win contests. Cubic Formula for Example x 2x x 3 0 3 2 12 4 p 1 3 3 2(1)3 9(1)( 1) 91 q 3 27 27 92 92 4 2 ( ) 2 ( )3 3 3 12 57 91 2 3 27 27 3 u 2 4 27 6 .. And FINALLY 12 57 92 2 x 6 3 4 3 2 3 2 3 12 57 92 2 3( ) 6 3 • Generating 3 values of x • Full explanation at http://en.wikipedia.org/wiki/Cubic_function #Cardano.27s_method 1 3 TI Nspire CAS WolframAlpha Derive GeoGebra Quartic anyone? • Lodovico Ferrari (at 18!) discovered a quartic formula in 1540. • Cardano published it in Ars Magna (1545) • Many substitutions and “nested depressed cubics” Quartic glimpse Sigh… SIGH….. FINALLY: Example Solve x 2 x x 3x 4 0 4 3 Using Derive….. 2 Derive output (after .5 seconds) So what about 5th degree? • We are now in the mid 1500s • The formula will be AWFUL! • Isn’t there a formula to solve: ax bx cx dx ex f 0 5 4 3 2 Enter Niels Abel • 1802-1829 (ouch!) • “Abelian group” Died young • Contracted tuberculosis in Paris at Christmas. • Traveled by sled to visit his fiancee in April but died after a short visit with her on April 6 Abel’s Impossibility Theorem • No general solution in radicals to polynomial equations of degree five or higher • Fundamental Theorem of Algebra: every polynomial with real or complex coefficients can be solved with a complex number. • Proved using Galois Theory Evariste Galois • 1811-1832 (20 years old) • Poisson denied a position in the Academy “incomprehensible work” • Fought a duel on behalf off a Mlle du Motel • Stayed up all night writing his papers Example Solve x x 2 x x 3x 4 0 5 4 3 2 Derive output Symbolism • Cardano used no algebraic symbols • Variables like x were written out as cosi • Sample from Tartaglia’s Nova Scientia (1537) Symbolisms • François Viète initiated the use of letters for variables (end of 16th Century) • René Descartes then Isaac Newton moved algebraic symbolism toward today’s conventions Hendrick van Heuraet (1634-1660) Arc length using x and y for y x 3 3 Giovanni Saccheri (1667-1733) • • • • “the good little monk” Actually a Jesuit “Euclid Freed of Every Flaw” Demonstrate that denying Euclid Parallel Postulate leads to a contradiction Saccheri Quadrilateral Right Case • Euclid’s 5th Postulate • Given a line and a point not on that line, there is one and only one line through the given point parallel to the given line • Model of PLANE geometry Obtuse Case • Assuming Euclid’s 5th Postulate is false • Equivalent to NO parallel lines • Leads to the conclusion that the sum of the interior angles of a triangle are greater than 180 degrees • To Saccheri this was “absurd” but later it was the basis for Elliptic Geometry • Model of SPHERICAL Geometry Acute Case • Assuming Euclid’s 5th Postulate is false • Equivalent to at least TWO parallel lines • Leads to the conclusion that the sum of the interior angles of a triangle are less than 180 degrees • To Saccheri this too was “absurd” but later it was the basis for Hyperbolic Geometry • Model for RELATIVITY (spacetime Lorentz model) Good Monk or Mathematician? • Was Saccheri a “good monk” allowing the prevalent view (Euclid’s) to define “absurd’ • Or was he a better mathematician allowing the logic of his conclusions to win out • He preserved his status and safety as a monk and avoided conflict with the prevailing Euclidean view point • As time progressed, thinkers challenged the prevailing views… George Cantor • 1845-1918 Set Theory and the Infinite • Levels of infinity: countable and uncountable • Continuum Hypothesis (no set whose cardinality is between the integers and the reals) • Gödel showed this cannot be proved or disproved. • Paradoxes… “nowhere dense” Cantor Set • Start with unit interval [0, 1] • Delete open middle third (1/3, 2/3) • Delete open middle third of each remaining segment… infinitely Sierpinski Carpet Menger Sponge Koch Curve • Generation 1: • Generation 2: • Generation 4: “Pathological” Examples A curve the is continuous but nowhere differentiable: Recursive Process • Generation 1: • Generation 2: • Generation 4: Recursive Process • Generation 6: • Generation 12: Alan Turing Turing Machine • Thought experiment (not a real machine) • Simulates what computer programs might be able to do • Church’s Thesis: Turing machine models “effectively calcuable” functions or mathematical propositions that are provable • Gödel's Theorem Gödel's Theorem • Incompleteness: there are mathematical propositions that cannot be proved Turing Machine • • • • • • Tape Head Table State Register Unlimited tape and infinite memory Similar to Gödel Numbering The Wolfram Research Prize • 2, 3 Turing Machine: $25,000 http://www.wolframscience.com/prizes/tm23/ • Won by Alex Smith • 20-year-old undergraduate engineering major at Univ of Birmingham (UK) Alan Turing, the man • Was prosecuted in 1952 for the crime of being a homosexual • Required to undergo chemical castration as alternative to prison • Committed suicide by taking cyanide in 1954 British Gov’t Apology • On 10 September 2009, Prime Minister Gordon Brown apologizes on behalf of the government • http://www.telegraph.co.uk/news/newstopics/poli tics/gordon-brown/6170112/Gordon-Brown-Improud-to-say-sorry-to-a-real-war-hero.html “ Turing was a quite brilliant mathematician, most famous for his work on breaking the German Enigma codes. It is no exaggeration to say that, without his outstanding contribution, the history of the Second World War could have been very different. ” “ Alan and the many thousands of other gay men who were convicted, as he was convicted, under homophobic laws, were treated terribly. … I am proud that those days are gone and that in the past 12 years this Government has done so much to make life fairer and more equal for our LGBT community. This recognition of Alan's status as one of Britain's most famous victims of homophobia is another step towards equality, and long overdue.” “ It is difficult to believe that in living memory, people could become so consumed by hate – by anti-Semitism, by homophobia, by xenophobia and other murderous prejudices – that the gas chambers and crematoria became a piece of the European landscape as surely as the galleries and universities and concert halls which had marked out the European civilisation for hundreds of years. “ “ …. So on behalf of the British government, and all those who live freely thanks to Alan's work, I am very proud to say: we're sorry. You deserved so much better. “ Bring humanity into the teaching of mathematics…. • Ideas for addressing Barzun’s challenge • Highlighting the humanity and logic that underlies what we study Resources • Web-based • Books • Other Print and Media Sources • TV and Movies Web-based • MacTutor History of Mathematics Archive http://www-history.mcs.st-andrews.ac.uk/history/ • Wikipedia • Google Searches • Mathematical Treasures: http://mathdl.maa.org/jsp/search/searchResults.jsp?url=http://mathdl.maa.org/mathDL/46/?pa=content &sa=viewDocument&nodeId=2591 • YouTube (2,650 videos “history of math”) • Wolfram MathWorld http://mathworld.wolfram.com/ Books • Howard Eves (1990), An Introduction to the History of Mathematics (6th Edition) Books By Mario Livio – The Equation That Couldn’t Be Solved: How Mathematical Genius Discovered the Language of Symmetry – The Golden Ratio – Is God a Mathematician? Books • Victor Katz (2008), A History of Mathematics (3rd Edition) Books • William Dunham (1991), Journey through Genius: The Great Theorems of Mathematics Books • Berlinghoff and Gouvea (2003), Math Through the Ages: a Gentle History for Teachers and Others. Books • Swetz, Frank (1997), Learn from the Masters. MAA. Other Print and Media Sources • • • • American Mathematical Society books Mathematics Association of America Columns at www.maa.org Keith Devlin “Devlin’s Angle” and “The Math Guy” on PBS Morning Edition http://www.stanford.edu/~kdevlin/MathGuy.html • NCTM Journals Oct 2009 Mathematics Teacher • Euclid • Sierpinski TV and Movies • BBC Documentary “Dangerous Knowledge” • Good Will Hunting (Cayley’s Formula, Fourier Theory) • A Beautiful Mind (story of John Forbes Nash, Nobel Laureate Economics) • Math in Movies http://abel.math.harvard.edu/~knill/mathmovies/ Thank You • Questions? • Your own suggestions for helping connect the teaching of mathematics to the human beings who discovered or invented it?