Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Models of 2-Dimensional Hyperbolic Space and Relations Among Them; Hyperbolic Length, Lines, and Distances
Models of 2-dimensional hyperbolic space and relations among them; Hyperbolic length, lines, and distances Cheng Ka Long, Hui Kam Tong 1155109623, 1155109049 Course Teacher: Prof. Yi-Jen LEE Department of Mathematics, The Chinese University of Hong Kong MATH4900E Presentation 2, 5th October 2020 Outline Upper half-plane Model (Cheng) A Model for the Hyperbolic Plane The Riemann Sphere C Poincar´eDisc Model D (Hui) Basic properties of Poincar´eDisc Model Relation between D and other models Length and distance in the upper half-plane model (Cheng) Path integrals Distance in hyperbolic geometry Measurements in the Poincar´eDisc Model (Hui) M¨obiustransformations of D Hyperbolic length and distance in D Conclusion Boundary, Length, Orientation-preserving isometries, Geodesics and Angles Reference Upper half-plane model H Introduction to Upper half-plane model - continued Hyperbolic geometry Five Postulates of Hyperbolic geometry: 1. 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. A circle may be described with any given point as its center and any distance as its radius. 4. All right angles are congruent. 5. For any given line R and point P not on R, in the plane containing both line R and point P there are at least two distinct lines through P that do not intersect R. Some interesting facts about hyperbolic geometry 1. Rectangles don't exist in hyperbolic geometry. 2. In hyperbolic geometry, all triangles have angle sum < π 3. In hyperbolic geometry if two triangles are similar, they are congruent. -
Richard Dedekind English Version
RICHARD DEDEKIND (October 6, 1831 – February 12, 1916) by HEINZ KLAUS STRICK, Germany The biography of JULIUS WILHELM RICHARD DEDEKIND begins and ends in Braunschweig (Brunswick): The fourth child of a professor of law at the Collegium Carolinum, he attended the Martino-Katherineum, a traditional gymnasium (secondary school) in the city. At the age of 16, the boy, who was also a highly gifted musician, transferred to the Collegium Carolinum, an educational institution that would pave the way for him to enter the university after high school. There he prepared for future studies in mathematics. In 1850, he went to the University at Göttingen, where he enthusiastically attended lectures on experimental physics by WILHELM WEBER, and where he met CARL FRIEDRICH GAUSS when he attended a lecture given by the great mathematician on the method of least squares. GAUSS was nearing the end of his life and at the time was involved primarily in activities related to astronomy. After only four semesters, DEDEKIND had completed a doctoral dissertation on the theory of Eulerian integrals. He was GAUSS’s last doctoral student. (drawings © Andreas Strick) He then worked on his habilitation thesis, in parallel with BERNHARD RIEMANN, who had also received his doctoral degree under GAUSS’s direction not long before. In 1854, after obtaining the venia legendi (official permission allowing those completing their habilitation to lecture), he gave lectures on probability theory and geometry. Since the beginning of his stay in Göttingen, DEDEKIND had observed that the mathematics faculty, who at the time were mostly preparing students to become secondary-school teachers, had lost contact with current developments in mathematics; this in contrast to the University of Berlin, at which PETER GUSTAV LEJEUNE DIRICHLET taught. -
Canada Archives Canada Published Heritage Direction Du Branch Patrimoine De I'edition
Rhetoric more geometrico in Proclus' Elements of Theology and Boethius' De Hebdomadibus A Thesis submitted in Candidacy for the Degree of Master of Arts in Philosophy Institute for Christian Studies Toronto, Ontario By Carlos R. Bovell November 2007 Library and Bibliotheque et 1*1 Archives Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-43117-7 Our file Notre reference ISBN: 978-0-494-43117-7 NOTICE: AVIS: The author has granted a non L'auteur a accorde une licence non exclusive exclusive license allowing Library permettant a la Bibliotheque et Archives and Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par Plntemet, prefer, telecommunication or on the Internet, distribuer et vendre des theses partout dans loan, distribute and sell theses le monde, a des fins commerciales ou autres, worldwide, for commercial or non sur support microforme, papier, electronique commercial purposes, in microform, et/ou autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in et des droits moraux qui protege cette these. this thesis. Neither the thesis Ni la these ni des extraits substantiels de nor substantial extracts from it celle-ci ne doivent etre imprimes ou autrement may be printed or otherwise reproduits sans son autorisation. reproduced without the author's permission. -
Two Editions of Ibn Al-Haytham's Completion of the Conics
Historia Mathematica 29 (2002), 247–265 doi:10.1006/hmat.2002.2352 Two Editions of Ibn al-Haytham’s Completion of the Conics View metadata, citation and similar papers at core.ac.uk brought to you by CORE Jan P. Hogendijk provided by Elsevier - Publisher Connector Mathematics Department, University of Utrecht, P.O. Box 80.010, 3508 TA Utrecht, Netherlands E-mail: [email protected] The lost Book VIII of the Conics of Apollonius of Perga (ca. 200 B.C.) was reconstructed by the Islamic mathematician Ibn al-Haytham (ca. A.D. 965–1041) in his Completion of the Conics. The Arabic text of this reconstruction with English translation and commentary was published as J. P. Hogendijk, Ibn al-Haytham’s Completion of the Conics (New York: Springer-Verlag, 1985). In a new Arabic edition with French translation and commentary (R. Rashed, Les mathematiques´ infinitesimales´ du IXe au XIe siecle.´ Vol. 3., London: Al-Furqan Foundation, 2000), it was claimed that my edition is faulty. In this paper the similarities and differences between the two editions, translations, and commentaries are discussed, with due consideration for readers who do not know Arabic. The facts will speak for themselves. C 2002 Elsevier Science (USA) C 2002 Elsevier Science (USA) C 2002 Elsevier Science (USA) 247 0315-0860/02 $35.00 C 2002 Elsevier Science (USA) All rights reserved. 248 JAN P. HOGENDIJK HMAT 29 AMS subject classifications: 01A20, 01A30. Key Words: Ibn al-Haytham; conic sections; multiple editions; Rashed. 1. INTRODUCTION The Conics of Apollonius of Perga (ca. 200 B.C.) is one of the fundamental texts of ancient Greek geometry. -
History of Mathematics in Mathematics Education. Recent Developments Kathy Clark, Tinne Kjeldsen, Sebastian Schorcht, Constantinos Tzanakis, Xiaoqin Wang
History of mathematics in mathematics education. Recent developments Kathy Clark, Tinne Kjeldsen, Sebastian Schorcht, Constantinos Tzanakis, Xiaoqin Wang To cite this version: Kathy Clark, Tinne Kjeldsen, Sebastian Schorcht, Constantinos Tzanakis, Xiaoqin Wang. History of mathematics in mathematics education. Recent developments. History and Pedagogy of Mathematics, Jul 2016, Montpellier, France. hal-01349230 HAL Id: hal-01349230 https://hal.archives-ouvertes.fr/hal-01349230 Submitted on 27 Jul 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. HISTORY OF MATHEMATICS IN MATHEMATICS EDUCATION Recent developments Kathleen CLARK, Tinne Hoff KJELDSEN, Sebastian SCHORCHT, Constantinos TZANAKIS, Xiaoqin WANG School of Teacher Education, Florida State University, Tallahassee, FL 32306-4459, USA [email protected] Department of Mathematical Sciences, University of Copenhagen, Denmark [email protected] Justus Liebig University Giessen, Germany [email protected] Department of Education, University of Crete, Rethymnon 74100, Greece [email protected] Department of Mathematics, East China Normal University, China [email protected] ABSTRACT This is a survey on the recent developments (since 2000) concerning research on the relations between History and Pedagogy of Mathematics (the HPM domain). Section 1 explains the rationale of the study and formulates the key issues. -
MOTIVATING HILBERT SYSTEMS Hilbert Systems Are Formal Systems
MOTIVATING HILBERT SYSTEMS Hilbert systems are formal systems that encode the notion of a mathematical proof, which are used in the branch of mathematics known as proof theory. There are other formal systems that proof theorists use, with their own advantages and disadvantages. The advantage of Hilbert systems is that they are simpler than the alternatives in terms of the number of primitive notions they involve. Formal systems for proof theory work by deriving theorems from axioms using rules of inference. The distinctive characteristic of Hilbert systems is that they have very few primitive rules of inference|in fact a Hilbert system with just one primitive rule of inference, modus ponens, suffices to formalize proofs using first- order logic, and first-order logic is sufficient for all mathematical reasoning. Modus ponens is the rule of inference that says that if we have theorems of the forms p ! q and p, where p and q are formulas, then χ is also a theorem. This makes sense given the interpretation of p ! q as meaning \if p is true, then so is q". The simplicity of inference in Hilbert systems is compensated for by a somewhat more complicated set of axioms. For minimal propositional logic, the two axiom schemes below suffice: (1) For every pair of formulas p and q, the formula p ! (q ! p) is an axiom. (2) For every triple of formulas p, q and r, the formula (p ! (q ! r)) ! ((p ! q) ! (p ! r)) is an axiom. One thing that had always bothered me when reading about Hilbert systems was that I couldn't see how people could come up with these axioms other than by a stroke of luck or genius. -
15 Famous Greek Mathematicians and Their Contributions 1. Euclid
15 Famous Greek Mathematicians and Their Contributions 1. Euclid He was also known as Euclid of Alexandria and referred as the father of geometry deduced the Euclidean geometry. The name has it all, which in Greek means “renowned, glorious”. He worked his entire life in the field of mathematics and made revolutionary contributions to geometry. 2. Pythagoras The famous ‘Pythagoras theorem’, yes the same one we have struggled through in our childhood during our challenging math classes. This genius achieved in his contributions in mathematics and become the father of the theorem of Pythagoras. Born is Samos, Greece and fled off to Egypt and maybe India. This great mathematician is most prominently known for, what else but, for his Pythagoras theorem. 3. Archimedes Archimedes is yet another great talent from the land of the Greek. He thrived for gaining knowledge in mathematical education and made various contributions. He is best known for antiquity and the invention of compound pulleys and screw pump. 4. Thales of Miletus He was the first individual to whom a mathematical discovery was attributed. He’s best known for his work in calculating the heights of pyramids and the distance of the ships from the shore using geometry. 5. Aristotle Aristotle had a diverse knowledge over various areas including mathematics, geology, physics, metaphysics, biology, medicine and psychology. He was a pupil of Plato therefore it’s not a surprise that he had a vast knowledge and made contributions towards Platonism. Tutored Alexander the Great and established a library which aided in the production of hundreds of books. -
History of Mathematics
Georgia Department of Education History of Mathematics K-12 Mathematics Introduction The Georgia Mathematics Curriculum focuses on actively engaging the students in the development of mathematical understanding by using manipulatives and a variety of representations, working independently and cooperatively to solve problems, estimating and computing efficiently, and conducting investigations and recording findings. There is a shift towards applying mathematical concepts and skills in the context of authentic problems and for the student to understand concepts rather than merely follow a sequence of procedures. In mathematics classrooms, students will learn to think critically in a mathematical way with an understanding that there are many different ways to a solution and sometimes more than one right answer in applied mathematics. Mathematics is the economy of information. The central idea of all mathematics is to discover how knowing some things well, via reasoning, permit students to know much else—without having to commit the information to memory as a separate fact. It is the reasoned, logical connections that make mathematics coherent. The implementation of the Georgia Standards of Excellence in Mathematics places a greater emphasis on sense making, problem solving, reasoning, representation, connections, and communication. History of Mathematics History of Mathematics is a one-semester elective course option for students who have completed AP Calculus or are taking AP Calculus concurrently. It traces the development of major branches of mathematics throughout history, specifically algebra, geometry, number theory, and methods of proofs, how that development was influenced by the needs of various cultures, and how the mathematics in turn influenced culture. The course extends the numbers and counting, algebra, geometry, and data analysis and probability strands from previous courses, and includes a new history strand. -
Descriptive Geometry Section 10.1 Basic Descriptive Geometry and Board Drafting Section 10.2 Solving Descriptive Geometry Problems with CAD
10 Descriptive Geometry Section 10.1 Basic Descriptive Geometry and Board Drafting Section 10.2 Solving Descriptive Geometry Problems with CAD Chapter Objectives • Locate points in three-dimensional (3D) space. • Identify and describe the three basic types of lines. • Identify and describe the three basic types of planes. • Solve descriptive geometry problems using board-drafting techniques. • Create points, lines, planes, and solids in 3D space using CAD. • Solve descriptive geometry problems using CAD. Plane Spoken Rutan’s unconventional 202 Boomerang aircraft has an asymmetrical design, with one engine on the fuselage and another mounted on a pod. What special allowances would need to be made for such a design? 328 Drafting Career Burt Rutan, Aeronautical Engineer Effi cient travel through space has become an ambi- tion of aeronautical engineer, Burt Rutan. “I want to go high,” he says, “because that’s where the view is.” His unconventional designs have included every- thing from crafts that can enter space twice within a two week period, to planes than can circle the Earth without stopping to refuel. Designed by Rutan and built at his company, Scaled Composites LLC, the 202 Boomerang aircraft is named for its forward-swept asymmetrical wing. The design allows the Boomerang to fl y faster and farther than conventional twin-engine aircraft, hav- ing corrected aerodynamic mistakes made previously in twin-engine design. It is hailed as one of the most beautiful aircraft ever built. Academic Skills and Abilities • Algebra, geometry, calculus • Biology, chemistry, physics • English • Social studies • Humanities • Computer use Career Pathways Engineers should be creative, inquisitive, ana- lytical, detail oriented, and able to work as part of a team and to communicate well. -
Theon of Alexandria and Hypatia
CREATIVE MATH. 12 (2003), 111 - 115 Theon of Alexandria and Hypatia Michael Lambrou Abstract. In this paper we present the story of the most famous ancient female math- ematician, Hypatia, and her father Theon of Alexandria. The mathematician and philosopher Hypatia flourished in Alexandria from the second part of the 4th century until her violent death incurred by a mob in 415. She was the daughter of Theon of Alexandria, a math- ematician and astronomer, who flourished in Alexandria during the second part of the fourth century. Information on Theon’s life is only brief, coming mainly from a note in the Suda (Suida’s Lexicon, written about 1000 AD) stating that he lived in Alexandria in the times of Theodosius I (who reigned AD 379-395) and taught at the Museum. He is, in fact, the Museum’s last attested member. Descriptions of two eclipses he observed in Alexandria included in his commentary to Ptolemy’s Mathematical Syntaxis (Almagest) and elsewhere have been dated as the eclipses that occurred in AD 364, which is consistent with Suda. Although originality in Theon’s works cannot be claimed, he was certainly immensely influential in the preservation, dissemination and editing of clas- sic texts of previous generations. Indeed, with the exception of Vaticanus Graecus 190 all surviving Greek manuscripts of Euclid’s Elements stem from Theon’s edition. A comparison to Vaticanus Graecus 190 reveals that Theon did not actually change the mathematical content of the Elements except in minor points, but rather re-wrote it in Koini and in a form more suitable for the students he taught (some manuscripts refer to Theon’s sinousiai). -
David Hilbert's Contributions to Logical Theory
David Hilbert’s contributions to logical theory CURTIS FRANKS 1. A mathematician’s cast of mind Charles Sanders Peirce famously declared that “no two things could be more directly opposite than the cast of mind of the logician and that of the mathematician” (Peirce 1976, p. 595), and one who would take his word for it could only ascribe to David Hilbert that mindset opposed to the thought of his contemporaries, Frege, Gentzen, Godel,¨ Heyting, Łukasiewicz, and Skolem. They were the logicians par excellence of a generation that saw Hilbert seated at the helm of German mathematical research. Of Hilbert’s numerous scientific achievements, not one properly belongs to the domain of logic. In fact several of the great logical discoveries of the 20th century revealed deep errors in Hilbert’s intuitions—exemplifying, one might say, Peirce’s bald generalization. Yet to Peirce’s addendum that “[i]t is almost inconceivable that a man should be great in both ways” (Ibid.), Hilbert stands as perhaps history’s principle counter-example. It is to Hilbert that we owe the fundamental ideas and goals (indeed, even the name) of proof theory, the first systematic development and application of the methods (even if the field would be named only half a century later) of model theory, and the statement of the first definitive problem in recursion theory. And he did more. Beyond giving shape to the various sub-disciplines of modern logic, Hilbert brought them each under the umbrella of mainstream mathematical activity, so that for the first time in history teams of researchers shared a common sense of logic’s open problems, key concepts, and central techniques. -
1-1 Understanding Points, Lines, and Planes Lines, and Planes
Understanding Points, 1-11-1 Understanding Points, Lines, and Planes Lines, and Planes Holt Geometry 1-1 Understanding Points, Lines, and Planes Objectives Identify, name, and draw points, lines, segments, rays, and planes. Apply basic facts about points, lines, and planes. Holt Geometry 1-1 Understanding Points, Lines, and Planes Vocabulary undefined term point line plane collinear coplanar segment endpoint ray opposite rays postulate Holt Geometry 1-1 Understanding Points, Lines, and Planes The most basic figures in geometry are undefined terms, which cannot be defined by using other figures. The undefined terms point, line, and plane are the building blocks of geometry. Holt Geometry 1-1 Understanding Points, Lines, and Planes Holt Geometry 1-1 Understanding Points, Lines, and Planes Points that lie on the same line are collinear. K, L, and M are collinear. K, L, and N are noncollinear. Points that lie on the same plane are coplanar. Otherwise they are noncoplanar. K L M N Holt Geometry 1-1 Understanding Points, Lines, and Planes Example 1: Naming Points, Lines, and Planes A. Name four coplanar points. A, B, C, D B. Name three lines. Possible answer: AE, BE, CE Holt Geometry 1-1 Understanding Points, Lines, and Planes Holt Geometry 1-1 Understanding Points, Lines, and Planes Example 2: Drawing Segments and Rays Draw and label each of the following. A. a segment with endpoints M and N. N M B. opposite rays with a common endpoint T. T Holt Geometry 1-1 Understanding Points, Lines, and Planes Check It Out! Example 2 Draw and label a ray with endpoint M that contains N.