History and Overview

AG-2024.05-1028

math.HO

A Triumvirate of AI Driven Theoretical Discovery

Yang-Hui He

Recent years have seen the dramatic rise of the usage of AI algorithms in pure mathematics and fundamental sciences such as theoretical physics. This is perhaps counter-intuitive since mathematical sciences require the rigorous definitions, derivations, and proofs, in contrast to the experimental sciences which rely on the modelling of data with error-bars. In this Perspective, we categorize the approaches to mathematical discovery as "top-down", "bottom-up" and "meta-mathematics", as inspired by historical examples. We review some of the progress over the last few years, comparing and contrasting both the advances and the short-comings in each approach. We argue that while the theorist is in no way in danger of being replaced by AI in the near future, the hybrid of human expertise and AI algorithms will become an integral part of theoretical discovery.

AG-2024.05-738

math.HO

Prolegomena to the Bestiary

Yang-Hui He

``Calabi-Yau Manifolds: a Bestiary for Physicists'' by Tristan Hubsch in 1992 was a classic that served to introduce algebraic geometry to physicists when the first string theory revolution of 1984 - 94 brought, inter alia, the subject of Calabi-Yau manifolds to the staple of high-energy theorists. We are fortunate that a substantially expanded and updated new edition of the Bestiary will shortly appear. This brief note will serve as an afterword to the much anticipated volume.

AG-2015.04-1016

math.HO

Quantities, Dimensions and Dimensional Analysis

Dan Jonsson

Formal definitions of quantities, quantity spaces, dimensions and dimension groups are introduced. Based on these concepts, a theoretical framework and a practical algorithm for dimensional analysis are developed, and examples of dimensional analysis are given.

AG-2015.02-1706

math.HO

Scientific Endeavors of A.M. Mathai: An Appraisal on the Occasion of his Eightieth Birthday, April 2015

H. J. Haubold, A. M. Mathai

A.M. Mathai is Emeritus Professor of Mathematics and Statistics at McGill University, Canada, and Director of the Centre for Mathematical and Statistical Sciences, India. He has published over 300 research papers and more than 25 books on topics in mathematics, statistics, physics, astrophysics, chemistry, and biology. He is a Fellow of the Institute of Mathematical Statistics, National Academy of Sciences of India, President of the Mathematical Society of India, and a Member of the International Statistical Institute. He is the founder of the Canadian Journal of Statistics and the Statistical Society of Canada. He is instrumental in the implementation of the United Nations Basic Space Science Initiative. The paper is an attempt to capture the broad spectrum of scientific endeavors of Professor A.M. Mathai at the occasion of his anniversary.

AG-2014.12-956

math.HO

George William Scott Blair -- the pioneer of factional calculus in rheology

Sergei Rogosin, Francesco Mainardi

The article shows the pioneering role of the British scientist, Professor G.W.Scott Blair, in the creation of the application of fractional modelling in rheology. Discussion of his results is presented. His approach is highly recognized by the rheological society and is adopted and generalized by his successors. Further development of this branch of Science is briefly described in this article too.

AG-2014.11-685

math.HO

Variations on the Two Envelopes Problem

Panagiotis Tsikogiannopoulos

There are many papers written on the Two Envelopes Problem that usually study some of its variations. In this paper we will study and compare the most significant variations of the problem. We will see the correct decisions for each player and we will show the mathematics that supports them. We will point out some common mistakes in these calculations and we will explain why they are incorrect. Whenever an amount of money is revealed to the players in some variation, we will make our calculations based on the revealed amount, something that is not achieved in other papers.

AG-2014.09-1603

math.HO

Cauchy's almost forgotten Lagrangian formulation of the Euler equation for 3D incompressible flow

Uriel Frisch, Barbara Villone

Two prized papers, one by Augustin Cauchy in 1815, presented to the French Academy and the other by Hermann Hankel in 1861, presented to Göttingen University, contain major discoveries on vorticity dynamics whose impact is now quickly increasing. Cauchy found a Lagrangian formulation of 3D ideal incompressible flow in terms of three invariants that generalize to three dimensions the now well-known law of conservation of vorticity along fluid particle trajectories for two-dimensional flow. This has very recently been used to prove analyticity in time of fluid particle trajectories for 3D incompressible Euler flow and can be extended to compressible flow, in particular to cosmological dark matter. Hankel showed that Cauchy's formulation gives a very simple Lagrangian derivation of the Helmholtz vorticity-flux invariants and, in the middle of the proof, derived an intermediate result which is the conservation of the circulation of the velocity around a closed contour moving with the fluid. This circulation theorem was to be rediscovered independently by William Thomson (Kelvin) in 1869. Cauchy's invariants were only occasionally cited in the 19th century --- besides Hankel, foremost by George Stokes and Maurice Lévy --- and even less so in the 20th until they were rediscovered via Emmy Noether's theorem in the late 1960, but reattributed to Cauchy only at the end of the 20th century by Russian scientists.

AG-2014.08-1715

math.HO

Translation of Michael Sadowsky's paper "An elementary proof for the existence of a developable Möbius band and the attribution of the geometric problem to a variational problem"

Denis F. Hinz, Eliot Fried

This article is a translation of Michael Sadowsky's original paper "Ein elementarer Beweis für die Existenz eines abwickelbaren Möbiusschen Bandes und die Zurückführung des geometrischen Problems auf ein Variationsproblem." which appeared in Sitzungsberichte der Preussischen Akademie der Wissenschaften, physikalisch-mathematische Klasse, 17. Juli 1930, Mitteilung vom 26. Juni, 412-415. Published on September 12, 1930.

AG-2014.08-1716

math.HO

Translation and interpretation of Michael Sadowsky's paper "Theory of elastically bendable inextensible bands with applications to the Möbius band"

Denis F. Hinz, Eliot Fried

This article is a translation of Michael Sadowsky's original paper "Theorie der elastisch biegsamen undehnbaren Bänder mit Anwendungen auf das Möbiussche Band" in 3. internationaler Kongress für technische Mechanik, Stockholm, 1930. The translation is augmented by an Appendix containing an interpretation of the last section of Sadowsky's original paper including figures generated from recent numerical simulations.

AG-2014.08-1714

math.HO

Translation of Michael Sadowsky's paper "The differential equations of the Möbius band"

Denis F. Hinz, Eliot Fried

This article is a translation of Michael Sadowsky's original paper "Die Differentialgleichungen des Möbiusschen Bandes." in Jahresbericht der Deutschen Mathematiker-Vereinigung 39 (2. Abt. Heft 5/8, Jahresversammlung vom 16. bis 23. September), 49-51 (1929), which is a short version of his paper "Theorie der elastisch biegsamen undehnbaren Bänder mit Anwendungen auf das Möbiussche Band" in 3. internationaler Kongress für technische Mechanik, Stockholm, 1930.

AG-2014.08-2574

math.HO

The Fractal Nature of Maps and Mapping

Bin Jiang

A fractal can be simply understood as a set or pattern in which there are far more small things than large ones, e.g., far more small geographic features than large ones on the earth surface, or far more large-scale maps than small-scale maps for a geographic region. This paper attempts to argue and provide evidence for the fractal nature of maps and mapping. It is the underlying fractal structure of geographic features, either natural or human-made, that make reality mappable, large-scale maps generalizable, and cities imageable. The fractal nature is also what underlies the beauty of maps. After introducing some key fractal concepts such as recursion, self-similarity, scaling ratio, and scaling exponent, this paper demonstrates that fractal thought is rooted in long-standing map-making practices such as series maps subdivision, visual hierarchy, and Töpfer's radical law. Drawing on previous studies on head/tail breaks, mapping can be considered a head/tail breaks process; that is to divide things around an average, according to their geometric, topological and/or semantic properties, into the head (for those above the average) and the tail (for those below the average), and recursively continue the dividing process for the head for map generalization, statistical mapping, and cognitive mapping. Given the fractal nature of maps and mapping, cartography should be considered a perfect combination of science and art, and scaling must be formulated as a law of cartography or that of geography in general. Keywords: Scaling of geographic features, map generalization, statistical mapping, cognitive mapping, head/tail breaks

AG-2014.07-1113

math.HO

The problem of space in the light of relativity: the views of H. Weyl and E. Cartan

Erhard Scholz

Starting from a short review of the "classical" space problem in the sense of the 19th century (Helmholtz -- Lie -- Klein) it is discussed how the challenges posed by special and general relativity to the classical analysis were taken up by Hermann Weyl and Elie Cartan. Both mathematicians reconsidered the space problem from the point of view of transformations operating in the infinitesimal neighbourhoods of a manifold (spacetime). In a short outlook we survey further developments in mathematics and physics of the second half of the 20th century, in which core ideas of Weyl's and/or Cartan's analysis of the space problem were further investigated (mathematics) or incorporated into basic theories (physics).

AG-2013.12-1211

math.HO

A Non-Pythagorean Musical Scale Based on Logarithms

Robert P. Schneider

A new musical scale devised by the author, based on natural logarithms, is described. Most of the logarithmic pitches bear no correspondence to the twelve tones of the ancient tuning system attributed to Pythagoras, based on ratios of whole numbers, nor to the chromatic tones of scales in equal temperament used widely in the modern era. Logarithms obey a special arithmetic compared to whole and rational numbers, which can be heard in beat frequencies between tones of the scale, suggesting extended harmonic possibilities by incorporating the beat frequencies into compositions. The author uses the broad term "non-Pythagorean" to describe the logarithmic musical scale, as the ratios of pitches are usually irrational numbers.

AG-2013.12-220

math.HO

Detecting Concepts Crucial for Success in Mathematics Courses from Knowledge State-based Placement Data

Marc Harper, Alison Ahlgren Reddy

We show that individual topics and skills can have a dramatic effect on the outcomes of students in various mathematics courses at the University of Illinois. Data from the placement program at Illinois associates a knowledge state, a subset of 182 items and skills that a student is able to complete successfully and repeatedly, with their final grades in a variety of courses from college algebra through multivariate calculus. Using various conditional probabilities and odds ratios, we classify items based on their association with successful and unsuccessful course outcomes, showing that some skills that are advanced for some courses are fundamental or basic to more advanced courses. We examine the impact of specific items across the courses in the traditional college algebra, precalculus, and calculus sequence, as well as courses not typically covered by placement programs, such as higher calculus courses. Visualizations of the knowledge states associated to each student are given for some specific courses and for the entire collection of placement courses, allowing the impact of specific topics to be examined across the undergraduate curriculum.

AG-2013.11-675

math.HO

A strange bridge by Leonardo

Dirk Huylebrouck

On folio 855 recto of the Codex Atlanticus, Leonardo da Vinci drew three 'easily movable' bridges, but one of them is enigmatic: all 'replicas' in Leonardo museums and exhibitions come as a surprise, to say the least, to any engineer or architect whose attention is drawn to it. This is the case for models in Amboise (France), Chicago and Portland (USA), Florence (Italy) and for the one of the traveling exhibition by the Australian company 'Grande Exhibitions' that already visited 40 major cities in the world. All 'replicas' of the bridge model attributed to Leonardo have pillars standing on the deck of the bridge, while the deck is suspended by cables attached on these pillars. At first sight this problem does not catch the attention of the observer, as the bridge seems to be a mixed form of a beam and a suspension bridge, but it was not overlooked by my colleague architect-engineer Dr. Laurens Luyten (Gent, Belgium). Yet, after a TV-interview in Brussels so much pressure was exerted by some of the museum collaborators, the architect prefers to keep the silence about the engineering by these 'scientific' exhibitions. Yet, it is the author's opinion the ridiculous models do not honor Leonardo, and so the present paper takes up the challenge to report about his observation in his name (with his permission). Something should be done, for sure: millions of people look at the bridge replicas that immediately embarrass any engineer.

AG-2013.11-674

math.HO

Observations about Leonardo's drawings for Luca Pacioli

Dirk Huylebrouck

Three versions of Luca Pacioli's 'De Dvina Proportione' remain: a manuscript held in Milan, another in Geneva and a printed version edited in Venice. A recent book, 'Antologia della Divina Proporzione', has all three in one volume, allowing an easy comparison of the different versions. The present paper proposes some observations about these drawings, generally said to be of Leonardo da Vinci's hand.

AG-2013.11-533

math.HO

Fractions in elementary education

Frank Quinn

This paper is one of a series in which elementary-education practice is analyzed by comparison with the history of mathematics, mathematical structure, modern practice, and (occasionally) cognitive neuroscience. The primary concerns are: Why do so many children find elementary mathematics difficult? And, why are the ones who succeed still so poorly prepared for college material needed for technical careers? The answer provided by conventional wisdom is essentially that mathematics is difficult. Third-graders are not developmentally ready for the subtlety of fractions, for instance, and even high-performing students cannot be expected to develop the skills of experienced users. However we will see that this is far from the whole story and is probably wrong: elementary-education fractions are genuinely harder and less effective than the version employed by experienced users. Experts discard at least 90% of what is taught in schools. Our educational system is actually counterproductive for skill development, and the reasons for this are an important secondary concern.

AG-2013.10-406

math.HO

Justifying Definitions in Mathematics---Going Beyond Lakatos

Charlotte Werndl

This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world-justification, condition-justification and redundancy-justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show that various kinds of justification can be found and can be reasonable, and they fail to acknowledge the interplay between the different kinds of justification.

AG-2013.05-1127

math.HO

Schröder e la Teoria dei Gruppi

Davide Bondoni

This short paper focuses on Schröder's contribute towards a structural view of group theory.

AG-2013.05-1132

math.HO

Feedback from students' tests as a tool in teaching

Radoslav M. Dimitrić

A close look at students' written work on examinations offers a wealth of information about their performance, their knowledge of the subject, their strengths, weaknesses and misconceptions, and their overall level of mathematical skills and abilities. This information can be used to better ascertain how mathematical concepts taught in class were understood by students and to suggest various approaches that could be used to improve teaching. The process of analyzing students' work, although time consuming, can be rewarding and can have positive results for both students and instructors. My aim is fourfold: (a) To give a rationale for analysis of students' work, especially tests (b) to give possible explanations of students' performance; (c) to revisit aspects of teaching some mathematical constructs, such as function and, (d) to provide possible ways of improving the teaching of concepts considered in this paper.

AG-2013.04-459

math.HO

Infinitesimals as an issue in neo-Kantian philosophy of science

Thomas Mormann, Mikhail G. Katz

We seek to elucidate the philosophical context in which one of the most important conceptual transformations of modern mathematics took place, namely the so-called revolution in rigor in infinitesimal calculus and mathematical analysis. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind, and Weierstrass. The dominant current of philosophy in Germany at the time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our main thesis is that Marburg neo-Kantian philosophy formulated a sophisticated position towards the problems raised by the concepts of limits and infinitesimals. The Marburg school neither clung to the traditional approach of logically and metaphysically dubious infinitesimals, nor whiggishly subscribed to the new orthodoxy of the "great triumvirate" of Cantor, Dedekind, and Weierstrass that declared infinitesimals conceptus nongrati in mathematical discourse. Rather, following Cohen's lead, the Marburg philosophers sought to clarify Leibniz's principle of continuity, and to exploit it in making sense of infinitesimals and related concepts.

AG-2013.01-031

math.HO

Kolmogorov complexity as a hidden factor of scientific discourse: from Newton's law to data mining

Yuri I. Manin

The word "complexity" is most often used as a meta--linguistic expression referring to certain intuitive characteristics of a natural system and/or its scientific description. These characteristics may include: sheer amount of data that must be taken into account; visible "chaotic" character of these data and/or space distribution/time evolution of a system etc. This talk is centered around the precise mathematical notion of "Kolmogorov complexity", originated in the early theoretical computer science and measuring the degree to which an available information can be compressed. In the first part, I will argue that a characteristic feature of basic scientific theories, from Ptolemy's epicycles to the Standard Model of elementary particles, is their splitting into two very distinct parts: the part of relatively small Kolmogorov complexity ("laws", "basic equations", "periodic table", "natural selection, genotypes, mutations") and another part, of indefinitely large Kolmogorov complexity ("initial and boundary conditions", "phenotypes", "populations"). The data constituting this latter part are obtained by planned observations, focussed experiments, and afterwards collected in growing databases (formerly known as "books", "tables", "encyclopaedias" etc). In this discussion Kolomogorov complexity plays a role of the central metaphor. The second part and Appendix 1 are dedicated to more precise definitions and examples of complexity.

AG-2012.10-1203

math.HO

An Historical Perspective on Fractional Calculus in Linear Viscoelasticity

Francesco Mainardi

The article provides an historical survey of the early contributions on the applications of fractional calculus in linear viscoelasticty. The period under examination covers four decades, since 1930's up to 1970's and authors are from both Western and Eastern countries. References to more recent contributions may be found in the bibliography of the author's book. This paper reproduces, with Publisher's permission, Section 3.5 of the book: F. Mainardi, Fractional Calculus and Waves in Linear Viscoelasticity, Imperial College Press - London and World Scienti?c - Singapore, 2010.

AG-2012.10-1124

math.HO

Of Bombs and Boats and Mice and Men: A Random tour through some scaling laws

Niall MacKay

A trip through some of the standard examples of dimensional analysis and scaling, with further thoughts on yacht prices, growing up, mice, bears and marsupials.

AG-2012.09-153

math.HO

A Cauchy-Dirac delta function

Mikhail G. Katz, David Tall

The Dirac delta function has solid roots in 19th century work in Fourier analysis and singular integrals by Cauchy and others, anticipating Dirac's discovery by over a century, and illuminating the nature of Cauchy's infinitesimals and his infinitesimal definition of delta.

AG-2012.08-963

math.HO

Ockham's Razor, Probability and Quantum Physics as Logic

Eliahu Levy

This is a philosophy-intense physics article, or, if you wish, a physics-intense philosophy article. Also, being a mathematician, I tend to view the physics, in particular the essence of quantum physics, in emphasizing the mathematical structure that serves as its language. However, I do express views on typically philosophical/epistemological matters. Since these points of view do not seem to me too widely expressed in the literature, while I find them quite compelling, I think this note has some interest.

AG-2012.08-680

math.HO

Did Hypatia Know about Negative Numbers?

Marek Abramowicz, Anna Cetera

In this Letter we comment on one particular aspect of Hypatia's enigmatic biography by translating into English a short poem that appeared in a recent review of the third revised Polish edition of Maria Dzielska's book about Hypatia. It poses a simple and specifc question: did Hypatia know about the negative numbers?

AG-2012.04-2310

math.HO

Unity in Major Themes - Convergence vs. Arbitrariness in the Development of Mathematics

Bernhelm Booss-Bavnbek, Philip J. Davis

We describe and explain the desire, common among mathematicians, both for unity and independence in its major themes. In the dialogue that follows, we express our spontaneous and considered judgment and reservations by contrasting the development of mathematics as a goal-driven process as opposed to one that often seems to possess considerable arbitrariness.

AG-2012.03-1005

math.HO

The Art of Space Filling in Penrose Tilings and Fractals

San Le

Incorporating designs into the tiles that form tessellations presents an interesting challenge for artists. Creating a viable MC Escher like image that works esthetically as well as functionally requires resolving incongruencies at a tile's edge while constrained by its shape. Escher was the most well known practitioner in this style of mathematical visualization, but there are significant mathematical shapes to which he never applied his artistry. These shapes can incorporate designs that form images as appealing as those produced by Escher, and our paper explores this for traditional tessellations, Penrose Tilings, fractals, and fractal/tessellation combinations. To illustrate the versatility of tiling art, images were created with multiple figures and negative space leading to patterns distinct from the work of others.

AG-2012.01-1374

math.HO

Gender Gaps in the Mathematical Sciences: The Creativity Factor

Theodore P. Hill, Erika Rogers

This article presents an overview, and recent history, of studies of gender gaps in the mathematically-intensive sciences. Included are several statistics about gender differences in science, and about public resources aimed at addressing them. We then examine the role that gender differences in creativity play in explaining the recent and current gender differences in the mathematical sciences, and identify several constructive suggestions aimed at improving analytical creativity output in research institutions.

AG-2012.01-2235

math.HO

A Translation of the T. Levi-Civita paper: Interpretazione Gruppale degli Integrali di un Sistema Canonico Rend. Acc. Lincei, s. 3^a, vol. VII, 2^o sem. 1899, pp. 235--238

Giuseppe Saccomandi, Raffaele Vitolo

In this paper we provide a translation of a paper by T. Levi-Civita, published in 1899, about the correspondence between symmetries and conservation laws for Hamilton's equations. We discuss the results of this paper and their relationship with the more general classical results by E. Noether.

AG-2011.11-2556

math.HO

Is mathematics invading human cells? Impressions from a collaboration with diabetes doctors

Bernhelm Booss-Bavnbek

The author describes some of his experiences as a mathematician cooperating with diabetes specialists.

AG-2011.11-775

math.HO

Weyl geometry in late 20th century physics

Erhard Scholz

Weyl's original scale geometry of 1918 ("purely infinitesimal geometry") was withdrawn from physical theory in the early 1920s. It had a comeback in the last third of the 20th century in different contexts: scalar tensor theories of gravity, foundations of physics (gravity, quantum mechanics), elementary particle physics, and cosmology. Here we survey the last two segments. It seems that Weyl geometry continues to have an open research potential for the foundations of physics after the turn of the century.

AG-2011.10-120

math.HO

On the history of the isomorphism problem of dynamical systems with special regard to von Neumann's contribution

Miklos Redei, Charlotte Werndl

This paper reviews some major episodes in the history of the spatial isomorphism problem of dynamical systems theory (ergodic theory). In particular, by analysing, both systematically and in historical context, a hitherto unpublished letter written in 1941 by John von Neumann to Stanislaw Ulam, this paper clarifies von Neumann's contribution to discovering the relationship between spatial isomorphism and spectral isomorphism. The main message of the paper is that von Neumann's argument described in his letter to Ulam is the very first proof that spatial isomorphism and spectral isomorphism are not equivalent because spectral isomorphism is weaker than spatial isomorphism: von Neumann shows that spectrally isomorphic ergodic dynamical systems with mixed spectra need not be spatially isomorphic.

AG-2011.07-1064

math.HO

A possible use of the Kha's protractor

Amelia Carolina Sparavigna

I have recently proposed that an object, found in an Egyptian tomb and exposed at the Egyptian Museum of Torino, could be a protractor. The tomb was that of architect Kha, supervisor at Deir El-Medina during the 18th Dynasty, and his wife Merit. Considering then the object as a protractor, the architect could have used it to measure the angle of the inclined planes.

AG-2011.05-1062

math.HO

The Burgers equations as a first step towards the study of the incompressible flows (Lecture notes, in spanish)

Rafael Granero Belinchon, Jose Manuel Moreno Valderrama

In this lecture notes we present the equations and the physics involved in the dynamic of incompressible fluids. We present the mathematical techniques needed in order to prove the existence and uniqueness result for the case where we consider Burgers equation. We also explain an useful numerical method when dealing with this kind of equations. These lecture notes were written for the 2010 JAE-Intro Summer School. This Summer School was organized by ICMAT-CSIC and takes place in Madrid.

AG-2011.01-2133

math.HO

Galois Groups in the work of Mira Fernandes

Amaro José Rica da Silva

In connection to a review of the writings on Galois Theory of the Portuguese mathematician Aureliano Mira Fernandes at turn of the XXth century a brief narrative is presented on how the group theory concepts discovered by Galois are connected to previous work that took centuries to evolve, and how fast they changed the landscape of theoretical and applied mathematics and physics since its publication. From the conference "Mira Fernandes and his age - An historical Conference in honour of Aureliano de Mira Fernandes (1884-1958)", IST Lisbon, June 2009

AG-2010.09-1060

math.HO

A defense of Columbo (and of the use of Bayesian inference in forensics): A multilevel introduction to probabilistic reasoning

G. D'Agostini

Triggered by a recent interesting New Scientist article on the too frequent incorrect use of probabilistic evidence in courts, I introduce the basic concepts of probabilistic inference with a toy model, and discuss several important issues that need to be understood in order to extend the basic reasoning to real life cases. In particular, I emphasize the often neglected point that degrees of beliefs are updated not by `bare facts' alone, but by all available information pertaining to them, including how they have been acquired. In this light I show that, contrary to what claimed in that article, there was no "probabilistic pitfall" in the Columbo's episode pointed as example of "bad mathematics" yielding "rough justice". Instead, such a criticism could have a `negative reaction' to the article itself and to the use of Bayesian reasoning in courts, as well as in all other places in which probabilities need to be assessed and decisions need to be made. Anyway, besides introductory/recreational aspects, the paper touches important questions, like: role and evaluation of priors; subjective evaluation of Bayes factors; role and limits of intuition; `weights of evidence' and `intensities of beliefs' (following Peirce) and `judgments leaning' (here introduced), including their uncertainties and combinations; role of relative frequencies to assess and express beliefs; pitfalls due to `standard' statistical education; weight of evidences mediated by testimonies. A small introduction to Bayesian networks, based on the same toy model (complicated by the possibility of incorrect testimonies) and implemented using Hugin software, is also provided, to stress the importance of formal, computer aided probabilistic reasoning.

AG-2010.08-579

math.HO

The recension of the Kepler laws in England

Jonathan Taborda

The purpose of this note consists of discrete rational reconstruction which took place during the years 1609-1630 and 1630-1666, ie, the year of the publication of their Astronomia Nova and the year of death of the great German astronomer Johannes Kepler, and the subsequent range from desperate to knowledge of these laws of planetary motion, by the English scientist Sir Isaac Newton.

AG-2010.06-1084

math.HO

Gravity, an essential property of matter?

Jonathan Taborda

The aim of this short note is to realize that the main reason for non-mechanistic explanation of Newton's gravitational attraction, is explicitly encapsulated in his famous General Scholium of the second Edition of Principia Mathematica (1713).

AG-2010.03-600

math.HO

On the Peirce's "balancing reasons rule" failure in his "large bag of beans" example

G. D'Agostini

Take a large bag of black and white beans, with all possible proportions considered initially equally likely, and imagine to make random extractions with reintroduction. Twenty consecutive observations of black make us highly confident that the next bean will be black too. On the contrary, the observation of 1010 black beans and 990 white ones leads us to judge the two possible outcomes about equally probable. According to C.S. Peirce this reasoning violates what he called "rule of balancing reasons", because the difference of "arguments" in favor and against the outcome of black is 20 in both cases. Why? (I.e. why does that rule not apply here?)

AG-2010.01-116

math.HO

On the so-called Boy or Girl Paradox

G. D'Agostini

A quite old problem has been recently revitalized by Leonard Mlodinow's book The Drunkard's Walk, where it is presented in a way that has definitely confused several people, that wonder why the prevalence of the name of one daughter among the population should change the probability that the other child is a girl too. I try here to discuss the problem from scratch, showing that the rarity of the name plays no role, unless the strange assumption of two identical names in the same family is taken into account. But also the name itself does not matter. What is really important is `identification', meant in an acceptation broader than usual, in the sense that a child is characterized by a set of attributes that make him/her uniquely identifiable (`that one') inside a family. The important point of how the information is acquired is also commented, suggesting an explanation of why several people tend to consider the informations "at least one boy" and "a well defined boy" (elder/youngest or of a given name) equivalent.

AG-2009.03-331

math.HO

The mathematization of the individual sciences - revisited

Bernhelm Booss-Bavnbek

We recall major findings of a systematic investigation of the mathematization of the individual sciences, conducted by the author in Bielefeld some 35 years ago under the direction of Klaus Krickeberg, and confront them with recent developments in physics, medicine, economics, and spectral geometry.

AG-2007.06-143

math.HO

The Forgotten Night: The Number Devil Explores Spherical Geometry

Marissa L. Weichman

This is a missing chapter from Hans Magnus Enzensberger's mathematical adventure The Number Devil (Henry Holt and Company, New York, 1997). In the book, a math-hating boy named Robert is visited in his dreams by the clever Number Devil, who teaches him to love all things numerical. However, we all forget our dreams from time to time. Here is one adventure that Enzensberger overlooked, where the Number Devil introduces Robert to geometry not-of-Euclid, great circles, parallel transport, the pendulum of Foucault, and the genius of Euler.