An Inclusive Philosophy of Mathematics

Total Page:16

File Type:pdf, Size:1020Kb

An Inclusive Philosophy of Mathematics An Inclusive Philosophy of Mathematics John Hosack The Bulletin of the AMS recently published expositions of other varieties as false and consider deductivism within a two varieties of mathematics: constructive mathematics in variety as a consequence of this inclusive attitude. To do this [Bau16] and univalent foundations in [Gra18]. Standard a suitable context must have a broad view of mathematics mathematics (which is what most mathematicians learn, to include the fact of these varieties. The objective of this teach, and use), constructive mathematics, and univalent paper is to provide a suitable perspective in the form of foundations have incompatible logical or mathematical a new philosophy of mathematics: deductive pluralism. foundations. How should a mathematician put these al- This paper will use the term “variety,” analogously to ternative varieties of mathematics into a context that takes [Sha14], but herein a variety will be a maximal set of into account the interest shown by their publication in a results (including definitions, theorems, and examples) leading journal? Some of these, and other, contradictory va- following from logical and mathematical foundations. For rieties of mathematics have long been studied by respected example, standard mathematics is the mathematics that mathematicians for reasons including tradition, philoso- most mathematicians learn and use and has First Order phy, or applications. The purpose of this paper is not to Predicate Calculus (FOPC) as the logical foundation and adjudicate between varieties or recommend one for study. Zermelo–Fraenkel set theory with the Axiom of Choice Rather, the question here is how a mathematician work- (ZFC) as the mathematical foundation. This paper proposes ing within one variety should view another, contradictory that a philosophy of mathematics should be inclusive of the variety; in particular should it be rejected as false? In this varieties of mathematics. As used here, inclusive means that paper we justify an inclusive attitude that does not reject a variety should not be viewed from a philosophical per- spective as false or excluded from consideration; it does not John Hosack is a retired mathematician. His email address is hosack@ mean that an individual should not prefer one variety over alumni.caltech.edu. others. Also, as discussed below, an inclusive philosophy For permission to reprint this article, please contact: reprint-permission should also take into account the problematic question of @ams.org. the existence of abstract objects (those that do not exist in DOI: https://dx.doi.org/10.1090/noti1942 space-time) and the relative nature of consistency results. OCTOBER 2019 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 1433 An outline of deductive pluralism and the argument In parallel with relative consistency, existence of math- favoring it is as follows: a philosophy of mathematics ematical objects should be viewed as relative to a variety. should be inclusive of existing mathematics; there are ex- More explicitly, a concept can be asserted to exist in a variety isting varieties of mathematics with incompatible logical if it can be obtained from the foundations by a sequence or mathematical foundations; the criterion of inclusiveness of results: definitions, theorems, and examples. For exam- and the fact of incompatible varieties implies a pluralistic ple, the concept of a group can be defined using the logic philosophy; this in turn requires a deductivist approach and foundations of ZFC. Examples of groups can then be (which as a motto asserts that mathematics studies “what constructed using the axioms to show that the concept is follows from what”) within each variety, since if the founda- not vacuous. tions were viewed as false, then the variety would likely be The first example of a variety of mathematics will be rejected, thus deductive pluralism. In the following sections standard mathematics, which is based on FOPC as the logic this paper will: clarify the concept of a variety with several and on ZFC as the mathematical component of the foun- examples; argue in favor of the criterion of inclusiveness dation (or just ZFC if the logic FOPC is understood). Since and the need for a deductive approach; discuss some of standard mathematics is so dominant and extensive most the advantages of deductive pluralism; and finally put other varieties of mathematics, including those discussed deductive pluralism into the context of the philosophy of below, are careful to include many of the same or similar mathematics, including references to other work on deduc- theories and results as standard mathematics. As noted tivism, pluralism, and deductive pluralism. above, PA can be considered as a variety of mathematics or as a theory within ZFC. Examples of Varieties of Mathematics The next example is constructive mathematics (see This section gives examples of varieties of mathematics [Bau16]), of which there are several versions. The version with incompatible logical or mathematical foundations considered here, sometimes referred to as BISH, was devel- with the information needed for subsequent discussion oped from the work of Errett Bishop and is viewed as a basis and indicates some of the motivations that lead to these for several versions of constructive mathematics. BISH is an varieties. There are many other varieties, such as category example of a variety of mathematics in which the mathe- theory as a foundation, various forms of finitism, and even matical assertions and logic have both rules and interpre- inconsistent mathematics, but those discussed here should tations different from standard mathematics. There are two be sufficient for our purposes. requirements: the existence of a mathematical object can While working within a variety, the logic of that variety be asserted only if there is an algorithmic construction for is applied to the previous results to deduce theorems, to the object, and the truth of a proposition can be asserted make definitions, or to construct examples. In this paper only when it can be proven. For example, if P and Q are the discussion of varieties has the purpose of demonstrating propositions, then the disjunction P Q can be asserted ∨ incompatible logical or mathematical foundations. Thus, only when there is a proof for P or for Q. However, if we the pluralism advocated is descriptive of the existing situ- set Q P, then we can assert P P only if we can prove =¬ ∨¬ ation rather than prescriptive. either P or P, which is not always possible. Thus, con- ¬ Recall that a system is inconsistent if for some propo- structive mathematics does not accept the Law of Excluded sition P, both P and its negation P can be derived and is Middle (LEM), which asserts that P P always holds. The ¬ ∨¬ consistent if not inconsistent. If a system is inconsistent, logical foundation is intuitionistic logic, which is FOPC then in principle this can be proven by systematically listing without LEM, and the mathematical foundations can be all proofs. However, if the system is consistent, then this formalized as intuitionistic set theory. As an example of process will not terminate. From Gödel’s second incom- existence consider the comb (or Dirichlet) function, which pleteness theorem most consistent mathematical systems of is defined on the unit interval so that it is 1 on the rational interest cannot prove their own consistency. Thus for these numbers and 0 on the irrational numbers in the interval systems assertions of relative consistency are made rather and which is a primary example of a bounded function than assertions of consistency (where system A is consis- on a bounded interval that is not Riemann integrable but tent relative to system B if the consistency of B implies the is Lebesgue integrable. The existence of the comb function consistency of A). As an example consider Peano Arithmetic can be asserted in standard mathematics but not in BISH. (PA), the axiomatization of ordinary arithmetic. PA is either Standard mathematics is a proper extension of BISH, consistent or not, but since it satisfies the conditions of so that all theorems of BISH are also theorems of standard Gödel’s theorem, if it is consistent, then it cannot prove its mathematics, but not conversely. Thus, BISH is consistent own consistency. However, it can be embedded in set the- relative to ZFC. As discussed above, standard mathematics ory, specifically in its standard axiomatization ZFC. Thus, can be viewed as an extension of PA, just as standard mathe- PA is consistent relative to ZFC. Usually mathematicians matics can be viewed as an extension of BISH. However, the (implicitly) assume that the variety they are working in, situations differ: standard mathematics does not contradict such as PA or ZFC, is consistent. the motivations or logic of PA but does contradict BISH, 1434 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 66, NUMBER 9 since, for example, standard mathematics accepts LEM, but the univalence axiom, has been shown to be consistent BISH rejects LEM. relative to ZFC. Just as PA is the arithmetic theory in standard mathe- matics, Heyting Arithmetic (HA) is the arithmetic theory Incompatible Varieties of Mathematics in constructive mathematics. PA and HA have the same and Deductive Pluralism mathematical axioms, but HA uses intuitionistic logic The previous section briefly examined several varieties of (FOPC without LEM) rather than FOPC. Since HA has the mathematics: ZFC; TG, an extension of ZFC; constructive, a same axioms and a weaker logic, any theorem in HA is a restriction of ZFC; and univalent foundations, not based on theorem in PA, but not conversely. For example, in HA a set theory. If a philosophy of mathematics is to be inclusive statement of the form nφ(n) does not necessarily imply of mathematical practice, then it must accommodate these ¬∀ that n φ(n), since in HA existence can be asserted only if varieties, which have different logical assumptions (e.g., ∃ ¬ there is a construction.
Recommended publications
  • Number Theory
    “mcs-ftl” — 2010/9/8 — 0:40 — page 81 — #87 4 Number Theory Number theory is the study of the integers. Why anyone would want to study the integers is not immediately obvious. First of all, what’s to know? There’s 0, there’s 1, 2, 3, and so on, and, oh yeah, -1, -2, . Which one don’t you understand? Sec- ond, what practical value is there in it? The mathematician G. H. Hardy expressed pleasure in its impracticality when he wrote: [Number theorists] may be justified in rejoicing that there is one sci- ence, at any rate, and that their own, whose very remoteness from or- dinary human activities should keep it gentle and clean. Hardy was specially concerned that number theory not be used in warfare; he was a pacifist. You may applaud his sentiments, but he got it wrong: Number Theory underlies modern cryptography, which is what makes secure online communication possible. Secure communication is of course crucial in war—which may leave poor Hardy spinning in his grave. It’s also central to online commerce. Every time you buy a book from Amazon, check your grades on WebSIS, or use a PayPal account, you are relying on number theoretic algorithms. Number theory also provides an excellent environment for us to practice and apply the proof techniques that we developed in Chapters 2 and 3. Since we’ll be focusing on properties of the integers, we’ll adopt the default convention in this chapter that variables range over the set of integers, Z. 4.1 Divisibility The nature of number theory emerges as soon as we consider the divides relation a divides b iff ak b for some k: D The notation, a b, is an abbreviation for “a divides b.” If a b, then we also j j say that b is a multiple of a.
    [Show full text]
  • Video Lessons for Illustrative Mathematics: Grades 6-8 and Algebra I
    Video Lessons for Illustrative Mathematics: Grades 6-8 and Algebra I The Department, in partnership with Louisiana Public Broadcasting (LPB), Illustrative Math (IM), and SchoolKit selected 20 of the critical lessons in each grade level to broadcast on LPB in July of 2020. These lessons along with a few others are still available on demand on the SchoolKit website. To ensure accessibility for students with disabilities, all recorded on-demand videos are available with closed captioning and audio description. Updated on August 6, 2020 Video Lessons for Illustrative Math Grades 6-8 and Algebra I Background Information: Lessons were identified using the following criteria: 1. the most critical content of the grade level 2. content that many students missed due to school closures in the 2019-20 school year These lessons constitute only a portion of the critical lessons in each grade level. These lessons are available at the links below: • Grade 6: http://schoolkitgroup.com/video-grade-6/ • Grade 7: http://schoolkitgroup.com/video-grade-7/ • Grade 8: http://schoolkitgroup.com/video-grade-8/ • Algebra I: http://schoolkitgroup.com/video-algebra/ The tables below contain information on each of the lessons available for on-demand viewing with links to individual lessons embedded for each grade level. • Grade 6 Video Lesson List • Grade 7 Video Lesson List • Grade 8 Video Lesson List • Algebra I Video Lesson List Video Lessons for Illustrative Math Grades 6-8 and Algebra I Grade 6 Video Lesson List 6th Grade Illustrative Mathematics Units 2, 3,
    [Show full text]
  • History of Mathematics
    History of Mathematics James Tattersall, Providence College (Chair) Janet Beery, University of Redlands Robert E. Bradley, Adelphi University V. Frederick Rickey, United States Military Academy Lawrence Shirley, Towson University Introduction. There are many excellent reasons to study the history of mathematics. It helps students develop a deeper understanding of the mathematics they have already studied by seeing how it was developed over time and in various places. It encourages creative and flexible thinking by allowing students to see historical evidence that there are different and perfectly valid ways to view concepts and to carry out computations. Ideally, a History of Mathematics course should be a part of every mathematics major program. A course taught at the sophomore-level allows mathematics students to see the great wealth of mathematics that lies before them and encourages them to continue studying the subject. A one- or two-semester course taught at the senior level can dig deeper into the history of mathematics, incorporating many ideas from the 19th and 20th centuries that could only be approached with difficulty by less prepared students. Such a senior-level course might be a capstone experience taught in a seminar format. It would be wonderful for students, especially those planning to become middle school or high school mathematics teachers, to have the opportunity to take advantage of both options. We also encourage History of Mathematics courses taught to entering students interested in mathematics, perhaps as First Year or Honors Seminars; to general education students at any level; and to junior and senior mathematics majors and minors. Ideally, mathematics history would be incorporated seamlessly into all courses in the undergraduate mathematics curriculum in addition to being addressed in a few courses of the type we have listed.
    [Show full text]
  • Pure Mathematics
    Why Study Mathematics? Mathematics reveals hidden patterns that help us understand the world around us. Now much more than arithmetic and geometry, mathematics today is a diverse discipline that deals with data, measurements, and observations from science; with inference, deduction, and proof; and with mathematical models of natural phenomena, of human behavior, and social systems. The process of "doing" mathematics is far more than just calculation or deduction; it involves observation of patterns, testing of conjectures, and estimation of results. As a practical matter, mathematics is a science of pattern and order. Its domain is not molecules or cells, but numbers, chance, form, algorithms, and change. As a science of abstract objects, mathematics relies on logic rather than on observation as its standard of truth, yet employs observation, simulation, and even experimentation as means of discovering truth. The special role of mathematics in education is a consequence of its universal applicability. The results of mathematics--theorems and theories--are both significant and useful; the best results are also elegant and deep. Through its theorems, mathematics offers science both a foundation of truth and a standard of certainty. In addition to theorems and theories, mathematics offers distinctive modes of thought which are both versatile and powerful, including modeling, abstraction, optimization, logical analysis, inference from data, and use of symbols. Mathematics, as a major intellectual tradition, is a subject appreciated as much for its beauty as for its power. The enduring qualities of such abstract concepts as symmetry, proof, and change have been developed through 3,000 years of intellectual effort. Like language, religion, and music, mathematics is a universal part of human culture.
    [Show full text]
  • Mathematics (MATH) 1
    Mathematics (MATH) 1 MATHEMATICS (MATH) Courses MATH-015 ARITHMETIC AND PRE-ALGEBRA 3.00 Credits Preparation for MATH 023 and MATH 025. Arithmetic with whole numbers, signed numbers, fractions, and decimals. Order of operations, variables, simplifying of algebraic expressions. Concrete representations of arithmetic operations and algebraic concepts are emphasized. Particularly appropriate for students who experience anxiety when learning mathematics. Course fee. MATH-023 BASIC ALGEBRA FOR MATH AS A LIBERAL ART 3.00 Credits Brief review of integer arithmetic, fraction arithmetic, percent and order of operations. Evaluating formulas. Units and unit analysis. Solving equations in one variable and using equations in one variable to solve application problems. Graphing linear equations, intercepts, slope, writing the equation of a line. Introduction to functions. Average rate of change, introduction to linear and exponential models. Simplifying exponential expressions, scientific notation, introduction to logarithms. Introduction to sets, counting methods, and discrete probability. Pre-requisite: A grade of C or better in Math-015 or satisfactory placement score. Course fee. MATH-025 BASIC ALGEBRA 3.00 Credits Brief review of prealgebra. Solving equations and inequalities in one variable; applications. Evaluating formulas; unit analysis. Graphing linear equations, intercepts, slope, writing the equation of a line, introduction to functions. Average rate of change and linear models. Graphing linear inequalities. Systems of linear equations; applications. Exponent rules and scientific notation. Addition, subtraction, multiplication, and factoring of polynomials in one variable. Using the zero product property to solve quadratic equations in one variable. Pre-requisite: A grade of 'C' or better in MATH-015 or satisfactory placement score. MATH-123 MATH IN MODERN SOCIETY 3.00 Credits This course introduces students to the form and function of mathematics as it applies to liberal-arts studies with a heavy emphasis on its applications.
    [Show full text]
  • Department of Mathematics and Statistics 1
    Department of Mathematics and Statistics 1 The Elementary Education Major has a specially defined minor in DEPARTMENT OF Mathematics (http://catalog.unk.edu/undergraduate/departments- programs/mathematics-statistics/mathematics-elementary-education- MATHEMATICS AND minor/). STATISTICS TBD, Chair Professor: Katherine Kime, Barton Willis Department Objectives Associate Professor: Derek Boeckner, Jia Huang, Amy Nebesniak, • To prepare students to pursue graduate programs in mathematics or Theodore Rupnow, Jacob Weiss statistics; • To prepare students for careers in mathematics education; Assistant Professor: Scott Gensler, Nathan Vander Werf • To provide entry-level training for those wishing to pursue careers in Senior Lecturer: Julieta Johnston, Patty Reifenrath, Kaye Sorensen actuarial science or business; • To provide the courses to meet the requirements of General Studies; Lecturer: Paul Bonk • To provide the courses to meet the service functions for departments requiring knowledge of mathematics. Mathematics (MATH) MATH 90 – Elementary Algebra 3 credit hours Department Policies This course deals with elementary concepts of algebra which are • Placement in the proper course is of utmost importance to the usually taught at the 9th grade level. Emphasis is placed on developing student and the Department. The ACT math score is used to place functional competence in the several areas of algebra which are covered, traditional entering freshmen in our entry level college mathematics and the content includes some practical applications. Not a General courses. Consult the departmental course listings for information on Studies course. Credit will not count toward any UNK degree. Placement: minimal ACT math score requirements for our entry level courses. Math ACT score of 16 or less. • Students who have completed a full year of Calculus in high school MATH 101 – Intermediate Algebra 3 credit hours may start in Calculus II or Calculus III.
    [Show full text]
  • Mathematics-Statistics 1
    Mathematics-Statistics 1 and lecturing on it. In order to be eligible for departmental honors, majors MATHEMATICS-STATISTICS must write a senior thesis. Departmental Undergraduate Office: 410 Mathematics; 212-854-2432 Courses for First-Year Students http://www.math.columbia.edu/ The systematic study of mathematics begins with one of the following Director of Undergraduate Studies: Prof. Mu-Tao Wang, 514 Mathematics; three alternative calculus and linear algebra sequences: 212-854-3052; [email protected] MATH UN1101 CALCULUS I Calculus Director: Prof. George Dragomir; [email protected] - MATH UN1102 and CALCULUS II - MATH UN1201 and Calculus III Computer Science-Mathematics Adviser: - MATH UN1202 and CALCULUS IV Computer Science: Dr. Jae Woo Lee, 715 CEPSR; - MATH UN2010 and LINEAR ALGEBRA 212-939-7066; [email protected] MATH UN1101 CALCULUS I Mathematics: Prof. Chiu-Chu Melissa Liu, 623 Mathematics; - MATH UN1102 and CALCULUS II 212-854-2499; c ([email protected])[email protected] - MATH UN1205 and Accelerated Multivariable Calculus - MATH UN2010 and LINEAR ALGEBRA ([email protected]) MATH UN1101 CALCULUS I Economics-Mathematics Advisers: - MATH UN1102 and CALCULUS II Mathematics: Prof. Julien Dubedat, 601 Mathematics; 212-854-8806; - MATH UN1207 and Honors Mathematics A [email protected] - MATH UN1208 and HONORS MATHEMATICS B Economics: Dr. Susan Elmes, 1006 International Affairs Building; Credit is allowed for only one calculus and linear algebra sequence. 212-854-9124; [email protected] Calculus I, II is a standard course in single-variable differential and Mathematics-Statistics Advisers: integral calculus; Calculus III, IV is a standard course in multivariable Mathematics: Prof.
    [Show full text]
  • Warren Goldfarb, Notes on Metamathematics
    Notes on Metamathematics Warren Goldfarb W.B. Pearson Professor of Modern Mathematics and Mathematical Logic Department of Philosophy Harvard University DRAFT: January 1, 2018 In Memory of Burton Dreben (1927{1999), whose spirited teaching on G¨odeliantopics provided the original inspiration for these Notes. Contents 1 Axiomatics 1 1.1 Formal languages . 1 1.2 Axioms and rules of inference . 5 1.3 Natural numbers: the successor function . 9 1.4 General notions . 13 1.5 Peano Arithmetic. 15 1.6 Basic laws of arithmetic . 18 2 G¨odel'sProof 23 2.1 G¨odelnumbering . 23 2.2 Primitive recursive functions and relations . 25 2.3 Arithmetization of syntax . 30 2.4 Numeralwise representability . 35 2.5 Proof of incompleteness . 37 2.6 `I am not derivable' . 40 3 Formalized Metamathematics 43 3.1 The Fixed Point Lemma . 43 3.2 G¨odel'sSecond Incompleteness Theorem . 47 3.3 The First Incompleteness Theorem Sharpened . 52 3.4 L¨ob'sTheorem . 55 4 Formalizing Primitive Recursion 59 4.1 ∆0,Σ1, and Π1 formulas . 59 4.2 Σ1-completeness and Σ1-soundness . 61 4.3 Proof of Representability . 63 3 5 Formalized Semantics 69 5.1 Tarski's Theorem . 69 5.2 Defining truth for LPA .......................... 72 5.3 Uses of the truth-definition . 74 5.4 Second-order Arithmetic . 76 5.5 Partial truth predicates . 79 5.6 Truth for other languages . 81 6 Computability 85 6.1 Computability . 85 6.2 Recursive and partial recursive functions . 87 6.3 The Normal Form Theorem and the Halting Problem . 91 6.4 Turing Machines .
    [Show full text]
  • A Brief History of Mathematics a Brief History of Mathematics
    A Brief History of Mathematics A Brief History of Mathematics What is mathematics? What do mathematicians do? A Brief History of Mathematics What is mathematics? What do mathematicians do? http://www.sfu.ca/~rpyke/presentations.html A Brief History of Mathematics • Egypt; 3000B.C. – Positional number system, base 10 – Addition, multiplication, division. Fractions. – Complicated formalism; limited algebra. – Only perfect squares (no irrational numbers). – Area of circle; (8D/9)² Æ ∏=3.1605. Volume of pyramid. A Brief History of Mathematics • Babylon; 1700‐300B.C. – Positional number system (base 60; sexagesimal) – Addition, multiplication, division. Fractions. – Solved systems of equations with many unknowns – No negative numbers. No geometry. – Squares, cubes, square roots, cube roots – Solve quadratic equations (but no quadratic formula) – Uses: Building, planning, selling, astronomy (later) A Brief History of Mathematics • Greece; 600B.C. – 600A.D. Papyrus created! – Pythagoras; mathematics as abstract concepts, properties of numbers, irrationality of √2, Pythagorean Theorem a²+b²=c², geometric areas – Zeno paradoxes; infinite sum of numbers is finite! – Constructions with ruler and compass; ‘Squaring the circle’, ‘Doubling the cube’, ‘Trisecting the angle’ – Plato; plane and solid geometry A Brief History of Mathematics • Greece; 600B.C. – 600A.D. Aristotle; mathematics and the physical world (astronomy, geography, mechanics), mathematical formalism (definitions, axioms, proofs via construction) – Euclid; Elements –13 books. Geometry,
    [Show full text]
  • Mathematical Analysis, Second Edition
    PREFACE A glance at the table of contents will reveal that this textbooktreats topics in analysis at the "Advanced Calculus" level. The aim has beento provide a develop- ment of the subject which is honest, rigorous, up to date, and, at thesame time, not too pedantic.The book provides a transition from elementary calculusto advanced courses in real and complex function theory, and it introducesthe reader to some of the abstract thinking that pervades modern analysis. The second edition differs from the first inmany respects. Point set topology is developed in the setting of general metricspaces as well as in Euclidean n-space, and two new chapters have been addedon Lebesgue integration. The material on line integrals, vector analysis, and surface integrals has beendeleted. The order of some chapters has been rearranged, many sections have been completely rewritten, and several new exercises have been added. The development of Lebesgue integration follows the Riesz-Nagyapproach which focuses directly on functions and their integrals and doesnot depend on measure theory.The treatment here is simplified, spread out, and somewhat rearranged for presentation at the undergraduate level. The first edition has been used in mathematicscourses at a variety of levels, from first-year undergraduate to first-year graduate, bothas a text and as supple- mentary reference.The second edition preserves this flexibility.For example, Chapters 1 through 5, 12, and 13 providea course in differential calculus of func- tions of one or more variables. Chapters 6 through 11, 14, and15 provide a course in integration theory. Many other combinationsare possible; individual instructors can choose topics to suit their needs by consulting the diagram on the nextpage, which displays the logical interdependence of the chapters.
    [Show full text]
  • Massachusetts Mathematics Curriculum Framework — 2017
    Massachusetts Curriculum MATHEMATICS Framework – 2017 Grades Pre-Kindergarten to 12 i This document was prepared by the Massachusetts Department of Elementary and Secondary Education Board of Elementary and Secondary Education Members Mr. Paul Sagan, Chair, Cambridge Mr. Michael Moriarty, Holyoke Mr. James Morton, Vice Chair, Boston Dr. Pendred Noyce, Boston Ms. Katherine Craven, Brookline Mr. James Peyser, Secretary of Education, Milton Dr. Edward Doherty, Hyde Park Ms. Mary Ann Stewart, Lexington Dr. Roland Fryer, Cambridge Mr. Nathan Moore, Chair, Student Advisory Council, Ms. Margaret McKenna, Boston Scituate Mitchell D. Chester, Ed.D., Commissioner and Secretary to the Board The Massachusetts Department of Elementary and Secondary Education, an affirmative action employer, is committed to ensuring that all of its programs and facilities are accessible to all members of the public. We do not discriminate on the basis of age, color, disability, national origin, race, religion, sex, or sexual orientation. Inquiries regarding the Department’s compliance with Title IX and other civil rights laws may be directed to the Human Resources Director, 75 Pleasant St., Malden, MA, 02148, 781-338-6105. © 2017 Massachusetts Department of Elementary and Secondary Education. Permission is hereby granted to copy any or all parts of this document for non-commercial educational purposes. Please credit the “Massachusetts Department of Elementary and Secondary Education.” Massachusetts Department of Elementary and Secondary Education 75 Pleasant Street, Malden, MA 02148-4906 Phone 781-338-3000 TTY: N.E.T. Relay 800-439-2370 www.doe.mass.edu Massachusetts Department of Elementary and Secondary Education 75 Pleasant Street, Malden, Massachusetts 02148-4906 Dear Colleagues, I am pleased to present to you the Massachusetts Curriculum Framework for Mathematics adopted by the Board of Elementary and Secondary Education in March 2017.
    [Show full text]
  • The Project Gutenberg Ebook #31061: a History of Mathematics
    The Project Gutenberg EBook of A History of Mathematics, by Florian Cajori This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org Title: A History of Mathematics Author: Florian Cajori Release Date: January 24, 2010 [EBook #31061] Language: English Character set encoding: ISO-8859-1 *** START OF THIS PROJECT GUTENBERG EBOOK A HISTORY OF MATHEMATICS *** Produced by Andrew D. Hwang, Peter Vachuska, Carl Hudkins and the Online Distributed Proofreading Team at http://www.pgdp.net transcriber's note Figures may have been moved with respect to the surrounding text. Minor typographical corrections and presentational changes have been made without comment. This PDF file is formatted for screen viewing, but may be easily formatted for printing. Please consult the preamble of the LATEX source file for instructions. A HISTORY OF MATHEMATICS A HISTORY OF MATHEMATICS BY FLORIAN CAJORI, Ph.D. Formerly Professor of Applied Mathematics in the Tulane University of Louisiana; now Professor of Physics in Colorado College \I am sure that no subject loses more than mathematics by any attempt to dissociate it from its history."|J. W. L. Glaisher New York THE MACMILLAN COMPANY LONDON: MACMILLAN & CO., Ltd. 1909 All rights reserved Copyright, 1893, By MACMILLAN AND CO. Set up and electrotyped January, 1894. Reprinted March, 1895; October, 1897; November, 1901; January, 1906; July, 1909. Norwood Pre&: J. S. Cushing & Co.|Berwick & Smith.
    [Show full text]