Development of the Binary Number System and the Foundations of Computer Science
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
"Computers" Abacus—The First Calculator
Component 4: Introduction to Information and Computer Science Unit 1: Basic Computing Concepts, Including History Lecture 4 BMI540/640 Week 1 This material was developed by Oregon Health & Science University, funded by the Department of Health and Human Services, Office of the National Coordinator for Health Information Technology under Award Number IU24OC000015. The First "Computers" • The word "computer" was first recorded in 1613 • Referred to a person who performed calculations • Evidence of counting is traced to at least 35,000 BC Ishango Bone Tally Stick: Science Museum of Brussels Component 4/Unit 1-4 Health IT Workforce Curriculum 2 Version 2.0/Spring 2011 Abacus—The First Calculator • Invented by Babylonians in 2400 BC — many subsequent versions • Used for counting before there were written numbers • Still used today The Chinese Lee Abacus http://www.ee.ryerson.ca/~elf/abacus/ Component 4/Unit 1-4 Health IT Workforce Curriculum 3 Version 2.0/Spring 2011 1 Slide Rules John Napier William Oughtred • By the Middle Ages, number systems were developed • John Napier discovered/developed logarithms at the turn of the 17 th century • William Oughtred used logarithms to invent the slide rude in 1621 in England • Used for multiplication, division, logarithms, roots, trigonometric functions • Used until early 70s when electronic calculators became available Component 4/Unit 1-4 Health IT Workforce Curriculum 4 Version 2.0/Spring 2011 Mechanical Computers • Use mechanical parts to automate calculations • Limited operations • First one was the ancient Antikythera computer from 150 BC Used gears to calculate position of sun and moon Fragment of Antikythera mechanism Component 4/Unit 1-4 Health IT Workforce Curriculum 5 Version 2.0/Spring 2011 Leonardo da Vinci 1452-1519, Italy Leonardo da Vinci • Two notebooks discovered in 1967 showed drawings for a mechanical calculator • A replica was built soon after Leonardo da Vinci's notes and the replica The Controversial Replica of Leonardo da Vinci's Adding Machine . -
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. -
Maths Week 2021
Maths Week 2021 Survivor Series/Kia Mōrehurehu Monday Level 5 Questions What to do for students 1 You can work with one or two others. Teams can be different each day. 2 Do the tasks and write any working you did, along with your answers, in the spaces provided (or where your teacher says). 3 Your teacher will tell you how you can get the answers to the questions and/or have your work checked. 4 When you have finished each day, your teacher will give you a word or words from a proverb. 5 At the end of the week, put the words together in the right order and you will be able to find the complete proverb! Your teacher may ask you to explain what the proverb means. 6 Good luck. Task 1 – numbers in te reo Māori The following chart gives numbers in te reo Māori. Look at the chart carefully and note the patterns in the way the names are built up from 10 onwards. Work out what each of the numbers in the following calculations is, do each calculation, and write the answer in te reo Māori. Question Answer (a) whitu + toru (b) whā x wa (c) tekau mā waru – rua (d) ono tekau ma whā + rua tekau ma iwa (e) toru tekau ma rua + waru x tekau mā ono Task 2 - Roman numerals The picture shows the Roman Emperor, Julius Caesar, who was born in the year 100 BC. (a) How many years ago was 100 BC? You may have seen places where numbers have been written in Roman numerals. -
What Is Abstract Algebraic Logic?
What is Abstract Algebraic Logic? Umberto Rivieccio University of Genoa Department of Philosophy Via Balbi 4 - Genoa, Italy email [email protected] Abstract Our aim is to answer the question of the title, explaining which kind of problems form the nucleus of the branch of algebraic logic that has come to be known as Abstract Algebraic Logic. We give a concise account of the birth and evolution of the field, that led from the discovery of the connections between certain logical systems and certain algebraic structures to a general theory of algebraization of logics. We consider first the so-called algebraizable logics, which may be regarded as a paradigmatic case in Abstract Algebraic Logic; then we shift our attention to some wider classes of logics and to the more general framework in which they are studied. Finally, we review some other topics in Abstract Algebraic Logic that, though equally interesting and promising for future research, could not be treated here in detail. 1 Introduction Algebraic logic can be described in very general terms as the study of the relations between algebra and logic. One of the main reasons that motivate such a study is the possibility to treat logical problems with algebraic methods. This means that, in order to solve a logical problem, we may try to translate it into algebraic terms, find the solution using algebraic techniques, and then translate back the result into logic. This strategy proved to be fruitful, since algebra is an old and well{established field of mathematics, that offers powerful tools to treat problems that would possibly be much harder to solve using the logical machinery alone. -
Leibniz' De Arte Combinatoria
Leibniz’ De arte combinatoria John N. Martin Department of Philosophy University of Cincinnati Cincinnati, OH 45221 [email protected] John N. Martin, 2003 Page 1 Leibniz’ De arte combinatoria I. INTRODUCTION Logicians, philosophers and to judge from the Internet even the general public are vaguely aware that Leibniz held views about logic that anticipate modern ideas of proof system and algorithm. Though there are many places in Leibniz’ works that might be cited as evidence for such claims, popular works cite virtually only two of Leibniz’ shorter papers, Characteristica universalis and De arte combinatoria. Curiously, though there are hundreds, maybe thousands, of references to these papers, nothing serious has been written in recent decades about the papers themselves that could be called a professional exegesis or discussion of their logical content. The purpose of this short paper is to remedy that lack by offering a “reconstruction” of the system Leibniz sketches in De arte combinatoria, which of the two essays is the one more focused on the notions of proof and algorithm. A point of caution about method should be made at the outset. Any modern “reconstruction” of views in the history of logic is by its nature a compromise. It is an attempt to preserve as much of the original content, including its terminology and formulas, as is possible while simultaneously meeting the standards of modern metatheory. For example, if it is possible to do justice to the original by observing standard formats, then they should be Page 2 followed. For example, if it is fair to the text, it is desirable to define the syntax inductively, state definitions set theoretically, develop notions of proof within an axiom or natural deduction system, and define semantic ideas in a recursive manner parallel to syntax. -
George Boole?
iCompute For more fun computing lessons and resources visit: Who was George Boole? 8 He was an English mathematician 8 He believed that human thought could be George Boole written down as ‘rules’ 8 His ideas led to boolean logic which is Biography for children used by computers today The story of important figures in the history of computing George Boole (1815 – 1864) © iCompute 2015 www.icompute -uk.com iCompute Why is George Boole important? 8 He invented a set of rules for thinking that are used by computers today 8 The rules were that some statements can only ever be ‘true’ or ‘false’ 8 His idea was first used in computers as switches either being ‘on’ or ‘off’ 8 Today this logic is used in almost every device and almost every line of computer code His early years nd 8 Born 2 November 1815 8 His father was a struggling shoemaker 8 George had had very little education and taught himself maths, French, German and Latin © iCompute 2015 www.icompute -uk.com iCompute 8 He also taught himself Greek and published a translation of a Greek poem in 1828 at the age of 14! 8 Aged 16, the family business collapsed and George began working as a teacher to support the family 8 At 19 he started his own school 8 In 1840 he began having his books about mathematics published 8 In 1844, he was given the first gold medal for Mathematics by the Royal Society 8 Despite never having been to University himself, in 1849 he became professor of Mathematics at Queens College Cork in Ireland 8 He married Mary Everett in 1855 8 They had four daughters between 1956-1864 -
Bit, Byte, and Binary
Bit, Byte, and Binary Number of Number of values 2 raised to the power Number of bytes Unit bits 1 2 1 Bit 0 / 1 2 4 2 3 8 3 4 16 4 Nibble Hexadecimal unit 5 32 5 6 64 6 7 128 7 8 256 8 1 Byte One character 9 512 9 10 1024 10 16 65,536 16 2 Number of bytes 2 raised to the power Unit 1 Byte One character 1024 10 KiloByte (Kb) Small text 1,048,576 20 MegaByte (Mb) A book 1,073,741,824 30 GigaByte (Gb) An large encyclopedia 1,099,511,627,776 40 TeraByte bit: Short for binary digit, the smallest unit of information on a machine. John Tukey, a leading statistician and adviser to five presidents first used the term in 1946. A single bit can hold only one of two values: 0 or 1. More meaningful information is obtained by combining consecutive bits into larger units. For example, a byte is composed of 8 consecutive bits. Computers are sometimes classified by the number of bits they can process at one time or by the number of bits they use to represent addresses. These two values are not always the same, which leads to confusion. For example, classifying a computer as a 32-bit machine might mean that its data registers are 32 bits wide or that it uses 32 bits to identify each address in memory. Whereas larger registers make a computer faster, using more bits for addresses enables a machine to support larger programs. -
Explanations
© Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. CHAPTER 1 Explanations 1.1 SALLIES Language is an instrument of Logic, but not an indispensable instrument. Boole 1847a, 118 We know that mathematicians care no more for logic than logicians for mathematics. The two eyes of exact science are mathematics and logic; the mathematical sect puts out the logical eye, the logical sect puts out the mathematical eye; each believing that it sees better with one eye than with two. De Morgan 1868a,71 That which is provable, ought not to be believed in science without proof. Dedekind 1888a, preface If I compare arithmetic with a tree that unfolds upwards in a multitude of techniques and theorems whilst the root drives into the depthswx . Frege 1893a, xiii Arithmetic must be discovered in just the same sense in which Columbus discovered the West Indies, and we no more create numbers than he created the Indians. Russell 1903a, 451 1.2 SCOPE AND LIMITS OF THE BOOK 1.2.1 An outline history. The story told here from §3 onwards is re- garded as well known. It begins with the emergence of set theory in the 1870s under the inspiration of Georg Cantor, and the contemporary development of mathematical logic by Gottlob Frege andŽ. especially Giuseppe Peano. A cumulation of these and some related movements was achieved in the 1900s with the philosophy of mathematics proposed by Alfred North Whitehead and Bertrand Russell. -
Binary Numbers
Binary Numbers X. Zhang Fordham Univ. 1 Numeral System ! A way for expressing numbers, using symbols in a consistent manner. ! ! "11" can be interpreted differently:! ! in the binary symbol: three! ! in the decimal symbol: eleven! ! “LXXX” represents 80 in Roman numeral system! ! For every number, there is a unique representation (or at least a standard one) in the numeral system 2 Modern numeral system ! Positional base 10 numeral systems ! ◦ Mostly originated from India (Hindu-Arabic numeral system or Arabic numerals)! ! Positional number system (or place value system)! ◦ use same symbol for different orders of magnitude! ! For example, “1262” in base 10! ◦ the “2” in the rightmost is in “one’s place” representing “2 ones”! ◦ The “2” in the third position from right is in “hundred’s place”, representing “2 hundreds”! ◦ “one thousand 2 hundred and sixty two”! ◦ 1*103+2*102+6*101+2*100 3 Modern numeral system (2) ! In base 10 numeral system! ! there is 10 symbols: 0, 1, 2, 3, …, 9! ! Arithmetic operations for positional system is simple! ! Algorithm for multi-digit addition, subtraction, multiplication and division! ! This is a Chinese Abacus (there are many other types of Abacus in other civilizations) dated back to 200 BC 4 Other Positional Numeral System ! Base: number of digits (symbols) used in the system.! ◦ Base 2 (i.e., binary): only use 0 and 1! ◦ Base 8 (octal): only use 0,1,…7! ◦ Base 16 (hexadecimal): use 0,1,…9, A,B,C,D,E,F! ! Like in decimal system, ! ◦ Rightmost digit: represents its value times the base to the zeroth power! -
AUGUSTUS DE MORGAN and the LOGIC of RELATIONS the New Synthese Historical Library Texts and Studies in the History of Philosophy
AUGUSTUS DE MORGAN AND THE LOGIC OF RELATIONS The New Synthese Historical Library Texts and Studies in the History of Philosophy VOLUME 38 Series Editor: NORMAN KRETZMANN, Cornell University Associate Editors: DANIEL ELLIOT GARBER, University of Chicago SIMO KNUUTTILA, University of Helsinki RICHARD SORABJI, University of London Editorial Consultants: JAN A. AERTSEN, Free University, Amsterdam ROGER ARIEW, Virginia Polytechnic Institute E. JENNIFER ASHWORTH, University of Waterloo MICHAEL AYERS, Wadham College, Oxford GAIL FINE, Cornell University R. J. HANKINSON, University of Texas JAAKKO HINTIKKA, Boston University, Finnish Academy PAUL HOFFMAN, Massachusetts Institute of Technology DAVID KONSTAN, Brown University RICHARD H. KRAUT, University of Illinois, Chicago ALAIN DE LIBERA, Ecole Pratique des Hautes Etudes, Sorbonne DAVID FATE NORTON, McGill University LUCA OBERTELLO, Universita degli Studi di Genova ELEONORE STUMP, Virginia Polytechnic Institute ALLEN WOOD, Cornell University The titles published in this series are listed at the end of this volume. DANIEL D. MERRILL Department of Philosophy, Oberlin College, USA AUGUSTUS DE MORGAN AND THE LOGIC OF RELATIONS KLUWER ACADEMIC PUBLISHERS DORDRECHT I BOSTON I LONDON Library of Congress Cataloging. in·Publication Data Merrill, Daniel D. (Daniel Davy) Augustus De Morgan and the lOglC of relations / Daniel D. Merril. p. cm. -- <The New synthese historical library; 38) 1. De Morgan, Augustus, 1806-1871--Contributions in logic of relations. 2. Inference. 3. Syllogism. 4. Logic, Symbolic and mathematical--History--19th cenTury. I. Title. II. Series. BC185.M47 1990 160' .92--dc20 90-34935 ISBN·13: 978·94·010·7418·6 e-ISBN -13: 978-94-009-2047-7 DOl: 10.1007/978-94-009-2047-7 Published by Kluwer Academic Publishers, P.O. -
Vasiliev and the Foundations of Logic
Chapter 4 Vasiliev and the Foundations of Logic Otávio Bueno Abstract Nikolai Vasiliev offered a systematic approach to the development of a class of non-classical logics, which he called “Imaginary Logics”. In this paper, IexaminecriticallysomeofthecentralfeaturesofVasiliev’sapproachtological theory, suggesting its relevance to contemporary debates in the philosophy of logic. IarguethatthereismuchofsignificantvalueinVasiliev’swork,whichdeserves close philosophical engagement. Keywords Vasiliev • logical pluralism • Revisability • a priori • negation 4.1 Introduction: Six Central Features of Vasiliev’s Approach to Logical Theory Nikolai Vasiliev’s approach to logical theory has a number of features. Six of them, in particular, are worth highlighting: (a) logical pluralism (there is a plurality of logics, depending on the subject matter under consideration); (b) logical revisability (certain logical laws can be revised depending on the subject matter); (c) logical non-a priorism (certain logical laws are empirically based); (d) logical contingency (given the empirical nature of some logical laws, they are ultimately contingent; in this context, issues regarding the scope of logic are also examined, with the accompanying distinction between laws of objects and laws of thought); (e) the nature of negation (negation is characterized via incompatibility; it is not just difference, nor is it grounded on absence, and it is inferred rather than perceived); and (f) logical commitment (why Vasiliev is not a dialetheist, after all). In this paper, I will examine each of these features, and suggest the relevance of many of Vasiliev’s proposals to contemporary philosophical reflection about the foundations of logic. Although the terms I use to describe some of the views O. Bueno (!) Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA e-mail: [email protected] ©SpringerInternationalPublishingAG2017 43 V.