A dialogue on the use of arithmetic in geometry: Van Ceulen’s and Snellius’s Fundamenta Arithmetica et Geometrica

Snellius’s Fundamenta Arithmetica et Geometrica (1615) is much more than a Latin translation of Ludolph van Ceulen’s Arithmetische en Geometrische Fondamenten. Willebrord Snellius both adapted and commented on the Dutch original in his Fundamenta, and thus his Latin version can be read as a dialogue between representatives of two different approaches to mathematics in the early modern period: Snellius’s humanist approach and Van Ceulen’s practitioner’s approach. This article considers the relationship between the Dutch and Latin versions of the text and, in particular, puts some of their statements on the use of numbers in geometry under the microscope. In addition, Snellius’s use of the Fundamenta as an instrument to further his career is explained.     

In memoriam Israel Gohberg August 23, 1928-October 12, 2009

This obituary for Israel Gohberg consists of a general introduction, separate contributions of the six authors, all of whom worked closely with him, and a final note. The material gives an impression of the life of this great mathematician, of his monumental impact in the areas he worked in, of how he cooperated with colleagues, and of his ability to stimulate people in their mathematical activities.     

Extending and interpreting Post’s programme

Computability theory concerns information with a causal-typically algorithmic-structure. As such, it provides a schematic analysis of many naturally occurring situations. Emil Post was the first to focus on the close relationship between information, coded as real numbers, and its algorithmic infrastructure. Having characterised the close connection between the quantifier type of a real and the Turing jump operation, he looked for more subtle ways in which information entails a particular causal context. Specifically, he wanted to find simple relations on reals which produced richness of local computability-theoretic structure. To this extent, he was not just interested in causal structure as an abstraction, but in the way in which this structure emerges in natural contexts. Post’s programme was the genesis of a more far reaching research project.In this article we will firstly review the history of Post’s programme, and look at two interesting developments of Post’s approach. The first of these developments concerns the extension of the core programme, initially restricted to the Turing structure of the computably enumerable sets of natural numbers, to the Ershov hierarchy of sets. The second looks at how new types of information coming from the recent growth of research into randomness, and the revealing of unexpected new computability-theoretic infrastructure. We will conclude by viewing Post’s programme from a more general perspective. We will look at how algorithmic structure does not just emerge mathematically from information, but how that emergent structure can model the emergence of very basic aspects of the real world.     

Newton’s method and high-order algorithms for the nth root computation

Two modifications of Newton’s method to accelerate the convergence of the n$n$th root computation of a strictly positive real number are revisited. Both modifications lead to methods with prefixed order of convergence p∈N,p≥2$p\in \mathbb{N},p\ge 2$. We consider affine combinations of the two modified p$p$th-order methods which lead to a family of methods of order p$p$ with arbitrarily small asymptotic constants. Moreover the methods are of order p+1$p+1$ for some specific values of a parameter. Then we consider affine combinations of the three methods of order p+1$p+1$ to get methods of order p+1$p+1$ again with arbitrarily small asymptotic constants. The methods can be of order p+2$p+2$ with arbitrarily small asymptotic constants, and also of order p+3$p+3$ for some specific values of the parameters of the affine combination. It is shown that infinitely many p$p$th-order methods exist for the n$n$th root computation of a strictly positive real number for any p≥3$p\ge 3$.     

The difficult birth of stochastics: Jacob Bernoulli's Ars Conjectandi (1713)

Jacob Bernoulli (1654–1705) did most of his research on the mathematics of uncertainty – or stochastics, as he came to call it – between 1684 and 1690. However, the Ars Conjectandi, in which he presented his insights (including the fundamental “Law of Large Numbers”), was printed only in 1713, eight years after his death. The paper studies the sources and the development of Bernoulli's ideas on probability, the reasons behind the delay in publishing and the circumstances under which his masterpiece eventually reached the public.     

Computing devices,mathematics education and mathematics: Sexton’s omnimetre in its time

Material objects can tell us much about mathematical practice. In 1899, Albert Sexton, a Philadelphia mechanical engineer, received the John Scott Medal of the Franklin Institute for his invention of the omnimetre. This inexpensive circular slide rule was one of a host of computing devices that became common in the United States around 1900. It is inscribed “NUMERI MUNDUM REGUNT”. In part because of instruments such as the omnimetre, numbers increasingly ruled the practical world of the late 19th and early 20th century. This changed not only engineering, but mathematics education and mathematical work.     

Sets versus trial sequences,Hausdorff versus von Mises: “Pure” mathematics prevails in the foundations of probability around 1920

The paper discusses the tension which occurred between the notions of set (with measure) and (trial-) sequence (or—to a certain degree—between nondenumerable and denumerable sets) when used in the foundations of probability theory around 1920. The main mathematical point was the logical need for measures in order to describe general nondiscrete distributions, which had been tentatively introduced before (1919) based on von Mises’s notion of the “Kollektiv.” In the background there was a tension between the standpoints of pure mathematics and “real world probability” (in the words of J.L. Doob) at the time. The discussion and publication in English translation (in Appendix) of two critical letters of November 1919 by the “pure” mathematician Felix Hausdorff to the engineer and applied mathematician Richard von Mises compose about one third of the paper. The article also investigates von Mises’s ill-conceived effort to adopt measures and his misinterpretation of an influential book of Constantin Carathéodory. A short and sketchy look at the subsequent development of the standpoints of the pure and the applied mathematician—here represented by Hausdorff and von Mises—in the probability theory of the 1920s and 1930s concludes the paper.     

Beyond Cartesian limits: Leibniz's passage from algebraic to “transcendental” mathematics

This article deals with Leibniz's reception of Descartes' “geometry.” Leibnizian mathematics was based on five fundamental notions: calculus, characteristic, art of invention, method, and freedom. On the basis of methodological considerations Leibniz criticized Descartes' restriction of geometry to objects that could be given in terms of algebraic (i.e., finite) equations: “Descartes's mind was the limit of science.” The failure of algebra to solve equations of higher degree led Leibniz to develop linear algebra, and the failure of algebra to deal with transcendental problems led him to conceive of a science of the infinite. Hence Leibniz reconstructed the mathematical corpus, created new (transcendental) notions, and redefined known notions (equality, exactness, construction), thus establishing “a veritable complement of algebra for the transcendentals”: infinite equations, i.e., infinite series, became inestimable tools of mathematical research.     

The projective geometry of Mario Pieri: A legacy of Georg Karl Christian von Staudt

The research of Mario Pieri (1860–1913) can be classified into three main areas: metric differential and algebraic geometry and vector analysis; foundations of geometry and arithmetic; logic and the philosophy of science. In writing this article, I intend to reveal some important aspects of his contributions to the foundations of projective geometry, notably those that emanated from his intensive study of the works of Georg Karl Christian von Staudt (1798–1867). Pieri was the first geometer to successfully establish projective geometry as an independent subject (rigorous mathematical theory), freed from all ties to Euclidean geometry. The path to this achievement began with Staudt, and involved the reformulation of the classical ideas of cross ratio and projectivity in terms of harmonic sets, as well as a critical analysis of the proof of a fundamental theorem that connects these ideas. Included is a brief overview of Pieri's life and work.     

Leonhard Euler’s use and understanding of mathematical transcendence

Leonhard Euler primarily applied the term “transcendental” to quantities which could be variable or determined. Analyzing Euler’s use and understanding of mathematical transcendence as applied to operations, functions, progressions, and determined quantities as well as the eighteenth century practice of definition allows the author to evaluate claims that Euler provided the first modern definition of a transcendental number. The author argues that Euler’s informal and pragmatic use of mathematical transcendence highlights the general nature of eighteenth century mathematics and proposes an alternate perspective on the issue at hand: transcendental numbers inherited their transcendental classification from functions.     

Paolo Pizzetti: The forgotten originator of triangle comparison geometry

The theorem comparing the angles of two geodesic triangles with the same side lengths lying on surfaces with different curvatures, commonly attributed for the two-dimensional case to A.D. Alexandrov (1948) and for the n-dimensional Riemannian case to V.A. Toponogov (1959), goes back, for the two-dimensional case, to Paolo Pizzetti (1907b). Besides suggesting a correction of the historical narrative regarding the development of comparison geometry, the present note also mentions possible reasons for the oversight.     

The emergence of open sets,closed sets,and limit points in analysis and topology

General topology has its roots in real and complex analysis, which made important uses of the interrelated concepts of open set, of closed set, and of a limit point of a set. This article examines how those three concepts emerged and evolved during the late 19th and early 20th centuries, thanks especially to Weierstrass, Cantor, and Lebesgue. Particular attention is paid to the different forms of the Bolzano–Weierstrass Theorem found in the latter's unpublished lectures. An abortive early, unpublished introduction of open sets by Dedekind is examined, as well as how Peano and Jordan almost introduced that concept. At the same time we study the interplay of those three concepts (together with those of the closure of a set and of the derived set of a set) in the struggle to determine the ultimate foundations on which general topology was built, during the first half of the 20th century.     

From anomaly to fundament: Louis Poinsot's theories of the couple in mechanics

In 1803 Louis Poinsot published a textbook on statics, in which he made clear that the subject dealt not only with forces but also with ‘couples’ (his word), pairs of coplanar non-collinear forces equal in magnitude and direction but opposite in sense. His innovation was not understood or even welcomed by some contemporary mathematicians. Later he adapted his theory to put forward a new relationship between rectilinear and rotational motion in dynamics; its reception was more positive, although not always appreciative of the generality. After summarising the creation of these two theories and noting their respective receptions, this paper considers his advocacy of spatial and geometrical thinking in mechanics and the fact that, despite its importance, historians of statics who cover his period usually ignore his theory of couples.