View This Volume's Front and Back Matter
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Kepler and Hales: Conjectures and Proofs Dreams and Their
KEPLER AND HALES: CONJECTURES AND PROOFS DREAMS AND THEIR REALIZATION Josef Urban Czech Technical University in Prague Pittsburgh, June 21, 2018 1 / 31 This talk is an experiment Normally I give “serious” talks – I am considered crazy enough But this is Tom’s Birthday Party, so we are allowed to have some fun: This could be in principle a talk about our work on automation and AI for reasoning and formalization, and Tom’s great role in these areas. But the motivations and allusions go back to alchemistic Prague of 1600s and the (un)scientific pursuits of then versions of "singularity", provoking comparisons with our today’s funny attempts at building AI and reasoning systems for solving the great questions of Math, the Universe and Everything. I wonder where this will all take us. Part 1 (Proofs?): Learning automated theorem proving on top of Flyspeck and other corpora Learning formalization (autoformalization) on top of them Part 2 (Conjectures?): How did we get here? What were Kepler & Co trying to do in 1600s? What are we trying to do today? 2 / 31 The Flyspeck project – A Large Proof Corpus Kepler conjecture (1611): The most compact way of stacking balls of the same size in space is a pyramid. V = p 74% 18 Proved by Hales & Ferguson in 1998, 300-page proof + computations Big: Annals of Mathematics gave up reviewing after 4 years Formal proof finished in 2014 20000 lemmas in geometry, analysis, graph theory All of it at https://code.google.com/p/flyspeck/ All of it computer-understandable and verified in HOL Light: -
Chance, Luck and Statistics : the Science of Chance
University of Calgary PRISM: University of Calgary's Digital Repository Alberta Gambling Research Institute Alberta Gambling Research Institute 1963 Chance, luck and statistics : the science of chance Levinson, Horace C. Dover Publications, Inc. http://hdl.handle.net/1880/41334 book Downloaded from PRISM: https://prism.ucalgary.ca Chance, Luck and Statistics THE SCIENCE OF CHANCE (formerly titled: The Science of Chance) BY Horace C. Levinson, Ph. D. Dover Publications, Inc., New York Copyright @ 1939, 1950, 1963 by Horace C. Levinson All rights reserved under Pan American and International Copyright Conventions. Published in Canada by General Publishing Company, Ltd., 30 Lesmill Road, Don Mills, Toronto, Ontario. Published in the United Kingdom by Constable and Company, Ltd., 10 Orange Street, London, W.C. 2. This new Dover edition, first published in 1963. is a revised and enlarged version ot the work pub- lished by Rinehart & Company in 1950 under the former title: The Science of Chance. The first edi- tion of this work, published in 1939, was called Your Chance to Win. International Standard Rook Number: 0-486-21007-3 Libraiy of Congress Catalog Card Number: 63-3453 Manufactured in the United States of America Dover Publications, Inc. 180 Varick Street New York, N.Y. 10014 PREFACE TO DOVER EDITION THE present edition is essentially unchanged from that of 1950. There are only a few revisions that call for comment. On the other hand, the edition of 1950 contained far more extensive revisions of the first edition, which appeared in 1939 under the title Your Chance to Win. One major revision was required by the appearance in 1953 of a very important work, a life of Cardan,* a brief account of whom is given in Chapter 11. -
13Th Valley John M. Del Vecchio Fiction 25.00 ABC of Architecture
13th Valley John M. Del Vecchio Fiction 25.00 ABC of Architecture James F. O’Gorman Non-fiction 38.65 ACROSS THE SEA OF GREGORY BENFORD SF 9.95 SUNS Affluent Society John Kenneth Galbraith 13.99 African Exodus: The Origins Christopher Stringer and Non-fiction 6.49 of Modern Humanity Robin McKie AGAINST INFINITY GREGORY BENFORD SF 25.00 Age of Anxiety: A Baroque W. H. Auden Eclogue Alabanza: New and Selected Martin Espada Poetry 24.95 Poems, 1982-2002 Alexandria Quartet Lawrence Durell ALIEN LIGHT NANCY KRESS SF Alva & Irva: The Twins Who Edward Carey Fiction Saved a City And Quiet Flows the Don Mikhail Sholokhov Fiction AND ETERNITY PIERS ANTHONY SF ANDROMEDA STRAIN MICHAEL CRICHTON SF Annotated Mona Lisa: A Carol Strickland and Non-fiction Crash Course in Art History John Boswell From Prehistoric to Post- Modern ANTHONOLOGY PIERS ANTHONY SF Appointment in Samarra John O’Hara ARSLAN M. J. ENGH SF Art of Living: The Classic Epictetus and Sharon Lebell Non-fiction Manual on Virtue, Happiness, and Effectiveness Art Attack: A Short Cultural Marc Aronson Non-fiction History of the Avant-Garde AT WINTER’S END ROBERT SILVERBERG SF Austerlitz W.G. Sebald Auto biography of Miss Jane Ernest Gaines Fiction Pittman Backlash: The Undeclared Susan Faludi Non-fiction War Against American Women Bad Publicity Jeffrey Frank Bad Land Jonathan Raban Badenheim 1939 Aharon Appelfeld Fiction Ball Four: My Life and Hard Jim Bouton Time Throwing the Knuckleball in the Big Leagues Barefoot to Balanchine: How Mary Kerner Non-fiction to Watch Dance Battle with the Slum Jacob Riis Bear William Faulkner Fiction Beauty Robin McKinley Fiction BEGGARS IN SPAIN NANCY KRESS SF BEHOLD THE MAN MICHAEL MOORCOCK SF Being Dead Jim Crace Bend in the River V. -
A Computer Verification of the Kepler Conjecture
ICM 2002 Vol. III 1–3 · · A Computer Verification of the Kepler Conjecture Thomas C. Hales∗ Abstract The Kepler conjecture asserts that the density of a packing of congruent balls in three dimensions is never greater than π/√18. A computer assisted verification confirmed this conjecture in 1998. This article gives a historical introduction to the problem. It describes the procedure that converts this problem into an optimization problem in a finite number of variables and the strategies used to solve this optimization problem. 2000 Mathematics Subject Classification: 52C17. Keywords and Phrases: Sphere packings, Kepler conjecture, Discrete ge- ometry. 1. Historical introduction The Kepler conjecture asserts that the density of a packing of congruent balls in three dimensions is never greater than π/√18 0.74048 .... This is the oldest problem in discrete geometry and is an important≈ part of Hilbert’s 18th problem. An example of a packing achieving this density is the face-centered cubic packing (Figure 1). A packing of balls is an arrangement of nonoverlapping balls of radius 1 in Euclidean space. Each ball is determined by its center, so equivalently it is a arXiv:math/0305012v1 [math.MG] 1 May 2003 collection of points in Euclidean space separated by distances of at least 2. The density of a packing is defined as the lim sup of the densities of the partial packings formed by the balls inside a ball with fixed center of radius R. (By taking the lim sup, rather than lim inf as the density, we prove the Kepler conjecture in the strongest possible sense.) Defined as a limit, the density is insensitive to changes in the packing in any bounded region. -
Inis: Terminology Charts
IAEA-INIS-13A(Rev.0) XA0400071 INIS: TERMINOLOGY CHARTS agree INTERNATIONAL ATOMIC ENERGY AGENCY, VIENNA, AUGUST 1970 INISs TERMINOLOGY CHARTS TABLE OF CONTENTS FOREWORD ... ......... *.* 1 PREFACE 2 INTRODUCTION ... .... *a ... oo 3 LIST OF SUBJECT FIELDS REPRESENTED BY THE CHARTS ........ 5 GENERAL DESCRIPTOR INDEX ................ 9*999.9o.ooo .... 7 FOREWORD This document is one in a series of publications known as the INIS Reference Series. It is to be used in conjunction with the indexing manual 1) and the thesaurus 2) for the preparation of INIS input by national and regional centrea. The thesaurus and terminology charts in their first edition (Rev.0) were produced as the result of an agreement between the International Atomic Energy Agency (IAEA) and the European Atomic Energy Community (Euratom). Except for minor changesq the terminology and the interrela- tionships btween rms are those of the December 1969 edition of the Euratom Thesaurus 3) In all matters of subject indexing and ontrol, the IAEA followed the recommendations of Euratom for these charts. Credit and responsibility for the present version of these charts must go to Euratom. Suggestions for improvement from all interested parties. particularly those that are contributing to or utilizing the INIS magnetic-tape services are welcomed. These should be addressed to: The Thesaurus Speoialist/INIS Section Division of Scientific and Tohnioal Information International Atomic Energy Agency P.O. Box 590 A-1011 Vienna, Austria International Atomic Energy Agency Division of Sientific and Technical Information INIS Section June 1970 1) IAEA-INIS-12 (INIS: Manual for Indexing) 2) IAEA-INIS-13 (INIS: Thesaurus) 3) EURATOM Thesaurusq, Euratom Nuclear Documentation System. -
The Sphere Packing Problem in Dimension 8 Arxiv:1603.04246V2
The sphere packing problem in dimension 8 Maryna S. Viazovska April 5, 2017 8 In this paper we prove that no packing of unit balls in Euclidean space R has density greater than that of the E8-lattice packing. Keywords: Sphere packing, Modular forms, Fourier analysis AMS subject classification: 52C17, 11F03, 11F30 1 Introduction The sphere packing constant measures which portion of d-dimensional Euclidean space d can be covered by non-overlapping unit balls. More precisely, let R be the Euclidean d vector space equipped with distance k · k and Lebesgue measure Vol(·). For x 2 R and d r 2 R>0 we denote by Bd(x; r) the open ball in R with center x and radius r. Let d X ⊂ R be a discrete set of points such that kx − yk ≥ 2 for any distinct x; y 2 X. Then the union [ P = Bd(x; 1) x2X d is a sphere packing. If X is a lattice in R then we say that P is a lattice sphere packing. The finite density of a packing P is defined as Vol(P\ Bd(0; r)) ∆P (r) := ; r > 0: Vol(Bd(0; r)) We define the density of a packing P as the limit superior ∆P := lim sup ∆P (r): r!1 arXiv:1603.04246v2 [math.NT] 4 Apr 2017 The number be want to know is the supremum over all possible packing densities ∆d := sup ∆P ; d P⊂R sphere packing 1 called the sphere packing constant. For which dimensions do we know the exact value of ∆d? Trivially, in dimension 1 we have ∆1 = 1. -
An Overview of the Kepler Conjecture
AN OVERVIEW OF THE KEPLER CONJECTURE Thomas C. Hales 1. Introduction and Review The series of papers in this volume gives a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than π/√18 0.74048 . This is the oldest problem in discrete geometry and is an important≈ part of Hilbert’s 18th problem. An example of a packing achieving this density is the face-centered cubic packing. A packing of spheres is an arrangement of nonoverlapping spheres of radius 1 in Euclidean space. Each sphere is determined by its center, so equivalently it is a collection of points in Euclidean space separated by distances of at least 2. The density of a packing is defined as the lim sup of the densities of the partial packings formed by spheres inside a ball with fixed center of radius R. (By taking the lim sup, rather than lim inf as the density, we prove the Kepler conjecture in the strongest possible sense.) Defined as a limit, the density is insensitive to changes in the packing in any bounded region. For example, a finite number of spheres can be removed from the face-centered cubic packing without affecting its density. Consequently, it is not possible to hope for any strong uniqueness results for packings of optimal density. The uniqueness established by this work is as strong arXiv:math/9811071v2 [math.MG] 20 May 2002 as can be hoped for. It shows that certain local structures (decomposition stars) attached to the face-centered cubic (fcc) and hexagonal-close packings (hcp) are the only structures that maximize a local density function. -
Nonisotropic Self-Assembly of Nanoparticles: from Compact Packing to Functional Aggregates Xavier Bouju, Etienne Duguet, Fabienne Gauffre, Claude Henry, Myrtil L
Nonisotropic Self-Assembly of Nanoparticles: From Compact Packing to Functional Aggregates Xavier Bouju, Etienne Duguet, Fabienne Gauffre, Claude Henry, Myrtil L. Kahn, Patrice Mélinon, Serge Ravaine To cite this version: Xavier Bouju, Etienne Duguet, Fabienne Gauffre, Claude Henry, Myrtil L. Kahn, et al.. Nonisotropic Self-Assembly of Nanoparticles: From Compact Packing to Functional Aggregates. Advanced Mate- rials, Wiley-VCH Verlag, 2018, 30 (27), pp.1706558. 10.1002/adma.201706558. hal-01795448 HAL Id: hal-01795448 https://hal.archives-ouvertes.fr/hal-01795448 Submitted on 18 Oct 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Non-isotropic self-assembly of nanoparticles: from compact packing to functional aggregates Xavier Bouju∗ CEMES-CNRS (UPR CNRS 8011), Bt F picoLab 29 Rue J. Marvig, BP 94347 31055 Toulouse Cedex 4, France Etienne´ Duguet∗ CNRS, Univ. Bordeaux, ICMCB, UPR 9048, 33600 Pessac, France Fabienne Gauffre∗ Institut des sciences chimiques de Rennes (ISCR), UMR CNRS 6226, 263 avenue du G´en´eral Leclerc, CS 74205, F-35000 Rennes, France Claude Henry∗ Centre interdisciplinaire de nanoscience de Marseille (CINAM), UMR CNRS 7325, Aix-Marseille Universit´e,Campus de Luminy, Case 913, F-13000 Marseille, France Myrtil Kahn∗ Laboratoire de chimie de coordination (LCC), UPR CNRS 8241, 205 route de Narbonne, F-31000 Toulouse, France Patrice M´elinon∗ Universit´ede Lyon, Universit´eClaude Bernard Lyon 1, UMR CNRS 5306, Institut Lumi`ere Mati`ere, F-69622, Villeurbanne, Francey Serge Ravaine CNRS, Univ. -
Big Proof Big Proof
Big Proof Big Proof Sunday, July 9, 2017 Big Conjecture Thomas Hales July 10, 2017 Everything is vague to a degree you do not realize till you have tried to make it precise. – Bertrand Russell Keep your conjectures bold and your refutations brutal. – Nick Horton Sunday, July 9, 2017 Sunday, July 9, 2017 Sphere Packings Sunday, July 9, 2017 Sunday, July 9, 2017 Sunday, July 9, 2017 “Perhaps the most controversial topic to be covered in The Mathematical Intelligencer is the Kepler Conjecture. In The Mathematical Intelligencer, Thomas C. Hales takes on Wu-Yi Hsiang’s 1990 announcement that he had proved the Kepler Conjecture,...” Sunday, July 9, 2017 From [email protected] Wed Aug 19 02:43:02 1998 Date: Sun, 9 Aug 1998 09:54:56 -0400 (EDT) From: Tom Hales <[email protected]> To: Subject: Kepler conjecture Dear colleagues, I have started to distribute copies of a series of papers giving a solution to the Kepler conjecture, the oldest problem in discrete geometry. These results are still preliminary in the sense that they have not been refereed and have not even been submitted for publication, but the proofs are to the best of my knowledge correct and complete. Nearly four hundred years ago, Kepler asserted that no packing of congruent spheres can have a density greater than the density of the face-centered cubic packing. This assertion has come to be known as the Kepler conjecture. In 1900, Hilbert included the Kepler conjecture in his famous list of mathematical problems. In a paper published last year in the journal "Discrete and Computational Geometry," (DCG), I published a detailed plan describing how the Kepler conjecture might be proved. -
Facts & Features Lunar Surface Elevations Six Apollo Lunar
Greek Mythology Quadrants Maria & Related Features Lunar Surface Elevations Facts & Features Selene is the Moon and 12 234 the goddess of the Moon, 32 Diameter: 2,160 miles which is 27.3% of Earth’s equatorial diameter of 7,926 miles 260 Lacus daughter of the titans 71 13 113 Mare Frigoris Mare Humboldtianum Volume: 2.03% of Earth’s volume; 49 Moons would fit inside Earth 51 103 Mortis Hyperion and Theia. Her 282 44 II I Sinus Iridum 167 125 321 Lacus Somniorum Near Side Mass: 1.62 x 1023 pounds; 1.23% of Earth’s mass sister Eos is the goddess 329 18 299 Sinus Roris Surface Area: 7.4% of Earth’s surface area of dawn and her brother 173 Mare Imbrium Mare Serenitatis 85 279 133 3 3 3 Helios is the Sun. Selene 291 Palus Mare Crisium Average Density: 3.34 gm/cm (water is 1.00 gm/cm ). Earth’s density is 5.52 gm/cm 55 270 112 is often pictured with a 156 Putredinis Color-coded elevation maps Gravity: 0.165 times the gravity of Earth 224 22 237 III IV cresent Moon on her head. 126 Mare Marginis of the Moon. The difference in 41 Mare Undarum Escape Velocity: 1.5 miles/sec; 5,369 miles/hour Selenology, the modern-day 229 Oceanus elevation from the lowest to 62 162 25 Procellarum Mare Smythii Distances from Earth (measured from the centers of both bodies): Average: 238,856 term used for the study 310 116 223 the highest point is 11 miles. -
What Deans of Informatics Should Tell Their University Presidents1 Robert L
What Deans of Informatics Should Tell Their University Presidents1 Robert L. Constable Dean of the Faculty of Computing and Information Science Cornell University 1. Introduction In North America, a group of department chairs and deans would immediately infer from the title of this article that it is about promoting informatics. Indeed, this article is about how my senior colleagues and I create support for computing and information science (informatics) among university presidents, provosts (rectors), industry leaders, funding agency heads, legislators, potential donors, and other influential people who will listen. It is about the importance of computing and information science to universities and to society as a whole. Appeals for support can be based on many approaches: the excitement of opportunities, fear of failure, envy of other institutions, responsibility for mission, duty to make the world a better place, pride of accomplishment, legacy, or on economic grounds. No matter what the approach, there are three basic facts that sustain the case for informatics. Here they are briefly summarized: (1) The ideas, methods, discoveries, and technologies of computing and information science continue to change the way we work, learn, discover, communicate, heal, express ourselves, manage the planet’s resources, and play. Computers and digital information change whatever they touch and have created a new knowledge paradigm. (2) The impact of fact (1) on the academy has been large and increasing because computing and information science is transforming how we create, preserve, and disseminate knowledge – these are the core functions of universities. The transformation affects all disciplines. (3) Advanced economies are knowledge-based; they depend on information, computing and communication technologies and the people who create and deploy them – the ICT sector. -
Johannes Kepler (1571-1630)
EDUB 1760/PHYS 2700 II. The Scientific Revolution Johannes Kepler (1571-1630) The War on Mars Cameron & Stinner A little background history Where: Holy Roman Empire When: The thirty years war Why: Catholics vs Protestants Johannes Kepler cameron & stinner 2 A little background history Johannes Kepler cameron & stinner 3 The short biography • Johannes Kepler was born in Weil der Stadt, Germany, in 1571. He was a sickly child and his parents were poor. A scholarship allowed him to enter the University of Tübingen. • There he was introduced to the ideas of Copernicus by Maestlin. He first studied to become a priest in Poland but moved Tübingen Graz to Graz, Austria to teach school in 1596. • As mathematics teacher in Graz, Austria, he wrote the first outspoken defense of the Copernican system, the Mysterium Cosmographicum. Johannes Kepler cameron & stinner 4 Mysterium Cosmographicum (1596) Kepler's Platonic solids model of the Solar system. He sent a copy . to Tycho Brahe who needed a theoretician… Johannes Kepler cameron & stinner 5 The short biography Kepler was forced to leave his teaching post at Graz and he moved to Prague to work with the renowned Danish Prague astronomer, Tycho Brahe. Graz He inherited Tycho's post as Imperial Mathematician when Tycho died in 1601. Johannes Kepler cameron & stinner 6 The short biography Using the precise data (~1’) that Tycho had collected, Kepler discovered that the orbit of Mars was an ellipse. In 1609 he published Astronomia Nova, presenting his discoveries, which are now called Kepler's first two laws of planetary motion. Johannes Kepler cameron & stinner 7 Tycho Brahe The Aristocrat The Observer Johannes Kepler cameron & stinner 8 Tycho Brahe - the Observer The Great Comet of 1577 -from Brahe’s notebooks Johannes Kepler cameron & stinner 9 Tycho Brahe’s Cosmology …was a modified heliocentric one Johannes Kepler cameron & stinner 10 The short biography • In 1612 Lutherans were forced out of Prague, so Kepler moved on to Linz, Austria.