Mathematical Aspects of Artificial Intelligence

Total Page:16

File Type:pdf, Size:1020Kb

Mathematical Aspects of Artificial Intelligence http://dx.doi.org/10.1090/psapm/055 Selected Titles in This Series 55 Frederick Hoffman, Editor, Mathematical aspects of artificial intelligence (Orlando, Florida, January 1996) 54 Renato Spigler and Stephanos Venakides, Editors, Recent advances in partial differential equations (Venice, Italy, June 1996) 53 David A. Cox and Bernd Sturmfels, Editors, Applications of computational algebraic geometry (San Diego, California, January 1997) 52 V. Mandrekar and P. R. Masani, Editors, Proceedings of the Norbert Wiener Centenary Congress, 1994 (East Lansing, Michigan, 1994) 51 Louis H. Kauffman, Editor, The interface of knots and physics (San Francisco, California, January 1995) 50 Robert Calderbank, Editor, Different aspects of coding theory (San Francisco, California, January 1995) 49 Robert L. Devaney, Editor, Complex dynamical systems: The mathematics behind the Mandlebrot and Julia sets (Cincinnati, Ohio, January 1994) 48 Walter Gautschi, Editor, Mathematics of Computation 1943-1993: A half century of computational mathematics (Vancouver, British Columbia, August 1993) 47 Ingrid Daubechies, Editor, Different perspectives on wavelets (San Antonio, Texas, January 1993) 46 Stefan A. Burr, Editor, The unreasonable effectiveness of number theory (Orono, Maine, August 1991) 45 De Witt L. Sumners, Editor, New scientific applications of geometry and topology (Baltimore, Maryland, January 1992) 44 Bela Bollobas, Editor, Probabilistic combinatorics and its applications (San Francisco, California, January 1991) 43 Richard K. Guy, Editor, Combinatorial games (Columbus, Ohio, August 1990) 42 C. Pomerance, Editor, Cryptology and computational number theory (Boulder, Colorado, August 1989) 41 R. W. Brockett, Editor, Robotics (Louisville, Kentucky, January 1990) 40 Charles R. Johnson, Editor, Matrix theory and applications (Phoenix, Arizona, January 1989) 39 Robert L. Devaney and Linda Keen, Editors, Chaos and fractals: The mathematics behind the computer graphics (Providence, Rhode Island, August 1988) 38 Juris Hartmanis, Editor, Computational complexity theory (Atlanta, Georgia, January 1988) 37 Henry J. Landau, Editor, Moments in mathematics (San Antonio, Texas, January 1987) 36 Carl de Boor, Editor, Approximation theory (New Orleans, Louisiana, January 1986) 35 Harry H. Panjer, Editor, Actuarial mathematics (Laramie, Wyoming, August 1985) 34 Michael Anshel and William Gewirtz, Editors, Mathematics of information processing (Louisville, Kentucky, January 1984) 33 H. Peyton Young, Editor, Fair allocation (Anaheim, California, January 1985) 32 R. W. McKelvey, Editor, Environmental and natural resource mathematics (Eugene, Oregon, August 1984) 31 B. Gopinath, Editor, Computer communications (Denver, Colorado, January 1983) 30 Simon A. Levin, Editor, Population biology (Albany, New York, August 1983) 29 R. A. DeMillo, G. I. Davida, D. P. Dobkin, M. A. Harrison, and R. J. Lipton, Applied cryptology, cryptographic protocols, and computer security models (San Francisco, California, January 1981) 28 R. Gnanadesikan, Editor, Statistical data analysis (Toronto, Ontario, August 1982) 27 L. A. Shepp, Editor, Computed tomography (Cincinnati, Ohio, January 1982) (Continued in the back of this publication) AMS SHORT COURSE LECTURE NOTES Introductory Survey Lectures published as a subseries of Proceedings of Symposia in Applied Mathematics Proceedings of Symposia in APPLIED MATHEMATICS Volume 55 Mathematical Aspects of Artificial Intelligence American Mathematical Society Short Course January 8-9, 1996 Orlando, Florida Frederick Hoffman Editor & American Mathematical Society " Providence, Rhode Island LECTURE NOTES PREPARED FOR THE AMERICAN MATHEMATICAL SOCIETY SHORT COURSE MATHEMATICAL ASPECTS OF ARTIFICIAL INTELLIGENCE HELD IN ORLANDO, FLORIDA JANUARY 8-9, 1996 The AMS Short Course Series is sponsored by the Society's Program Committee for National Meetings. The series is under the direction of the Short Course Subcommittee of the Program Committee for National Meetings. 1991 Mathematics Subject Classification. Primary 68-xx; Secondary 03-xx, 05-xx, 51-xx, 60-xx, 90-xx. Library of Congress Cataloging-in-Publication Data Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor. p. cm. — (Proceedings of symposia in applied mathematics ; v. 55. AMS short course lecture notes) Includes bibliographical references and index. ISBN 0-8218-0611-4 (alk. paper) 1. Artificial intelligence—Mathematics—Congresses. I. Hoffman, Frederick, 1937- . II. American Mathematical Society. III. Series: Proceedings of symposia in applied mathemat• ics ; v. 55. IV. Series: Proceedings of symposia in applied mathematics. AMS short course lecture notes. Q335.M33756 1998 006.3'0151—dc21 98-4693 CIP Copying and reprinting. Material in this book may be reproduced by any means for educational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledgment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Assistant to the Publisher, American Mathematical Society, P. O. Box 6248, Providence, Rhode Island 02940-6248. Requests can also be made by e-mail to reprint-permissionQams.org. Excluded from these provisions is material in articles for which the author holds copyright. In such cases, requests for permission to use or reprint should be addressed directly to the author(s). (Copyright ownership is indicated in the notice in the lower right-hand corner of the first page of each article.) © 1998 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. @ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at URL: http://www.ams.org/ 10 9 8 7 6 5 4 3 2 1 03 02 01 00 99 98 Contents Preface ix Introduction and History FREDERICK HOFFMAN 1 Reasoning about Time MARTIN CHARLES GOLUMBIC 19 Orderings in Automated Theorem Proving HELENE KIRCHNER 55 Programming with Constraints: Some Aspects of the Mathematical Foundations CATHERINE LASSEZ 97 The Basis of Computer Vision VISHVJIT NALWA 139 Outsearching Kasparov MONTY NEWBORN 175 Mathematical Foundations for Probability and Causality GLENN SHAFER 207 Index 271 Preface Artificial Intelligence (AI) is an important and exciting field. It is an active research area and is considered to have enormous research opportunities and great potential for applications. At the same time, AI is highly controversial. There is a history of great expectations, and large investments, with some notable short• falls and memorable disappointments. We are, of course, most concerned with connections between AI and mathematics. In fact, one of the major controversies regarding AI is the issue of just how mathematical a field it is, or should be. The major research journal in the field, Artificial Intelligence, publishes a large number of papers with heavy mathematical content, although many authorities in the field question this emphasis. For one example, the currently hot AI topic of "data min• ing," obtaining information from incomplete or "noisy" sources, has a necessary mathematical component, and, in general, theoretical AI, like theoretical computer science, is at least arguably a mathematical science. No matter where we come down within the range of "just how mathematical is it?", there is a close enough tie to justify the AMS Short Course, and this volume. We feel that mathematics and mathematicians have a lot to contribute to AI, and that AI has excellent potential for fruitful applications to mathematics. The purpose of the course, and this book, is to introduce mathematicians and others to some of the more mathematical areas within AI, both for the intrinsic value of the material as well as with a view toward stimulating the interest of people who can contribute to the field or use it in their work. We must point out that the AMS has had special sessions and invited talks in the past on AI, so we are in no sense the first to try to draw the community's attention to the field. This volume begins with a brief introduction to the field of AI, to provide enough general information so that readers can place the remaining chapters in perspective. We provide the necessary definitions and a rather perfunctory outline, with a minimal amount of history. Emphasis within this chapter is somewhat driven by the topics of the remaining chapters. One of the best known, and most controversial topics of AI is computer chess. Early on in the history of the field, grandiose claims were made for the near-term success of computers as chess champions. The failure of the field to produce an artificial chess champion within the predicted time-line was used to attack AI and its practitioners unmercifully. In reality, while the time-line was unduly optimistic, it now seems that the initial claims have been met, and the attacks on the field because of failures of computer chess will be replaced by controversy about just how intelligent the artificial chess champions really are. In this volume, we present a chapter on computer chess by Monty
Recommended publications
  • 1 History of Probability (Part 2)
    History of Probability (Part 2) - 17 th Century France The Problem of Points: Pascal, Fermat, and Huygens Every history of probability emphasizes the Figure 1 correspondence between two 17 th century French scholars, Blaise Pascal and Pierre de Fermat . In 1654 they exchanged letters where they discussed how to solve a particular gambling problem, now referred to as The Problem of Points (also called the problem of division of the stakes) . Simply stated, the problem is how to split the pot if the game is interrupted before someone has won. Pascal and Fermat’s work on this problem led to the development of formal rules for probability calculations. Blaise Pascal 1623 -1662 Pierre de Fermat 1601 -1665 The problem of points concerns a game of chance with two competing players who have equal chances of winning each round. [Imagine that one round is a toss of a coin. Player A has heads, B has tails.] The winner is the first one who wins a certain number of pre-agreed upon rounds. [Suppose, for example, they agree that the first person to win 3 tosses wins the game.] Whoever wins the game gets the whole pot. [Say, each player puts in $6, so the total pot is $12 . If A gets three heads before B gets three tails, A wins $12.] Now suppose that the game is interrupted before either player has won. How does one then divide the pot fairly? [Suppose they have to stop early and at that point A has won two tosses and B has won one.] Should each get $6, or should A get more since A was ahead when they stopped? What is fair? Historically, it is important to note that all of these gambling problems were framed in terms of odds for winning a game and not in terms of probabilities of individual events.
    [Show full text]
  • Pascal's and Huygens's Game-Theoretic Foundations For
    Pascal's and Huygens's game-theoretic foundations for probability Glenn Shafer Rutgers University [email protected] The Game-Theoretic Probability and Finance Project Working Paper #53 First posted December 28, 2018. Last revised December 28, 2018. Project web site: http://www.probabilityandfinance.com Abstract Blaise Pascal and Christiaan Huygens developed game-theoretic foundations for the calculus of chances | foundations that replaced appeals to frequency with arguments based on a game's temporal structure. Pascal argued for equal division when chances are equal. Huygens extended the argument by considering strategies for a player who can make any bet with any opponent so long as its terms are equal. These game-theoretic foundations were disregarded by Pascal's and Huy- gens's 18th century successors, who found the already established foundation of equally frequent cases more conceptually relevant and mathematically fruit- ful. But the game-theoretic foundations can be developed in ways that merit attention in the 21st century. 1 The calculus of chances before Pascal and Fermat 1 1.1 Counting chances . .2 1.2 Fixing stakes and bets . .3 2 The division problem 5 2.1 Pascal's solution of the division problem . .6 2.2 Published antecedents . .7 2.3 Unpublished antecedents . .8 3 Pascal's game-theoretic foundation 9 3.1 Enter the Chevalier de M´er´e. .9 3.2 Carrying its demonstration in itself . 11 4 Huygens's game-theoretic foundation 12 4.1 What did Huygens learn in Paris? . 13 4.2 Only games of pure chance? . 15 4.3 Using algebra . 16 5 Back to frequency 18 5.1 Montmort .
    [Show full text]
  • Discrete and Continuous: a Fundamental Dichotomy in Mathematics
    Journal of Humanistic Mathematics Volume 7 | Issue 2 July 2017 Discrete and Continuous: A Fundamental Dichotomy in Mathematics James Franklin University of New South Wales Follow this and additional works at: https://scholarship.claremont.edu/jhm Part of the Other Mathematics Commons Recommended Citation Franklin, J. "Discrete and Continuous: A Fundamental Dichotomy in Mathematics," Journal of Humanistic Mathematics, Volume 7 Issue 2 (July 2017), pages 355-378. DOI: 10.5642/jhummath.201702.18 . Available at: https://scholarship.claremont.edu/jhm/vol7/iss2/18 ©2017 by the authors. This work is licensed under a Creative Commons License. JHM is an open access bi-annual journal sponsored by the Claremont Center for the Mathematical Sciences and published by the Claremont Colleges Library | ISSN 2159-8118 | http://scholarship.claremont.edu/jhm/ The editorial staff of JHM works hard to make sure the scholarship disseminated in JHM is accurate and upholds professional ethical guidelines. However the views and opinions expressed in each published manuscript belong exclusively to the individual contributor(s). The publisher and the editors do not endorse or accept responsibility for them. See https://scholarship.claremont.edu/jhm/policies.html for more information. Discrete and Continuous: A Fundamental Dichotomy in Mathematics James Franklin1 School of Mathematics & Statistics, University of New South Wales, Sydney, AUSTRALIA [email protected] Synopsis The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application ar- eas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology).
    [Show full text]
  • Development and History of the Probability
    International Journal of Science and Research (IJSR) ISSN (Online): 2319-7064 Index Copernicus Value (2015): 78.96 | Impact Factor (2015): 6.391 Development and History of the Probability Rohit A. Pandit, Shashim A. Waghmare, Pratiksha M. Bhagat 1MS Economics, University of Wisconsin, Madison, USA 2MS Economics, Texas A&M University, College Station, USA 3Bachelor of Engineering in Electronics & Telecommunication, KITS Ramtek, India Abstract: This paper is concerned with the development of the mathematical theory of probability, from its founding by Pascal and Fermat in an exchange of letters in 1654 to its early nineteenth-century apogee in the work of Laplace. It traces how the meaning of mathematics, and applications of the theory evolved over this period. Keywords: Probability, game of chance, statistics 1. Introduction probability; entitled De Ratiociniis in Ludo Aleae, it was a treatise on problems associated with gambling. Because of The concepts of probability emerged before thousands of the inherent appeal of games of chance, probability theory years, but the concrete inception of probability as a branch soon became popular, and the subject developed rapidly th of Mathematics took mid-seventeenth century. In this era, during 18 century. the calculation of probabilities became quite noticeable though mathematicians remain foreign to the methods of The major contributors during this period were Jacob calculation. Bernoulli (1654-1705) and Abraham de Moivre (1667- 1754). Chevalier de Mḙrḙ, a nobleman, directed a simple question to his friend Blaise Pascal in the mid-seventeenth century Jacob (Jacques) Bernoulli was a Swiss mathematician who which flickered the birth of Probability theory, as we know was the first to use the term integral.
    [Show full text]
  • History of Probability (Part 5) – Laplace (1749-1827) Pierre-Simon
    History of Probability (Part 5) – Laplace (1749-1827) Pierre -Simon Laplace was born in 1749, when the phrase “theory of probability” was gradually replacing “doctrine of chances.” Assigning a number to the probability of an event was seen as more convenient mathematically than calculating in terms of odds. At the same time there was a growing sense that the mathematics of probability was useful and important beyond analysis of games of chance. By the time Laplace was in his twenties he was a major contributor to this shift. He remained a “giant” of theoretical probability for 50 years. His work, which we might call the foundations of classical probability theory , established the way we still teach probability today. Laplace grew up during a period of tremendous discovery and invention in math and science, perhaps the greatest in modern history, often called the age of enlightenment. In France, as the needs of the country were changing, the role of the major religious groups in higher education was diminishing. Their primary charge remained the education of those who would become the leading religious leaders, but other secular institutions of learning were established, where the emphasis was on math and science rather than theology. Laplace’s father wanted him to be a cleric and sent him to the University of Caen, a religiously oriented college. Fortunately, Caen had excellent math professors who taught the still fairly new calculus. When he graduated, Laplace, against his father’s wishes, decided to go to Paris to become a fulltime mathematician rather than a cleric who could do math on the side.
    [Show full text]
  • Huygens and the Value of All Chances in Games of Fortune
    Huygens and The Value of all Chances in Games of Fortune Nathan Otten University of Missouri – Kansas City [email protected] 4310 Jarboe St., Unit 1 Kansas City, MO 64111 Supervising Instructor: Richard Delaware 2 The science of probability is something of a late-bloomer among the other branches of mathematics. It was not until the 17th century that the calculus of probability began to develop with any seriousness. Historians say the cause of this late development may have been due to the ancient belief that the outcome of random events were determined by the gods [5, pp. 8-10]. For instance, the ancient Greeks, who developed many branches of mathematics and logic, never touched probability. Random events, such as the tossing of an astragalus (a kind of die), were methods of divination and were not studied mathematically. Also, given the certainty of mathematics and logic, predicting the outcome of uncertain events may not have been immediately obvious. These certain assertions of uncertain events were frowned upon by the Greeks. Huygens references this idea himself, “Although games depending entirely on fortune, the success is always uncertain, yet it may be exactly determined at the same time” [4, p. 8] The 17th century mathematicians who developed probability were pioneers of a new field. And unlike other areas of mathematics, the spark that ignited this study was gambling. Some of these mathematicians were gamblers themselves, such as Blaise Pascal (1623 – 1662). These men developed answers to questions about the odds of games, the expected return on a bet, the way a pot should be divided, and other questions; and in the meantime, they developed a new branch of mathematics.
    [Show full text]
  • [Math.PR] 6 Aug 2018 Mathematical Foundations of Probability Theory
    Gane Samb LO Mathematical Foundations of Probability Theory arXiv:1808.01713v1 [math.PR] 6 Aug 2018 Statistics and Probability African Society (SPAS) Books Series. Saint-Louis, Calgary, Alberta. 2018. DOI : http://dx.doi.org/10.16929/sbs/2016.0008 ISBN 978-2-9559183-8-8 i ii SPAS TEXTBOOKS SERIES GENERAL EDITOR of SPAS EDITIONS Prof Gane Samb LO [email protected], [email protected] Gaston Berger University (UGB), Saint-Louis, SENEGAL. African University of Sciences and Technology, AUST, Abuja, Nigeria. ASSOCIATED EDITORS KEhinde Dahud SHANGODOYIN [email protected] University of Botswana (Botswana) Blaise SOME [email protected] Chairman of LANIBIO, UFR/SEA Joseph Ki-Zerbo University (Ouaga I), Burkina-Faso. ADVISORS Ahmadou Bamba SOW [email protected] Gaston Berger University, Senegal. Tchilabalo Abozou KPANZOU [email protected] Kara University, Togo. iii List of published books List of published or scheduled books in English Weak Convergence (IA) - Sequences of Random Vectors. Gane Samb LO, Modou NGOM and Tchilabalo A. KPANZOU. 2016. Doi : 10.16929/sbs/2016.0001. ISBN 978-2-9559183-1-9 A Course on Elementary Probability Theory. Gane Samb LO. 2017. Doi : 10.16929/sbs/2016.0003. ISBN 978-2-9559183-3-3 Measure Theory and Integration By and For the Learner. Gane Samb LO. Doi : http://dx.doi.org/10.16929/sbs/2016.0005. ISBN 978-2-9559183- 5-7 iv Library of Congress Cataloging-in-Publication Data Gane Samb LO, 1958- Mathematical Foundations of Probability Theory. SPAS Books Series, 2018. DOI : 10.16929/sbs/2016.0008 ISBN 978-2-9559183-8-8 v Author : Gane Samb LO Emails: [email protected], [email protected].
    [Show full text]
  • Probability History
    Probability. A (very) brief history. Ionut Florescu What is Probability? In essence: Mathematical modeling of random events and phenomena. It is fundamentally different from modeling deterministic events and functions, which constitutes the traditional study of Mathemat- ics. However, the study of probability uses concepts and notions taken straight from Mathematics; in fact Measure Theory and Potential theory are expres- sions of abstract mathematics generalizing the theory of Probability. The XVII-th century records the first documented evidence of the use of Probability Theory. More precisely in 1654 Antoine Gombaud, Chevalier de M´er´e,a French nobleman with an interest in gaming and gambling questions, was puzzled by an apparent contradiction concerning a popular dice game. The game consisted in throwing a pair of dice 24 times; the problem was to decide whether or not to bet even money on the occurrence of at least one ”double six” during the 24 throws. A seemingly well-established gambling rule led de M´er´eto believe that betting on a double six in 24 throws would be profitable, but his own calculations based on many repetitions of the 24 throws indicated just the opposite. Using modern probability language, de M´er´ewas trying to establish if such an event has probability greater than 0.5. Puzzled by this and other similar gambling problems he called the attention of the famous mathematician Blaise Pascal. In turn this led to an exchange of letters between Pascal and another famous French mathematician Pierre de Fermat, this exchange becoming the first documented evidence of the fundamental principles of the theory of probability.
    [Show full text]
  • The Birth of Statistics and the Origins of the New Natural Science
    We are pleased to publish here the speech by Professor Giuseppe Leti, Professor Emeritus of the University of Rome “La Sapienza” and member of the Metron Editorial Committee, given during the ceremony when, upon reaching the age limit, he retired from his teaching career. GIUSEPPE LETI (*) The birth of statistics and the origins of the new natural science Contents: 1. Human limitations. - 1.1. Sense organs and their limits.-1.2. Other human limitations.-1.3. Overcoming human limitations.—2. The birth and development of statistics and the new natural science. — 3. The origins of the new natural science. - 3.1. Socio-economic aspects of the scientific revolution.-3.2. Knowledge of nature. - 3.3. New instruments to observe nature.-3.4. Conceptual tools.-3.5. Calculat- ing machines.—4. The origins of statistics. - 4.1. Background formation.-4.2. Descriptive statistics.-4.3. Political arithmetic.-4.4. The French contribution: methodology of statistical surveys and the probability theory.-4.5. The different branches merge.—5. Features of the new natural sciences and statistics and similar- ities in their birth and development. — 6. Italians fail to contribute to the birth and development of statistics. — 7. Conclusions. References. Summary. Riassunto. Key words. 1. Human limitations 1.1. Sense organs and their limits Man’s sense organs — sight, hearing, smell, taste and touch, etc., — cannot perceive all the stimuli which they receive. The eye for example cannot make out an object which is either too close or too far away. Moreover, the most minute details of any object are imperceptible to the naked eye as the retina is physiologically incapable of responding to distinct sensations when two light stimuli are directed at two extremely close points.
    [Show full text]
  • Notes for Maa Minicourse Teaching a Course in the History of Mathematics
    NOTES FOR MAA MINICOURSE TEACHING A COURSE IN THE HISTORY OF MATHEMATICS JANUARY, 2007 FRED RICKEY AND VICTOR KATZ CONTENTS Audience Aims of the Course Types of History Courses Textbooks for a Survey Course Reading List for Special Topics Popular Books in the History of Mathematics Student Projects Sample Themed Courses Scheduling a Course Using Katz’s Brief Edition Evaluation Sample Syllabi Who Will Your Audience Be? In planning any history of mathematics course, there is no more important question than who your audience will be. If you misjudge the answer to this question, your course will be a disaster. Your students will be very unhappy. You will be distraught. You should be able to determine your audience in advance. If the course is already on the books, then the syllabus will list some prerequisite. Perhaps the course is even required of some group of students. Knowing your audience settles the hardest question. If you are teaching a course that has never been taught at your school, at least not in recent years, then you will have to drum up an audience. You will know some of these students and can safely assume that the friends they persuade to sign up too are somewhat like them. Here are some questions that you should think carefully about: • What level are your students? Freshman, Junior-Senior, Graduate? • How good are your students? Are you at a community college, a selective liberal arts college, an open enrollment state university, or a graduate university? • How much mathematics do they know? Calculus? Several abstract
    [Show full text]
  • Studies in the History of Probability and Statistics. XXXVII A. M. Turing's Statistical Work in World War II Author(S): I
    Biometrika Trust Studies in the History of Probability and Statistics. XXXVII A. M. Turing's Statistical Work in World War II Author(s): I. J. Good Source: Biometrika, Vol. 66, No. 2 (Aug., 1979), pp. 393-396 Published by: Oxford University Press on behalf of Biometrika Trust Stable URL: http://www.jstor.org/stable/2335677 Accessed: 24-02-2017 13:16 UTC JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://about.jstor.org/terms Biometrika Trust, Oxford University Press are collaborating with JSTOR to digitize, preserve and extend access to Biometrika This content downloaded from 132.174.254.12 on Fri, 24 Feb 2017 13:16:46 UTC All use subject to http://about.jstor.org/terms Miscellanea 393 Biometrika (1979), 66, 2, pp, 393-6 Printed in Great Britain Studies in the History of Probability and Statistics. XXXVII A. M. Turing's statistical work in World War II BY I. J. GOOD Department of Statistics, Virginia Polytechnic Institute & State University, Blacksburg SUMMARY An account is given of A. M. Turing's unpublished contributions to statistics during 1941 or 1940. Some key words: Bayes factors; Cryptology; Decibans; Diversity; Empirical Bayes; History of statistics; Information; Repeat rate; Sequential analysis; Weight of evidence; World War II.
    [Show full text]
  • The Early Development of Mathematical Probability Glenn Shafer
    The Early Development of Mathematical Probability Glenn Shafer This article is concerned with the development of the mathematical theory of probability, from its founding by Pascal and Fermat in an exchange of letters in 1654 to its early nineteenth-century apogee in the work of Laplace. It traces how the meaning, mathematics, and applications of the theory evolved over this period. 1. Summary Blaise Pascal and Pierre Fermat are credited with founding mathematical probability because they solved the problem of points, the problem of equitably dividing the stakes when a fair game is halted before either player has enough points to win. This problem had been discussed for several centuries before 1654, but Pascal and Fermat were the first to give the solution we now consider correct. They also answered other questions about fair odds in games of chance. Their main ideas were popularized by Christian Huygens, in his De ratiociniis in ludo aleae, published in 1657. During the century that followed this work, other authors, including James and Nicholas Bernoulli, Pierre Rémond de Montmort, and Abraham De Moivre, developed more powerful mathematical tools in order to calculate odds in more complicated games. De Moivre, Thomas Simpson, and others also used the theory to calculate fair prices for annuities and insurance policies. James Bernoulli's Ars conjectandi, published in 1713, laid the philosophical foundations for broader applications. Bernoulli brought the philosophical idea of probability into the mathematical theory, formulated rules for combining the probabilities of arguments, and proved his famous theorem: the probability of an event is morally certain to be approximated by the frequency with which it occurs.
    [Show full text]