Notes for Maa Minicourse Teaching a Course in the History of Mathematics
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Differential Calculus and by Era Integral Calculus, Which Are Related by in Early Cultures in Classical Antiquity the Fundamental Theorem of Calculus
History of calculus - Wikipedia, the free encyclopedia 1/1/10 5:02 PM History of calculus From Wikipedia, the free encyclopedia History of science This is a sub-article to Calculus and History of mathematics. History of Calculus is part of the history of mathematics focused on limits, functions, derivatives, integrals, and infinite series. The subject, known Background historically as infinitesimal calculus, Theories/sociology constitutes a major part of modern Historiography mathematics education. It has two major Pseudoscience branches, differential calculus and By era integral calculus, which are related by In early cultures in Classical Antiquity the fundamental theorem of calculus. In the Middle Ages Calculus is the study of change, in the In the Renaissance same way that geometry is the study of Scientific Revolution shape and algebra is the study of By topic operations and their application to Natural sciences solving equations. A course in calculus Astronomy is a gateway to other, more advanced Biology courses in mathematics devoted to the Botany study of functions and limits, broadly Chemistry Ecology called mathematical analysis. Calculus Geography has widespread applications in science, Geology economics, and engineering and can Paleontology solve many problems for which algebra Physics alone is insufficient. Mathematics Algebra Calculus Combinatorics Contents Geometry Logic Statistics 1 Development of calculus Trigonometry 1.1 Integral calculus Social sciences 1.2 Differential calculus Anthropology 1.3 Mathematical analysis -
Weyl's Predicative Classical Mathematics As a Logic-Enriched
Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory? Robin Adams and Zhaohui Luo Dept of Computer Science, Royal Holloway, Univ of London {robin,zhaohui}@cs.rhul.ac.uk Abstract. In Das Kontinuum, Weyl showed how a large body of clas- sical mathematics could be developed on a purely predicative founda- tion. We present a logic-enriched type theory that corresponds to Weyl’s foundational system. A large part of the mathematics in Weyl’s book — including Weyl’s definition of the cardinality of a set and several re- sults from real analysis — has been formalised, using the proof assistant Plastic that implements a logical framework. This case study shows how type theory can be used to represent a non-constructive foundation for mathematics. Key words: logic-enriched type theory, predicativism, formalisation 1 Introduction Type theories have proven themselves remarkably successful in the formalisation of mathematical proofs. There are several features of type theory that are of particular benefit in such formalisations, including the fact that each object carries a type which gives information about that object, and the fact that the type theory itself has an inbuilt notion of computation. These applications of type theory have proven particularly successful for the formalisation of intuitionistic, or constructive, proofs. The correspondence between terms of a type theory and intuitionistic proofs has been well studied. The degree to which type theory can be used for the formalisation of other notions of proof has been investigated to a much lesser degree. There have been several formalisations of classical proofs by adapting a proof checker intended for intuitionistic mathematics, say by adding the principle of excluded middle as an axiom (such as [Gon05]). -
Vectors, Matrices and Coordinate Transformations
S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between them, physical laws can often be written in a simple form. Since we will making extensive use of vectors in Dynamics, we will summarize some of their important properties. Vectors For our purposes we will think of a vector as a mathematical representation of a physical entity which has both magnitude and direction in a 3D space. Examples of physical vectors are forces, moments, and velocities. Geometrically, a vector can be represented as arrows. The length of the arrow represents its magnitude. Unless indicated otherwise, we shall assume that parallel translation does not change a vector, and we shall call the vectors satisfying this property, free vectors. Thus, two vectors are equal if and only if they are parallel, point in the same direction, and have equal length. Vectors are usually typed in boldface and scalar quantities appear in lightface italic type, e.g. the vector quantity A has magnitude, or modulus, A = |A|. In handwritten text, vectors are often expressed using the −→ arrow, or underbar notation, e.g. A , A. Vector Algebra Here, we introduce a few useful operations which are defined for free vectors. Multiplication by a scalar If we multiply a vector A by a scalar α, the result is a vector B = αA, which has magnitude B = |α|A. The vector B, is parallel to A and points in the same direction if α > 0. -
1 History of Probability (Part 2)
History of Probability (Part 2) - 17 th Century France The Problem of Points: Pascal, Fermat, and Huygens Every history of probability emphasizes the Figure 1 correspondence between two 17 th century French scholars, Blaise Pascal and Pierre de Fermat . In 1654 they exchanged letters where they discussed how to solve a particular gambling problem, now referred to as The Problem of Points (also called the problem of division of the stakes) . Simply stated, the problem is how to split the pot if the game is interrupted before someone has won. Pascal and Fermat’s work on this problem led to the development of formal rules for probability calculations. Blaise Pascal 1623 -1662 Pierre de Fermat 1601 -1665 The problem of points concerns a game of chance with two competing players who have equal chances of winning each round. [Imagine that one round is a toss of a coin. Player A has heads, B has tails.] The winner is the first one who wins a certain number of pre-agreed upon rounds. [Suppose, for example, they agree that the first person to win 3 tosses wins the game.] Whoever wins the game gets the whole pot. [Say, each player puts in $6, so the total pot is $12 . If A gets three heads before B gets three tails, A wins $12.] Now suppose that the game is interrupted before either player has won. How does one then divide the pot fairly? [Suppose they have to stop early and at that point A has won two tosses and B has won one.] Should each get $6, or should A get more since A was ahead when they stopped? What is fair? Historically, it is important to note that all of these gambling problems were framed in terms of odds for winning a game and not in terms of probabilities of individual events. -
Starting the Dismantling of Classical Mathematics
Australasian Journal of Logic Starting the Dismantling of Classical Mathematics Ross T. Brady La Trobe University Melbourne, Australia [email protected] Dedicated to Richard Routley/Sylvan, on the occasion of the 20th anniversary of his untimely death. 1 Introduction Richard Sylvan (n´eRoutley) has been the greatest influence on my career in logic. We met at the University of New England in 1966, when I was a Master's student and he was one of my lecturers in the M.A. course in Formal Logic. He was an inspirational leader, who thought his own thoughts and was not afraid to speak his mind. I hold him in the highest regard. He was very critical of the standard Anglo-American way of doing logic, the so-called classical logic, which can be seen in everything he wrote. One of his many critical comments was: “G¨odel's(First) Theorem would not be provable using a decent logic". This contribution, written to honour him and his works, will examine this point among some others. Hilbert referred to non-constructive set theory based on classical logic as \Cantor's paradise". In this historical setting, the constructive logic and mathematics concerned was that of intuitionism. (The Preface of Mendelson [2010] refers to this.) We wish to start the process of dismantling this classi- cal paradise, and more generally classical mathematics. Our starting point will be the various diagonal-style arguments, where we examine whether the Law of Excluded Middle (LEM) is implicitly used in carrying them out. This will include the proof of G¨odel'sFirst Theorem, and also the proof of the undecidability of Turing's Halting Problem. -
The Dot Product
The Dot Product In this section, we will now concentrate on the vector operation called the dot product. The dot product of two vectors will produce a scalar instead of a vector as in the other operations that we examined in the previous section. The dot product is equal to the sum of the product of the horizontal components and the product of the vertical components. If v = a1 i + b1 j and w = a2 i + b2 j are vectors then their dot product is given by: v · w = a1 a2 + b1 b2 Properties of the Dot Product If u, v, and w are vectors and c is a scalar then: u · v = v · u u · (v + w) = u · v + u · w 0 · v = 0 v · v = || v || 2 (cu) · v = c(u · v) = u · (cv) Example 1: If v = 5i + 2j and w = 3i – 7j then find v · w. Solution: v · w = a1 a2 + b1 b2 v · w = (5)(3) + (2)(-7) v · w = 15 – 14 v · w = 1 Example 2: If u = –i + 3j, v = 7i – 4j and w = 2i + j then find (3u) · (v + w). Solution: Find 3u 3u = 3(–i + 3j) 3u = –3i + 9j Find v + w v + w = (7i – 4j) + (2i + j) v + w = (7 + 2) i + (–4 + 1) j v + w = 9i – 3j Example 2 (Continued): Find the dot product between (3u) and (v + w) (3u) · (v + w) = (–3i + 9j) · (9i – 3j) (3u) · (v + w) = (–3)(9) + (9)(-3) (3u) · (v + w) = –27 – 27 (3u) · (v + w) = –54 An alternate formula for the dot product is available by using the angle between the two vectors. -
A Quasi-Classical Logic for Classical Mathematics
Theses Honors College 11-2014 A Quasi-Classical Logic for Classical Mathematics Henry Nikogosyan University of Nevada, Las Vegas Follow this and additional works at: https://digitalscholarship.unlv.edu/honors_theses Part of the Logic and Foundations Commons Repository Citation Nikogosyan, Henry, "A Quasi-Classical Logic for Classical Mathematics" (2014). Theses. 21. https://digitalscholarship.unlv.edu/honors_theses/21 This Honors Thesis is protected by copyright and/or related rights. It has been brought to you by Digital Scholarship@UNLV with permission from the rights-holder(s). You are free to use this Honors Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/or on the work itself. This Honors Thesis has been accepted for inclusion in Theses by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact [email protected]. A QUASI-CLASSICAL LOGIC FOR CLASSICAL MATHEMATICS By Henry Nikogosyan Honors Thesis submitted in partial fulfillment for the designation of Departmental Honors Department of Philosophy Ian Dove James Woodbridge Marta Meana College of Liberal Arts University of Nevada, Las Vegas November, 2014 ABSTRACT Classical mathematics is a form of mathematics that has a large range of application; however, its application has boundaries. In this paper, I show that Sperber and Wilson’s concept of relevance can demarcate classical mathematics’ range of applicability by demarcating classical logic’s range of applicability. -
Hans-Ludwig Wußing
Wußing, Hans-Ludwig akademischer Titel: Prof. Dr. rer. nat. habil. Prof. in Leipzig: 1968-69 Professor mit LA für Geschichte der Mathematik und Naturwissenschaften. 1969-92 o. Professor für Geschichte der Naturwissenschaften. Fakultät: 1952-55 Mathematisch-Naturwissenschaftliche Fakultät – Mathematisches Institut. 1955-57 Arbeiter- und Bauern-Fakultät. 1957-69 Medizinische Fakultät - Karl-Sudhoff-Inst. für Geschichte der Medizin u. der Naturwissenschaften. 1969-92 Bereich Medizin - Karl-Sudhoff-Institut für Geschichte der Medizin u. der Naturwissenschaften. Lehr- und Geschichte der Naturwissenschaften. Geschichte der Mathematik. Forschungsgebiete: weitere Vornamen: Lebensdaten: geboren am 15.10.1927 in Waldheim/Sachsen. gestorben am 26.04.2011 in Leipzig Vater: Hans Wußing (Kfm. Angestellter) Mutter: Lucie Wußing geb. Altmann (Hausfrau) Konfession: ohne Lebenslauf: 1934-1937 Bürgerschule Waldheim. 1937-1943 Oberschule Waldheim. 9/43-11/43 Einberufung als Luftwaffenhelfer in Leipzig.. 11/43-4/45 Einberufung zur Wehrmacht als Kanonier und Kriegsteilnahme. 4/45-12/45 Britische Kriegsgefangenschaft in Belgien. 12/45-4/46 Landwirtschaftlicher Hilfsarbeiter in Mentrup Kr. Osnabrück. 4/46-07/47 Oberschule Waldheim mit Abschluss Abitur. 1947-1952 Studium der Mathematik und Physik an der Philosophischen Fakultät der Universität Leipzig. 1.09.1952 Staatsexamen für Lehrer an der Oberstufe der Deutschen Demokratischen Schule im Hauptfach Mathematik und Nebenfach Physik. 1.09.1952 Aufnahme in die planmäßige wiss. Aspirantur im Fach Mathematik an der Universität Leipzig. 1952-1955 plm. wiss. Aspirant am Mathematischen Institut der Karl-Marx-Universität Leipzig. 1955-1957 Lektor an der Arbeiter-und Bauern-Fakultät (ABF) der Karl-Marx-Universität Leipzig. 1957-1959 Wiss. Ass. am Karl-Sudhoff-Institut für Geschichte der Medizin und der Naturwissenschaften. -
Mathematical Languages Shape Our Understanding of Time in Physics Physics Is Formulated in Terms of Timeless, Axiomatic Mathematics
comment Corrected: Publisher Correction Mathematical languages shape our understanding of time in physics Physics is formulated in terms of timeless, axiomatic mathematics. A formulation on the basis of intuitionist mathematics, built on time-evolving processes, would ofer a perspective that is closer to our experience of physical reality. Nicolas Gisin n 1922 Albert Einstein, the physicist, met in Paris Henri Bergson, the philosopher. IThe two giants debated publicly about time and Einstein concluded with his famous statement: “There is no such thing as the time of the philosopher”. Around the same time, and equally dramatically, mathematicians were debating how to describe the continuum (Fig. 1). The famous German mathematician David Hilbert was promoting formalized mathematics, in which every real number with its infinite series of digits is a completed individual object. On the other side the Dutch mathematician, Luitzen Egbertus Jan Brouwer, was defending the view that each point on the line should be represented as a never-ending process that develops in time, a view known as intuitionistic mathematics (Box 1). Although Brouwer was backed-up by a few well-known figures, like Hermann Weyl 1 and Kurt Gödel2, Hilbert and his supporters clearly won that second debate. Hence, time was expulsed from mathematics and mathematical objects Fig. 1 | Debating mathematicians. David Hilbert (left), supporter of axiomatic mathematics. L. E. J. came to be seen as existing in some Brouwer (right), proposer of intuitionist mathematics. Credit: Left: INTERFOTO / Alamy Stock Photo; idealized Platonistic world. right: reprinted with permission from ref. 18, Springer These two debates had a huge impact on physics. -
The Sixth Award of the Kenneth O May Medal and Prize
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Available online at www.sciencedirect.com Historia Mathematica 37 (2010) 4–7 www.elsevier.com/locate/yhmat News and Notices The sixth award of the Kenneth O. May Medal and Prize Karen Hunger Parshall Department of History & Mathematics, University of Virginia, Kerchof Hall, Charlottesville, VA 22904-4137, USA On the 31 July, 2009, in Budapest, at the quadrennial International Congress for the History of Science and Technology, the sixth Kenneth O. May Prizes and Medals were awarded by the International Commission for the History of Mathematics to Ivor Grattan-Guinness and Radha Charan Gupta. In the absence of the ICHM Chair, Karen Parshall, Craig Fraser, the ICHM Vice Chair, read the following citation: In 1989, the International Commission for the History of Mathematics awarded, for the first time, the Kenneth O. May Prize in the History of Mathematics. This award honors the memory of Kenneth O. May, mathematician and historian of mathematics, who was instrumental in creating a unified international community of historians of mathematics through his tireless efforts in founding in 1971 the International Commission for the His- tory of Mathematics and in 1974 the ICHM’s journal, Historia Mathematica. The Kenneth O. May Prize has been awarded every four years since 1989 to the historian or historians of mathematics whose work best exemplifies the high scholarly standards and intellectual con- tributions to the field that May worked so hard to achieve. To date, the following distin- guished historians of mathematics have been recognized for their work through receipt of the Kenneth O. -
The History of Arabic Sciences: a Selected Bibliography
THE HISTORY OF ARABIC SCIENCES: A SELECTED BIBLIOGRAPHY Mohamed ABATTOUY Fez University Max Planck Institut für Wissenschaftsgeschichte, Berlin A first version of this bibliography was presented to the Group Frühe Neuzeit (Max Planck Institute for History of Science, Berlin) in April 1996. I revised and expanded it during a stay of research in MPIWG during the summer 1996 and in Fez (november 1996). During the Workshop Experience and Knowledge Structures in Arabic and Latin Sciences, held in the Max Planck Institute for the History of Science in Berlin on December 16-17, 1996, a limited number of copies of the present Bibliography was already distributed. Finally, I express my gratitude to Paul Weinig (Berlin) for valuable advice and for proofreading. PREFACE The principal sources for the history of Arabic and Islamic sciences are of course original works written mainly in Arabic between the VIIIth and the XVIth centuries, for the most part. A great part of this scientific material is still in original manuscripts, but many texts had been edited since the XIXth century, and in many cases translated to European languages. In the case of sciences as astronomy and mechanics, instruments and mechanical devices still extant and preserved in museums throughout the world bring important informations. A total of several thousands of mathematical, astronomical, physical, alchemical, biologico-medical manuscripts survived. They are written mainly in Arabic, but some are in Persian and Turkish. The main libraries in which they are preserved are those in the Arabic World: Cairo, Damascus, Tunis, Algiers, Rabat ... as well as in private collections. Beside this material in the Arabic countries, the Deutsche Staatsbibliothek in Berlin, the Biblioteca del Escorial near Madrid, the British Museum and the Bodleian Library in England, the Bibliothèque Nationale in Paris, the Süleymaniye and Topkapi Libraries in Istanbul, the National Libraries in Iran, India, Pakistan.. -
Basics of Linear Algebra
Basics of Linear Algebra Jos and Sophia Vectors ● Linear Algebra Definition: A list of numbers with a magnitude and a direction. ○ Magnitude: a = [4,3] |a| =sqrt(4^2+3^2)= 5 ○ Direction: angle vector points ● Computer Science Definition: A list of numbers. ○ Example: Heights = [60, 68, 72, 67] Dot Product of Vectors Formula: a · b = |a| × |b| × cos(θ) ● Definition: Multiplication of two vectors which results in a scalar value ● In the diagram: ○ |a| is the magnitude (length) of vector a ○ |b| is the magnitude of vector b ○ Θ is the angle between a and b Matrix ● Definition: ● Matrix elements: ● a)Matrix is an arrangement of numbers into rows and columns. ● b) A matrix is an m × n array of scalars from a given field F. The individual values in the matrix are called entries. ● Matrix dimensions: the number of rows and columns of the matrix, in that order. Multiplication of Matrices ● The multiplication of two matrices ● Result matrix dimensions ○ Notation: (Row, Column) ○ Columns of the 1st matrix must equal the rows of the 2nd matrix ○ Result matrix is equal to the number of (1, 2, 3) • (7, 9, 11) = 1×7 +2×9 + 3×11 rows in 1st matrix and the number of = 58 columns in the 2nd matrix ○ Ex. 3 x 4 ॱ 5 x 3 ■ Dot product does not work ○ Ex. 5 x 3 ॱ 3 x 4 ■ Dot product does work ■ Result: 5 x 4 Dot Product Application ● Application: Ray tracing program ○ Quickly create an image with lower quality ○ “Refinement rendering pass” occurs ■ Removes the jagged edges ○ Dot product used to calculate ■ Intersection between a ray and a sphere ■ Measure the length to the intersection points ● Application: Forward Propagation ○ Input matrix * weighted matrix = prediction matrix http://immersivemath.com/ila/ch03_dotprodu ct/ch03.html#fig_dp_ray_tracer Projections One important use of dot products is in projections.