1. Mathematics
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Russell's 1903 – 1905 Anticipation of the Lambda Calculus
HISTORY AND PHILOSOPHY OF LOGIC, 24 (2003), 15–37 Russell’s 1903 – 1905 Anticipation of the Lambda Calculus KEVIN C. KLEMENT Philosophy Dept, Univ. of Massachusetts, 352 Bartlett Hall, 130 Hicks Way, Amherst, MA 01003, USA Received 22 July 2002 It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church’s ‘Lambda Calculus’ for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903 and 1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the Lambda Calculus. Russell also anticipated Scho¨ nfinkel’s Combinatory Logic approach of treating multi- argument functions as functions having other functions as value. Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and ‘value-ranges’. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Rus- sell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the Lambda Calculus. 1. Introduction The Lambda Calculus, as we know it today, was initially developed by Alonzo Church in the late 1920s and 1930s (see, e.g. Church 1932, 1940, 1941, Church and Rosser 1936), although it built heavily on work done by others, perhaps most notably, the early works on Combinatory Logic by Moses Scho¨ nfinkel (see, e.g. his 1924) and Haskell Curry (see, e.g. -
Positional Notation Or Trigonometry [2, 13]
The Greatest Mathematical Discovery? David H. Bailey∗ Jonathan M. Borweiny April 24, 2011 1 Introduction Question: What mathematical discovery more than 1500 years ago: • Is one of the greatest, if not the greatest, single discovery in the field of mathematics? • Involved three subtle ideas that eluded the greatest minds of antiquity, even geniuses such as Archimedes? • Was fiercely resisted in Europe for hundreds of years after its discovery? • Even today, in historical treatments of mathematics, is often dismissed with scant mention, or else is ascribed to the wrong source? Answer: Our modern system of positional decimal notation with zero, to- gether with the basic arithmetic computational schemes, which were discov- ered in India prior to 500 CE. ∗Bailey: Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA. Email: [email protected]. This work was supported by the Director, Office of Computational and Technology Research, Division of Mathematical, Information, and Computational Sciences of the U.S. Department of Energy, under contract number DE-AC02-05CH11231. yCentre for Computer Assisted Research Mathematics and its Applications (CARMA), University of Newcastle, Callaghan, NSW 2308, Australia. Email: [email protected]. 1 2 Why? As the 19th century mathematician Pierre-Simon Laplace explained: It is India that gave us the ingenious method of expressing all numbers by means of ten symbols, each symbol receiving a value of position as well as an absolute value; a profound and important idea which appears so simple to us now that we ignore its true merit. But its very sim- plicity and the great ease which it has lent to all computations put our arithmetic in the first rank of useful inventions; and we shall appre- ciate the grandeur of this achievement the more when we remember that it escaped the genius of Archimedes and Apollonius, two of the greatest men produced by antiquity. -
Zero Displacement Ternary Number System: the Most Economical Way of Representing Numbers
Revista de Ciências da Computação, Volume III, Ano III, 2008, nº3 Zero Displacement Ternary Number System: the most economical way of representing numbers Fernando Guilherme Silvano Lobo Pimentel , Bank of Portugal, Email: [email protected] Abstract This paper concerns the efficiency of number systems. Following the identification of the most economical conventional integer number system, from a solid criteria, an improvement to such system’s representation economy is proposed which combines the representation efficiency of positional number systems without 0 with the possibility of representing the number 0. A modification to base 3 without 0 makes it possible to obtain a new number system which, according to the identified optimization criteria, becomes the most economic among all integer ones. Key Words: Positional Number Systems, Efficiency, Zero Resumo Este artigo aborda a questão da eficiência de sistemas de números. Partindo da identificação da mais económica base inteira de números de acordo com um critério preestabelecido, propõe-se um melhoramento à economia de representação nessa mesma base através da combinação da eficiência de representação de sistemas de números posicionais sem o zero com a possibilidade de representar o número zero. Uma modificação à base 3 sem zero permite a obtenção de um novo sistema de números que, de acordo com o critério de optimização identificado, é o sistema de representação mais económico entre os sistemas de números inteiros. Palavras-Chave: Sistemas de Números Posicionais, Eficiência, Zero 1 Introduction Counting systems are an indispensable tool in Computing Science. For reasons that are both technological and user friendliness, the performance of information processing depends heavily on the adopted numbering system. -
Duodecimal Bulletin Vol
The Duodecimal Bulletin Bulletin Duodecimal The Vol. 4a; № 2; Year 11B6; Exercise 1. Fill in the missing numerals. You may change the others on a separate sheet of paper. 1 1 1 1 2 2 2 2 ■ Volume Volume nada 3 zero. one. two. three.trio 3 1 1 4 a ; (58.) 1 1 2 3 2 2 ■ Number Number 2 sevenito four. five. six. seven. 2 ; 1 ■ Whole Number Number Whole 2 2 1 2 3 99 3 ; (117.) eight. nine. ________.damas caballeros________. All About Our New Numbers 99;Whole Number ISSN 0046-0826 Whole Number nine dozen nine (117.) ◆ Volume four dozen ten (58.) ◆ № 2 The Dozenal Society of America is a voluntary nonprofit educational corporation, organized for the conduct of research and education of the public in the use of base twelve in calculations, mathematics, weights and measures, and other branches of pure and applied science Basic Membership dues are $18 (USD), Supporting Mem- bership dues are $36 (USD) for one calendar year. ••Contents•• Student membership is $3 (USD) per year. The page numbers appear in the format Volume·Number·Page TheDuodecimal Bulletin is an official publication of President’s Message 4a·2·03 The DOZENAL Society of America, Inc. An Error in Arithmetic · Jean Kelly 4a·2·04 5106 Hampton Avenue, Suite 205 Saint Louis, mo 63109-3115 The Opposed Principles · Reprint · Ralph Beard 4a·2·05 Officers Eugene Maxwell “Skip” Scifres · dsa № 11; 4a·2·08 Board Chair Jay Schiffman Presenting Symbology · An Editorial 4a·2·09 President Michael De Vlieger Problem Corner · Prof. -
The What and Why of Whole Number Arithmetic: Foundational Ideas from History, Language and Societal Changes
Portland State University PDXScholar Mathematics and Statistics Faculty Fariborz Maseeh Department of Mathematics Publications and Presentations and Statistics 3-2018 The What and Why of Whole Number Arithmetic: Foundational Ideas from History, Language and Societal Changes Xu Hu Sun University of Macau Christine Chambris Université de Cergy-Pontoise Judy Sayers Stockholm University Man Keung Siu University of Hong Kong Jason Cooper Weizmann Institute of Science SeeFollow next this page and for additional additional works authors at: https:/ /pdxscholar.library.pdx.edu/mth_fac Part of the Science and Mathematics Education Commons Let us know how access to this document benefits ou.y Citation Details Sun X.H. et al. (2018) The What and Why of Whole Number Arithmetic: Foundational Ideas from History, Language and Societal Changes. In: Bartolini Bussi M., Sun X. (eds) Building the Foundation: Whole Numbers in the Primary Grades. New ICMI Study Series. Springer, Cham This Book Chapter is brought to you for free and open access. It has been accepted for inclusion in Mathematics and Statistics Faculty Publications and Presentations by an authorized administrator of PDXScholar. Please contact us if we can make this document more accessible: [email protected]. Authors Xu Hu Sun, Christine Chambris, Judy Sayers, Man Keung Siu, Jason Cooper, Jean-Luc Dorier, Sarah Inés González de Lora Sued, Eva Thanheiser, Nadia Azrou, Lynn McGarvey, Catherine Houdement, and Lisser Rye Ejersbo This book chapter is available at PDXScholar: https://pdxscholar.library.pdx.edu/mth_fac/253 Chapter 5 The What and Why of Whole Number Arithmetic: Foundational Ideas from History, Language and Societal Changes Xu Hua Sun , Christine Chambris Judy Sayers, Man Keung Siu, Jason Cooper , Jean-Luc Dorier , Sarah Inés González de Lora Sued , Eva Thanheiser , Nadia Azrou , Lynn McGarvey , Catherine Houdement , and Lisser Rye Ejersbo 5.1 Introduction Mathematics learning and teaching are deeply embedded in history, language and culture (e.g. -
The Chinese Rod Numeral Legacy and Its Impact on Mathematics* Lam Lay Yong Mathematics Department National University of Singapore
The Chinese Rod Numeral Legacy and its Impact on Mathematics* Lam Lay Yong Mathematics Department National University of Singapore First, let me explain the Chinese rod numeral system. Since the Warring States period {480 B.C. to 221 B.C.) to the 17th century A.D. the Chinese used a bundle of straight rods for computation. These rods, usually made from bamboo though they could be made from other materials such as bone, wood, iron, ivory and jade, were used to form the numerals 1 to 9 as follows: 1 2 3 4 5 6 7 8 9 II Ill Ill I IIIII T II Note that for numerals 6 to 9, a horizontal rod represents the quantity five. A numeral system which uses place values with ten as base requires only nine signs. Any numeral of such a system is formed from among these nine signs which are placed in specific place positions relative to each other. Our present numeral system, commonly known as the Hindu-Arabic numeral system, is based on this concept; the value of each numeral determines the choice of digits from the nine signs 1, 2, ... , 9 anq their place positions. The place positions are called units, tens, hundreds, thousands, and so on, and each is occupied by at most one digit. The Chinese rod system employs the same concept. However, since its nine signs are formed from rod tallies, if a number such as 34 were repre sented as Jll\IU , this would inevitably lead to ambiguity and confusion. To * Text of Presidential Address delivered at the Society's Annual General Meeting on 20 March 1987. -
Haskell Before Haskell. an Alternative Lesson in Practical Logics of the ENIAC.∗
Haskell before Haskell. An alternative lesson in practical logics of the ENIAC.∗ Liesbeth De Mol† Martin Carl´e‡ Maarten Bullynck§ January 21, 2011 Abstract This article expands on Curry’s work on how to implement the prob- lem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (1948-1950). It is shown that Curry’s hands-on experience with the ENIAC on the one side and his acquaintance with systems of formal logic on the other, were conduc- tive to conceive a compact “notation for program construction” which in turn would be instrumental to a mechanical synthesis of programs. Since Curry’s systematic programming technique pronounces a critique of the Goldstine-von Neumann style of coding, his “calculus of program com- position”not only anticipates automatic programming but also proposes explicit hardware optimisations largely unperceived by computer history until Backus famous ACM Turing Award lecture (1977). This article frames Haskell B. Curry’s development of a general approach to programming. Curry’s work grew out of his experience with the ENIAC in 1946, took shape by his background as a logician and finally materialised into two lengthy reports (1948 and 1949) that describe what Curry called the ‘composition of programs’. Following up to the concise exposition of Curry’s approach that we gave in [28], we now elaborate on technical details, such as diagrams, tables and compiler-like procedures described in Curry’s reports. We also give a more in-depth discussion of the transition from Curry’s concrete, ‘hands-on’ experience with the ENIAC to a general theory of combining pro- grams in contrast to the Goldstine-von Neumann method of tackling the “coding and planning of problems” [18] for computers with the help of ‘flow-charts’. -
Inventing Your Own Number System
Inventing Your Own Number System Through the ages people have invented many different ways to name, write, and compute with numbers. Our current number system is based on place values corresponding to powers of ten. In principle, place values could correspond to any sequence of numbers. For example, the places could have values corre- sponding to the sequence of square numbers, triangular numbers, multiples of six, Fibonacci numbers, prime numbers, or factorials. The Roman numeral system does not use place values, but the position of numerals does matter when determining the number represented. Tally marks are a simple system, but representing large numbers requires many strokes. In our number system, symbols for digits and the positions they are located combine to represent the value of the number. It is possible to create a system where symbols stand for operations rather than values. For example, the system might always start at a default number and use symbols to stand for operations such as doubling, adding one, taking the reciprocal, dividing by ten, squaring, negating, or any other specific operations. Create your own number system. What symbols will you use for your numbers? How will your system work? Demonstrate how your system could be used to perform some of the following functions. • Count from 0 up to 100 • Compare the sizes of numbers • Add and subtract whole numbers • Multiply and divide whole numbers • Represent fractional values • Represent irrational numbers (such as π) What are some of the advantages of your system compared with other systems? What are some of the disadvantages? If you met aliens that had developed their own number system, how might their mathematics be similar to ours and how might it be different? Make a list of some math facts and procedures that you have learned. -
Datatype Defining Rewrite Systems for Naturals and Integers
UvA-DARE (Digital Academic Repository) Datatype defining rewrite systems for naturals and integers Bergstra, J.A.; Ponse, A. DOI 10.23638/LMCS-17(1:17)2021 Publication date 2021 Document Version Final published version Published in Logical Methods in Computer Science License CC BY Link to publication Citation for published version (APA): Bergstra, J. A., & Ponse, A. (2021). Datatype defining rewrite systems for naturals and integers. Logical Methods in Computer Science, 17(1), [17]. https://doi.org/10.23638/LMCS- 17(1:17)2021 General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl) Download date:30 Sep 2021 Logical Methods in Computer Science Volume 17, Issue 1, 2021, pp. 17:1–17:31 Submitted Jan. 15, 2020 https://lmcs.episciences.org/ Published Feb. -
Experimental Methods and Instrumentation for Chemical Engineers Experimental Methods and Instrumentation for Chemical Engineers
Experimental Methods and Instrumentation for Chemical Engineers Experimental Methods and Instrumentation for Chemical Engineers Gregory S. Patience AMSTERDAM • BOSTON • HEIDELBERG • LONDON NEW YORK • OXFORD • PARIS • SAN DIEGO SAN FRANCISCO • SINGAPORE • SYDNEY • TOKYO Elsevier 225 Wyman Street, Waltham, MA 02451, USA The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, UK Radarweg 29, PO Box 211, 1000 AE Amsterdam, The Netherlands First edition 2013 Copyright © 2013 Elsevier B.V. All rights reserved. No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording, or any information storage and retrieval system, without permission in writing from the publisher. Details on how to seek permission, further information about the Publisher’s permissions policies and our arrangements with organizations such as the Copyright Clearance Center and the Copyright Licensing Agency, can be found at our website: www.elsevier.com/permissions. This book and the individual contributions contained in it are protected under copyright by the Publisher (other than as may be noted herein). Notices Knowledge and best practice in this field are constantly changing. As new research and experience broaden our understanding, changes in research methods, professional practices, or medical treatment may become necessary. Practitioners and researchers must always rely on their own experience and knowledge in evaluating and using any information, methods, compounds, or experiments -
Numeration Systems Reminder : If a and M Are Whole Numbers Then Exponential Expression Amor a to the Mth Power Is M = ⋅⋅⋅⋅⋅ Defined by A Aaa
MA 118 – Section 3.1: Numeration Systems Reminder : If a and m are whole numbers then exponential expression amor a to the mth power is m = ⋅⋅⋅⋅⋅ defined by a aaa... aa . m times Number a is the base ; m is the exponent or power . Example : 53 = Definition: A number is an abstract idea that indicates “how many”. A numeral is a symbol used to represent a number. A System of Numeration consists of a set of basic numerals and rules for combining them to represent numbers. 1 Section 3.1: Numeration Systems The timeline indicates recorded writing about 10,000 years ago between 4,000–3,000 B.C. The Ishango Bone provides the first evidence of human counting, dated 20,000 years ago. I. Tally Numeration System Example: Write the first 12 counting numbers with tally marks. In a tally system, there is a one-to-one correspondence between marks and items being counted. What are the advantages and drawbacks of a Tally Numeration System? 2 Section 3.1: Numeration Systems (continued) II. Egyptian Numeration System Staff Yoke Scroll Lotus Pointing Fish Amazed (Heel Blossom Finger (Polywog) (Astonished) Bone) Person Example : Page 159 1 b, 2b Example : Write 3248 as an Egyptian numeral. What are the advantages and drawbacks of the Egyptian System? 3 Section 3.1: Numeration Systems (continued) III. Roman Numeral System Roman Numerals I V X L C D M Indo-Arabic 1 5 10 50 100 500 1000 If a symbol for a lesser number is written to the left of a symbol for a greater number, then the lesser number is subtracted. -
Tally Sticks, Counting Boards, and Sumerian Proto-Writing John Alan Halloran
Early Numeration - John Alan Halloran - August 10, 2009 - Page 1 Early Numeration - Tally Sticks, Counting Boards, and Sumerian Proto-Writing John Alan Halloran http://www.sumerian.org/ Work on the published version of my Sumerian Lexicon (Logogram Publishing: 2006) has revealed that: 1) the early Sumerians used wooden tally sticks for counting; 2) tally marks led to proto-writing; 3) the Sumerian pictograms for goats and sheep probably derive from tally stick notch conventions; 4) the Uruk period civilization used counting boards; 5) the authors of the proto-cuneiform tablets drew with animal claws or bird talons; 6) the historical Sumerians used clay split tallies as credit instruments; and 7) the Sumerians may sometimes have counted by placing knots or stones on a string. 1. Counting with Wooden Tally Sticks 1.1. The following text caught my attention. It is from The Debate between Sheep and Grain, ETCSL 5.3.2, lines 130-133: "Every night your count is made and your tally-stick put into the ground, so your herdsman can tell people how many ewes there are and how many young lambs, and how many goats and how many young kids." The Sumerian reads: 130 ud šu2-uš-e niñ2-kas7-zu ba-ni-ak-e ñiš 131 ŠID-ma-zu ki i3-tag-tag-ge - the Unicode version has ñiš-šudum- ma-zu 132 na-gada-zu u8 me-a sila4 tur-tur me-a 133 ud5 me-a maš2 tur-tur me-a lu2 mu-un-na-ab-be2 š is read |sh| and ñ is read |ng|.