DOCSLIB.ORG

Transmathematics 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Transmathematics 2020 Transmathematics Dr James Anderson 安德⽣ Topics • Why computer scientists like totality: • Transarithmetic - no error states • Transphysics - works at singularities • Transcomputing - faster, safer, more accurate • Summary 2 of 69 Totallity • Totality - every function is a total function • It is not necessary to waste states - so hardware and software can be more efficient • Every syntactically correct program is semantically correct - except for physical intervention, programs cannot crash 3 of 69 Totallity • Geometrical construction of the transreal numbers (1997) • Axiomatisation and machine proof of the consistency of transreal arithmetic (2007) • Human proof of the consistency of transreal and transcomplex arithmetic (2014, 2016) • Current research on the foundations and applications of transmathematics 4 of 69 Arithmetica Universalis Sir Isaac Newton 5 of 69 Arithmetica Universalis • Newton used the arithmetica universalis, which predates real arithmetic • Arithmetica universalis does not outlaw division by zero • Arithmetica universalis allows a number to have any factors. For example, 0 = 0 × 1 × 2 × … has factors 0, 1, 2, … on the right hand side • Modern integer factors are required to be smaller than the number they factorise 6 of 69 Arithmetica Universalis • Newton gave a faulty proof that division by zero is inconsistent • Newton defined x = y ⟺ x − y = 0 • This blocks transreal ±∞, Φ because (−∞) − (−∞) = ∞ − ∞ = Φ − Φ = Φ • If we read Newton’s equal (aequo) as a modern equality and restrict division by zero to transreal division by zero then the arithmetica universalis is transreal arithmetic and Newton’s mechanics (physics) work at singularities! 7 of 69 Transreal Numbers Transreal numbers, t, are proper fractions of real numbers, with a non-negative denominator, d, and a numerator, n, that is one of -1, 0, 1 when d = 0 n t = d With k a positive constant: −k −1 0 k 1 −∞ = = Φ = ∞ = = 0 0 0 0 0 8 of 69 Improper Fractions Improper fractions have a negative denominator (-k) which must be made positive before any arithmetical operator is applied n −n −1× n −n = = = −k −(−k) −1× (−k) k 9 of 69 Multiplication a c ac × = b d bd 10 of 69 Division a c a d ÷ = × b d b c 11 of 69 Addition of Two Infinities 1 1 1 + 1 2 1 × 2 1 ∞ + ∞ = + = = = = = ∞ 0 0 0 0 0 × 2 0 1 −1 1 − 1 0 ∞ + (−∞) = + = = = Φ 0 0 0 0 −1 1 −1 + 1 0 −∞ + ∞ = + = = = Φ 0 0 0 0 −1 −1 (−1) + (−1) −2 (−1) × 2 −1 −∞ + (−∞) = + = = = = = − ∞ 0 0 0 0 0 × 2 0 12 of 69 General Addition a c ad + bc + = b d bd 13 of 69 Subtraction a c a −c − = + b d b d 14 of 69 Associativity a + (b + c) = (a + b) + c a × (b × c) = (a × b) × c 15 of 69 Commutativity a + b = b + a a × b = b × a 16 of 69 Partial Distributivity a(b + c) = ab + ac When a ≠ ±∞ or bc > 0 or (b + c) / 0 = Φ 17 of 69 Real Arithmetic versus Transreal Arithmetic • Real arithmetic checks for division by zero and, if found, it fails • Transreal arithmetic checks for division by zero and always succeeds 18 of 69 Newtonian Physics • Newton used the arithmetica universalis • The arithmetica universalis can be restricted to real arithmetic by outlawing division by zero • The arithmetica universalis can be extended to transreal arithmetic by using a modern equality and restricting division by zero to transreal division by zero 19 of 69 Newtonian Physics • If we read Newton’s 18th Century physics as applying to real numbers then they fail at singularities • If we read Newton’s 18th Century physics as applying to transreal numbers then they operate at singularities 20 of 69 Transreal Analysis • Transreal analysis replaces the symbols −∞, ∞ of real analysis with the transreal numbers −1 1 −∞ = and ∞ = 0 0 • Every real result of real analysis arises as the same real result of transreal analysis • Transreal analysis has some results that cannot be obtained by real analysis 21 of 69 Trans-Newtonian Physics • Newton’s laws of motion and gravity can be restated with transreal arithmetic and transreal analysis • Hence Trans-Newtonian physics operates at singularities 22 of 69 Transreal-Number Line Φ -∞ ℝ ∞ • The transreal-number line can be deduced from transreal arithmetic using epsilon neighbourhoods 23 of 69 Transreal-Number Line Φ -∞ ℝ ∞ • Nullity, Φ, is unordered and lies off the transreal- number line 24 of 69 Transphysics Φ -∞ ℝ ∞ • A nullity force, Φ, has no component in the extended-real universe, [−∞, ∞], so behaves as a zero force in this universe 25 of 69 Two’s Complement 0 000 -1 111 001 1 -2 110 010 2 -3 101 011 3 100 -4 26 of 69 Two’s Complement • Wrap-around error • Weird-number error • One more negative than positive numbers • Prioritises range over correctness! • Not embedded in the real-number or floating- point-number lines - so harder to convert real analysis into two’s complement algorithms 27 of 69 Trans-Two’s Complement 0 000 -1 111 001 1 -2 110 010 2 -∞ 101 011 ∞ 100 Φ 28 of 69 Trans-Two’s Complement • No wrap-around error • No weird-number error • Equal number of positive and negative numbers • Obtains maximal range but with round-off to infinities • Embedded in the transreal-number line so easier to convert transreal analysis into trans-two’s complement algorithms 29 of 69 Floating-Point (NaN) X 11111111111 XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 30 of 69 64-Bit Floating-Point • 9,007,199,254,740,990 error (NaN) states • 25,000 error (NaN) states for each star in our Milky Way galaxy! • Not embedded in the real- number line so harder to convert real analysis into floating-point algorithms 31 of 69 Transfloating-Point • Replace negative zero, −0 ≢ 0, with nullity Φ • Replace NaNs by mapping ±∞ onto the extremal bit patterns • Increment the exponent bias by one 32 of 69 Transfloating-Point • Twice the range of real numbers mapped to a doubling of accuracy, by halving the smallest, representable number • Embedded in transreal-number line so easier to convert transreal analysis into transfloating-point algorithms 33 of 69 Transcomplex Plane Revolution of the transreal number line Φ -∞ ∞ 34 of 69 Transangle Real and nullity angles b are arc length divided by radius in a unit wheel θ Φ a 0 Φ = radians 0 But where are the infinity angles? 35 of 69 Transangle b The infinity angles are θ the windings of the a outer line segments at b′ the apex of the unit cone a′ 2∞π + θ = ∞ radians −2∞π + θ = − ∞ radians Φ ±∞ 36 of 69 Transtangent +π/2/2 -3-3π/2/2 y Ancient construction p of trigonometric functions as ratios, ±π θ x 0 with modern annotations -π/2/2 +3+3π/2/2 37 of 69 Transtangent Φ ∞ −∞ ∞ Φ −∞ -2-2π 0 ++22π 38 of 69 Transtangent • Is defined for all transreal angles • Is single valued everywhere • The real values of the transtangent have period π • The infinite values of the transtangent have period 2π • The nullity values of the transtangent occur at − ∞ , ∞ , Φ with Φ being the canonical position 39 of 69 Transtangent • The ancient construction of the tangent has transreal solutions that are not available to modern (non-trans) geometry and trigonometry • The ancient construction of the tangent is identical to the transtangent • The ancient construction of the tangent agrees with the transtangent’s transpower series 40 of 69 Degenerate Cartesian Co-ordinates Δy = 0 Δx Δy ∈ ℝ Δx = ∞ 41 of 69 Non-Degenerate Cartesian Co-ordinates (0,∞) = [∞, π/2] (−∞, ∞) = [∞,3π/4] (∞, ∞) = [∞, π/4] (−∞,0) = [∞, π] (∞,0) = [∞,0] (−∞, − ∞) = [∞, − 3π/4] (∞, − ∞) = [∞, − π/4] (0, − ∞) = [∞, − π/2] (Φ, Φ) = [Φ, Φ] 42 of 69 Transcomplex Integral • Transcomplex numbers are represented in polar form to avoid Cartesian degeneracy • The transomplex integral is based on the non- degenerate Cartesian co-ordinates 43 of 69 Transcomplex Analysis • With the exception of the general transcomplex derivative, which has not yet been developed, all areas of complex analysis have been extended to transcomplex analysis 44 of 69 Transcomplex Arithmetic Φ • Solid cylinder composed of unit radius discs with zero and ∞ all positive real heights • Unit radius disc at infinite height • Convention - unit radius disc r ∈ ℝ at nullity height placed above disc at infinity 0 45 of 69 Transcomplex Multiplication and Division Φ ∞ • Polar multiplication and division are screws - a composition of rotation and translation r ∈ ℝ 0 46 of 69 Transcomplex Addition and Subtraction • Draw polar vector [r, θ] as a unit vector [1,θ] on the disc at Φ height r ∞ • Let m be the maximum height of the unit vectors in the diagram • Scale all vectors below r ∈ ℝ maximum height by 1/m • Move all vectors [r/m, θ] to the disc at height m 0 47 of 69 Transcomplex Addition and Subtraction • Perform vector addition Φ • Scale resultant vector by m ∞ • Redraw resultant vector [r, θ] as unit vector [1,θ] in the disc at height r • This extends Newton’s sum of r ∈ ℝ directed line segments to all transreal numbers so Newton’s 18th Century physics works at singularities 0 48 of 69 Transcomplex Addition and Subtraction • For all transreal t [Φ, Φ] + [t, θ] = Φ Φ{[1,Φ] + [t/Φ, θ]} = Φ{[Φ, Φ] + [Φ, Φ]} = [Φ, Φ] ∞ • [∞, θ] − [∞, θ] = ∞{[1,θ] − [1,θ]} = ∞[0,0] = [Φ, Φ] • For all real r r ∈ ℝ [∞, θ1] + [r, θ2] = ∞([1,θ1] + [r/∞, θ2]) = ∞([1,θ1] + [0,0]) = ∞[1,θ1] = 0 [∞, θ1] 49 of 69 Transcomplex Cone Φ ∞ • Dilatate all of the discs by their height r ∈ ℝ 0 50 of 69 Transcomplex Plane Φ ∞ ℂ • Project onto a plane 51 of 69 Non-Associativity • After renormalisation, to the b disc at height infinity, the sum of infinite vectors can be non- (a + a) + b associative ∞ a + (a + b) • Before renormalisation, the sum of arbitrarily many infinite vectors is associative a ∞ 52 of 69 Algebraic Structure
Load more

Recommended publications
  • Newton.Indd | Sander Pinkse Boekproductie | 16-11-12 / 14:45 | Pag
    omslag Newton.indd | Sander Pinkse Boekproductie | 16-11-12 / 14:45 | Pag. 1 e Dutch Republic proved ‘A new light on several to be extremely receptive to major gures involved in the groundbreaking ideas of Newton Isaac Newton (–). the reception of Newton’s Dutch scholars such as Willem work.’ and the Netherlands Jacob ’s Gravesande and Petrus Prof. Bert Theunissen, Newton the Netherlands and van Musschenbroek played a Utrecht University crucial role in the adaption and How Isaac Newton was Fashioned dissemination of Newton’s work, ‘is book provides an in the Dutch Republic not only in the Netherlands important contribution to but also in the rest of Europe. EDITED BY ERIC JORINK In the course of the eighteenth the study of the European AND AD MAAS century, Newton’s ideas (in Enlightenment with new dierent guises and interpre- insights in the circulation tations) became a veritable hype in Dutch society. In Newton of knowledge.’ and the Netherlands Newton’s Prof. Frans van Lunteren, sudden success is analyzed in Leiden University great depth and put into a new perspective. Ad Maas is curator at the Museum Boerhaave, Leiden, the Netherlands. Eric Jorink is researcher at the Huygens Institute for Netherlands History (Royal Dutch Academy of Arts and Sciences). / www.lup.nl LUP Newton and the Netherlands.indd | Sander Pinkse Boekproductie | 16-11-12 / 16:47 | Pag. 1 Newton and the Netherlands Newton and the Netherlands.indd | Sander Pinkse Boekproductie | 16-11-12 / 16:47 | Pag. 2 Newton and the Netherlands.indd | Sander Pinkse Boekproductie | 16-11-12 / 16:47 | Pag.
    [Show full text]
  • Reposs #19: Newtonianism in the Scandinavian Countries, 1690–1790
    RePoSS: Research Publications on Science Studies RePoSS #19: Newtonianism in the Scandinavian Countries, 1690–1790 Helge Kragh August 2012 Centre for Science Studies, University of Aarhus, Denmark Research group: History and philosophy of science Please cite this work as: Helge Kragh (Aug. 2012). Newtonianism in the Scandinavian Countries, 1690–1790. RePoSS: Research Publications on Sci- ence Studies 19. Aarhus: Centre for Science Studies, University of Aarhus. url: http://www.css.au.dk/reposs. Copyright c Helge Kragh, 2012 1 Newtonianism in the Scandinavian Countries, 1690-1790 HELGE KRAGH 1 Introduction In the present context, the Scandinavian countries refer to two national or administrative units, the one being Denmark and the other Sweden. In the period here considered, largely the century from 1690 to 1790, ‘Denmark’ means really Denmark-Norway, for until 1814 Norway was part of the double monarchy ruled by the king and his government in Copenhagen. It should also be kept in mind that parts of what is today Germany, namely Schleswig-Holstein, belonged to the kingdom. However, as far as language and culture were concerned, these parts of southern Denmark were more German than Danish, and they played no important role in the scientific life of the kingdom. Sweden covered a much larger geographical area than it does today. The country had expanded greatly during the seventeenth century, when not only Finland but also parts of the Baltic area and northern Germany came under Swedish rule. About 1720, after the Great Northern War, Sweden lost most of its possessions, but the major part of Finland remained as part of the country until Centre for Science Studies, Department of Physics and Astronomy, Aarhus University, Denmark.
    [Show full text]
  • Some Aspects of Thinking of Jakub Kresa for Development of School Mathematics
    Ján GUNČAGA, Katholische Universität in Ružomberok, SK Some aspects of thinking of Jakub Kresa for development of school mathematics This article makes an excursion into the history of mathematics, which is used in school mathematics. We would like to describe some components of mathematical notions developed by Jakub Kresa (1648-1715). We would like to compare his work with another two big mathematicians Isaac Newton (1643 -1727) and René Descartes (1596-1650), because it is pos- sible to see some similarities in topics of their works. Isaac Newton wrote separately arithmetic and algebra in Arithmetica universalis, but in his work Philosophiae naturalis principia mathematica he used only geometry. René Descartes integrates the knowledge from algebra, arithmetic and ge- ometry in his work La Geometrie and in a similar way, Jakub Kresa descri- bed the mathematical theory in his work Analysis speciose trigonometriae sphaericae. 1. Introduction Jakub Kresa lived in the time in which arithmetic has geometrical represen- tations. René Descartes wrote in his book La Geometrie that “any problem in geometry can easily be reduced to such terms that a knowledge of the lengths of certain straight lines is sufficient for its construction. Just as arithmetic consisting of only four or five operations, namely, addition, sub- traction, multiplication, division and the extraction of roots.” Now let AB taken as unity (see Figure 1), and let be required to multiply BD by BC. Descartes argues that “I only have to join the points A and C, and draw DE parallel to CA, then BE is the product of BD and BC.
    [Show full text]
  • Isaac Newton on Mathematical Certainty and Method
    Isaac Newton on Mathematical Certainty and Method Niccol`oGuicciardini The MIT Press Cambridge, Massachusetts London, England c 2009 Massachusetts Institute of Technology All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and re- trieval) without permission in writing from the publisher. For information about special quantity discounts, please email special [email protected] This book was set in Computer Modern by Compomat s.r.l., Configni (RI), Italy. Printed and bound in the United States of America. Library of Congress Cataloging-in-Publication Data Guicciardini, Niccol`o. Isaac Newton on mathematical certainty and method / Niccol`o Guicciardini. p. cm. - (Transformations : studies in the history of science and technology) Includes bibliographical references and index. isbn 978-0-262-01317-8 (hardcover : alk. paper) 1. Newton, Isaac, Sir, 1642–1727—Knowledge-Mathematics. 2. Mathematical analy- sis. 3. Mathematics-History. I. Title. QA29.N4 G85 2009 510-dc22 2008053211 10987654321 Index Abbreviations, xxi Andersen, Kirsti, 9, 140 Abel, Niels H., 40–41 Apagogical proofs (in Barrow’s sense), 177 Accountants, 5, 351 Apollonius, xviii, 15, 56, 63, 80, 81, 91, 105, Acerbi, Fabio, xviii, 83, 86, 88, 102 118, 145, 253, 342, 385 Adams, John C., 248, 307, 340, 348 Archimedes, xiii, 65–66, 145, 342 Affected equations, 136, 154, 156, 158, 162, Aristaeus, 81 166, 167, 179, 193, 194, 212, 231, Aristotelian conception of pure and mixed 345, 355, 356, 376 mathematics, 146, 172 Alchemy, 3, 238, 313, 342 Aristotelian inertia, 235 Algebra speciosa, 339 Aristotelian logic, 23 Algebraic curves, 6, 15, 42, 104, 157, 188 Aristotelian substantial forms and occult Algebraic equations qualities, 297 Newton’s method of resolution, 158–164, Aristotelian textbook tradition, 323 179, 355 Aristotle (pseudo) Problemata Mechanica, to be neglected, 256, 266, 289, 311, 344 4 used in common analysis, 5 Arithmetica speciosa, 298 used in the Principia, 259 Arthur, Richard T.
    [Show full text]
  • Transreal Newtonian Physics Operates at Singularities A
    Synesis, v. 7, n. 2, p. 57-81, jul/dez. 2015, ISSN 1984-6754 © Universidade Católica de Petrópolis, Petrópolis, Rio de Janeiro, Brasil TRANSREAL NEWTONIAN PHYSICS OPERATES AT SINGULARITIES A FÍSICA NEWTONIANA TRANSREAL OPERA EM SINGULARIDADES* JAMES A.D.W. ANDERSON SCHOOL OF SYSTEMS ENGINEERING AT READING UNIVERSITY, ENGLAND TIAGO SOARES DOS REIS INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO DE JANEIRO, BRASIL Abstract: Sir Isaac Newton, writing in Latin, defined his celebrated laws of motion verbally. When the laws of motion are read as relating to his arithmetic (the Arithmetica Universalis) and his calculus (the method of fluxions), division by zero is undefined so his physics fails at mathematical singularities. The situation is unchanged in modern real arithmetic and real calculus: division by zero is undefined so both Newtonian Physics and its modern developments fail at mathematical singularities. However, when Newton’s text is read as relating to transreal arithmetic and transreal calculus, division by zero is defined and we show that the resulting Transreal Newtonian Physics does operate at mathematical singularities. We hold out the hope that the whole of modern physics may be similarly extended. We use the new physics to predict a convection current at the singularity in a black hole and suggest experiments in astronomy and high energy physics that might confirm or rebut our predictions. Thus our exegesis of Newton’s text extends mathematical physics and may, in future, extend experimental physics. Keywords: Transreal numbers; Non-finite force; Newton’s laws of motion. Resumo: Sir Isaac Newton, escrevendo em latim, definiu verbalmente suas célebres leis do movimento.
    [Show full text]
  • The Birth of Calculus: Towards a More Leibnizian View
    The Birth of Calculus: Towards a More Leibnizian View Nicholas Kollerstrom [email protected] We re-evaluate the great Leibniz-Newton calculus debate, exactly three hundred years after it culminated, in 1712. We reflect upon the concept of invention, and to what extent there were indeed two independent inventors of this new mathematical method. We are to a considerable extent agreeing with the mathematics historians Tom Whiteside in the 20th century and Augustus de Morgan in the 19th. By way of introduction we recall two apposite quotations: “After two and a half centuries the Newton-Leibniz disputes continue to inflame the passions. Only the very learned (or the very foolish) dare to enter this great killing- ground of the history of ideas” from Stephen Shapin1 and “When de l’Hôpital, in 1696, published at Paris a treatise so systematic, and so much resembling one of modern times, that it might be used even now, he could find nothing English to quote, except a slight treatise of Craig on quadratures, published in 1693” from Augustus de Morgan 2. Introduction The birth of calculus was experienced as a gradual transition from geometrical to algebraic modes of reasoning, sealing the victory of algebra over geometry around the dawn of the 18 th century. ‘Quadrature’ or the integral calculus had developed first: Kepler had computed how much wine was laid down in his wine-cellar by determining the volume of a wine-barrel, in 1615, 1 which marks a kind of beginning for that calculus. The newly-developing realm of infinitesimal problems was pursued simultaneously in France, Italy and England.
    [Show full text]
  • Newton's Early Unpublished Work in Mechanics I
    THE NEWTONIAN REVOLUTION – Part One Philosophy 167: Science Before Newton’s Principia Class 12 Newton’s Early Unpublished Work in Mechanics November 25, 2014 I. Background: Newton in the 1660s and 1670s ..................................................................................... 1 A. Huygens and the Science of Mechanics ……………...……………..................................... 1 B. Issue: What Difference Did Newton Make? ……….............................................................. 3 C. Newton: A Biographical Sketch (to 1679) ……..................................................................... 4 D. Newton's Work in Mathematics: 1664-1680 ………………………..................................... 6 E. Newton's Work in Optics: 1665-1680 ………………............................................................. 7 F. Newton's Intellectual Style, versus Huygens's ……............................................................... 8 II. Newton's Laws of Motion (vs. Descartes, Huygens) .......................................................................... 10 A. Newton's Conceptualization of the Problem …………………............................................. 10 B. The Principles Governing Angular Motion ………..………………………..……………... 11 C. The General Laws of Reflection on Impact …….….……...….………..………………….. 12 D. Newton's Results Contrasted with Huygens's ……….…….................................................. 13 E. Newton’s Reservations about the Potential for Evidence .................................................... 14 III. Newton on Circular Motion (vs.
    [Show full text]
  • Newton Raphson Method
    Newton Raphson Method Objective: 1. Derive the Newton-Raphson method formula, 2. Develop the algorithm of the Newton-Raphson method, 3. Use the Newton-Raphson method to solve a nonlinear equation (in Power System) Definition: Newton's method (also known as the Newton–Raphson method), named after Isaac Newton and Joseph Raphson, is a method for finding successively better approximations to the roots (or zeroes) of a real-valued function. History: Raphson's most notable work is Analysis Aequationum Universalis, which was published in 1690. It contains a method, now known as the Newton–Raphson method, for approximating the roots of an equation. Isaac Newton had developed a very similar formula in his Method of Fluxions, written in 1671, but this work would not be published until 1736, nearly 50 years after Raphson's Analysis. However, Raphson's version of the method is simpler than Newton's, and is therefore generally considered superior. For this reason, it is Raphson's version of the method, rather than Newton's, that is to be found in textbooks today. Raphson also translated Newton's Arithmetica Universalis into English. Newton’s Method: Faster, requires one initial guess Convergent not always guaranteed, Divergence at inflection points, Division by zero, Oscillations near local maximum and minimum, Intuition behind Newton Raphson Method: The Newton-Raphson method is based on the principle that if the initial guess of the root of ( ) = 0 is at , then if one draws the tangent to the curve at ( ), the point where the tangent crosses the x -axis is an improved estimate of the root.
    [Show full text]
  • Mathematics (Class QA)
    LIBRARY OF CONGRESS COLLECTIONS POLICY STATEMENTS Mathematics (Class QA) Contents I. Scope II. Research Strengths III. Collecting Policy IV. Best editions and preferred formats V. Acquisition Sources VI. Collection Levels I. Scope The overall context for this policy is the Library’s position as the de facto national library of the United States. This Collections Policy Statement covers the subclass QA (Mathematics), with exception of major subset, QA75-QA76 (Computer Science), which is addressed in a separate Collections Policy Statement. Since the Library of Congress does not support a specific mathematical study or program, the collection includes a broad overview of titles that reflect the interests of both theoretical and applied mathematicians. Examples of mathematical studies covered under subclass QA are the following: analytical mechanics, elementary mathematics, geometry, mathematical logic, mathematical statistics, probabilities, numerical analysis, and number theory. Also represented are subjects on mathematical education, studying & teaching mathematics, history of mathematics, mathematical biographies, and bibliographies of mathematics (Z6651-Z6655). Works across multiple formats are collected, including print materials, electronic resources, audio-visual, and microform. Applied mathematical subjects that relate to Astronomy (QB), Business (HF/ HG), Engineering (T), Life Sciences (QH), and Physics (QC) are not addressed in this statement. II. Research Strengths A. General The Library’s mathematics collections include and are influenced by Thomas Jefferson’s personal library, which he sold to Congress after the British burned the Capitol and congressional library in 1814. Jefferson was an avid student of mathematics and had an enormous impact on the promotion of the study of mathematics at West Point and the University of Virginia.
    [Show full text]
  • Joseph Raphson Biography
    Text Book Notes HISTORY Major Joseph Raphson ALL Topic Historical Anecdotes Sub Topic Text Book Notes – Raphson Summary A brief history on Raphson Authors Jai Paul Date August 27, 2002 Web Site http://numericalmethods.eng.usf.edu The life of Joseph Raphson (1648-1715) is one that is shrouded in mystery and rather difficult to follow. In fact, no obituary of Raphson appears to have been written and the details of his life and accomplishments can only be found in records, such as those kept at the University of Cambridge and the Royal Society. Born in Middlesex, England in 1648, it is known from such records that Joseph Raphson went to Jesus College Cambridge and graduated with a Master of Arts in 1692. As a rather older student (43 years old), Raphson was surprisingly made a member of the Royal Society in 1691, a year before his graduation. This honor was a direct result of his book published in 1690, entitled, Analysis aequationum universalis. This book focused primarily on the Newton method for approximating roots of an equation, hence the Newton-Raphson Method. Newton's Method of Fluxions described the same method and examples for approximating the roots of equations, however it was written in 1671, and not published until 1736, so Joseph Raphson published this material and its method 50 years before Newton! Although Raphson's relationship to Newton is not quite understood, it is known that Raphson was allowed, by Newton himself, to view and periodically study Newton's mathematical papers. Such a practice was not common. In fact, Raphson and Edmund Halley were involved with Newton on the publication of Newton's work from the early 1670's on quadrature curves, fluxions, and the a kind of mathematics that is now known as calculus, but they were unable to do so until 1704.
    [Show full text]
  • This Copy of the Thesis Has Been Supplied on Condition That Anyone
    University of Plymouth PEARL https://pearl.plymouth.ac.uk 04 University of Plymouth Research Theses 01 Research Theses Main Collection 2015 The Geometrical Thought of Isaac Newton: An Examination of the Meaning of Geometry between the 16th and 18th Centuries Bloye, Nicole Victoria http://hdl.handle.net/10026.1/3273 Plymouth University All content in PEARL is protected by copyright law. Author manuscripts are made available in accordance with publisher policies. Please cite only the published version using the details provided on the item record or document. In the absence of an open licence (e.g. Creative Commons), permissions for further reuse of content should be sought from the publisher or author. This copy of the thesis has been supplied on condition that anyone who consults it is understood to recognise that its copyright rests with its author and that no quotation from the thesis and no information derived from it may be published without the author’s prior consent. The Geometrical Thought of Isaac Newton An Examination of the Meaning of Geometry between the 16th and 18th Centuries by Nicole Victoria Bloye A thesis submitted to Plymouth University in partial fulfilment of the requirements for the degree of DOCTOR OF PHILOSOPHY School of Computing and Mathematics Faculty of Science and Environment Plymouth University December 2014 Abstract Our thesis explores aspects of the geometrical work and thought of Isaac Newton in order to better understand and re-evaluate his approach to geometry, and specifically his synthetic methods and the organic description of plane curves. In pursuing this research we study Newton’s geometrical work in the context of the changing view of geometry between the late 16th and early 18th centuries, a period defined by the responses of the early modern geometers to a new Latin edition of Pappus’ Collectio.
    [Show full text]
  • Some Relationships Between the Calculus of Newton, Bombelli's
    Some relationships between the calculus of Newton, Bombelli’s Algebra and Leibniz. Nicla Palladino* Abstract: In this paper we develop some relationships between the approximation method Rafael Bombelli used to find the square root of an integer number in his Algebra (1572), Leibniz’s “hidden calculus” in infinitesimal algorithms (Nova Methodus, 1684) and Newton’s procedures of extraction more arithmetico of the root of a binomial: these procedures lead to the series development of a binomial root that Newton used in integral calculus (ca. 1666). Riassunto: Nell’articolo, vengono confrontati alcuni procedimenti di approssimazione, dovuti a Rafael Bombelli per calcolare la radice quadrata di un numero (Algebra, 1572) con il “calcolo nascosto” degli algoritmi infinitesimali di Leibniz (Nova Methodus, 1684) e, ancora, con procedure per l’estrazione della radice di un binomio concepite da Newton: queste ultime conducono agli sviluppi in serie di binomi che Newton adoperò per il calcolo integrale. 1. THE SQUARE ROOT AND METHODS OF APPROXIMATION. It is possible to find direct and recursive methods for calculating square roots of integer numbers since the second century. Bombelli, in his Algebra, and Newton, in Arithmetica Universalis, exposed Claudius Ptolemy’s method that has been used for calculating both exact and non- exact square roots. Newton proposed a graphic scheme (“a danda lunga”, which means all passages included) for calculating the square root following Ptolemy’s method1. The extraction of the square root of 22178791 is one of the two examples given by Newton [Newton 1707, pp. 32-33]: *I Trav. Ianniello, 7. Frattamaggiore (NA). E-mail: [email protected] 1 Ptolemy’s method is nearly equal to methods that we can read nowadays in arithmetic manuals for the first level middle school.
    [Show full text]