Archive for History of Exact Sciences最新文献

The manuscript UCLA 170/624 (ff. 75–76) contains Galileo’s proof of the center of gravity of the frustum of a cone, which was ultimately published as Theoremata circa centrum gravitatis solidorum in Discorsi e dimostrazioni matematiche intorno a due nuove scienze (Leiden 1638). The UCLA copy opens the possibility of giving a fuller account of Theoremata dating and development, and it can shed light on the origins of this research by the young Galileo. A comparison of the UCLA manuscript with the other extant copies is carried out to propose a new dating for the composition of the Theoremata. This dating will then be reconsidered in light of the mathematical content. The paper ends with a complete description of the content of the UCLA manuscript and the edition of Galileo’s text there contained.

This paper addresses an article by Felix Klein of 1886, in which he generalized his theory of polynomial equations of degree 5—comprehensively discussed in his Lectures on the Icosahedron two years earlier—to equations of degree 6 and 7. To do so, Klein used results previously established in line geometry. I review Klein’s 1886 article, its diverse mathematical background, and its place within the broader history of mathematics. I argue that the program advanced by this article, although historically overlooked due to its eventual failure, offers a valuable insight into a time of crucial evolution of the subject.

Gauss’ 1809 discussion of least squares, which can be viewed as the beginning of mathematical statistics, is reviewed. The general consensus seems to be that Gauss’ arguments are at fault, but we show that his reasoning is in fact correct, given his self-imposed restrictions, and persuasive without these restrictions.

In this paper, we give a thorough account of Brianchon and Poncelet’s joint memoir on equilateral hyperbolas subject to four given conditions, focusing on the most significant theorems expounded therein, and the determination of the “nine-point circle”. We also discuss about the origin of this very rare example of collaborative work for the time, and the general challenge of finding the nature of the loci described by the centres of the conic sections required to pass through m points and to be tangent to n straight lines given in position, m + n = 4, which was posed at the end of their work. In the case m = 4, i.e. when the conic sections have to pass through the vertices of a quadrilateral, the locus of centres is another conic section passing through the intersection points of the opposite sides and the two diagonals of the quadrilateral, respectively, and, as Gergonne showed analytically shortly after, through other significant points connected with the quadrilateral; this curve was later given the name of the “nine-point conic”, being a natural generalization of the above mentioned circle.

Estimating the length of the Greek stadion remains controversial. This paper highlights the pitfalls of a purely metrological approach to this problem and proposes a formal differentiation between metrologically defined ancient measuring units and other measures used to estimate long distances. The common-sense approach to the problem is strengthened by some cross-over documentary evidence for usage of the so-called itinerary stadion in antiquity. We discuss the possibility of using statistical analysis methods to estimate the length of the stadion by comparing ancient routes with the actual distances. Simple numerical examples explain the limits of this approach, caused by the low number of data and by their mixed character. A special case of distances which can be calculated with the help of coordinates given in Ptolemy’s Geography is discussed, and has been shown to lead unavoidably to ambiguous solutions.

Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical consequence and its properties. These texts have not been referred to in the literature before. We provide a complete reconstruction and transcription of these previously unpublished sets of manuscript sheets and analyse their main content. In the reconstructed text, Peirce is seen to outline both a general theory of deduction and a general theory of consequence relation. The two are the cornerstones of modern logic and have played a crucial role in its development. From the wider perspective, Peirce is led to these theories by three important generalizations: propositions to all signs, truth to scriptibility, and derivation to transformability. We provide an exposition of such proposed semiotic foundation for logical constants and point out a couple of further innovations in this rare text, including the sheet of assertion, correction as a dual of deduction and the nature of conditionals as variably strict conditionals.

The Latin edition of the Mathematicae Collectiones was published in print in 1588, thirteen years after Federico Commandino’s demise. For his Latin version of Pappus’s work, Comandino used two Greek codices, formerly identified by Treweek. In this article, another Greek manuscript, revised and annotated by Commandino, is revealed. Two letters from Commandino to Ettore Ausonio shed new light on the edition of Pappus’s Collectio and show the partnership between the two mathematicians in elaborating supplementary proofs to include in the comments. Using these letters, we can date the first draft of the Latin version in the late 1560s. The posthumous edition of the Mathematicae Collectiones involved Commandino’s disciples and, in particular, Guidobaldo del Monte. The comparison between the manuscripts and the printed edition reveals an important role played by the disciple in revising the Latin translation of his master.

In the last decade, the Poincaré conjecture has probably been the most famous statement among all the contributions of Poincaré to the mathematics community. There have been many papers and books that describe various attempts and the final works of Perelman leading to a positive solution to the conjecture, but the evolution of Poincaré’s works leading to this conjecture has not been carefully discussed or described, and some other historical aspects about it have not been addressed either. For example, one question is how it fits into the overall work of Poincaré in topology, and what are some other related questions that he had raised. Since Poincaré did not state the Poincaré conjecture as a conjecture but rather raised it as a question, one natural question is why he did this. In order to address these issues, in this paper, we examine Poincaré’s works in topology in the framework of classifying manifolds through numerical and algebraic invariants. Consequently, we also provide a full history of the formulation of the Poincaré conjecture which is richer than what is usually described and accepted and hence gain a better understanding of overall works of Poincaré in topology. In addition, this analysis clarifies a puzzling question on the relation between Poincaré’s stated motivations for topology and the Poincaré conjecture.

In the middle part of his Brouillon Project on conics, Girard Desargues develops the theory of the traversale, a notion that generalizes the Apollonian diameter and allows to give a unified treatment of the three kinds of conics. We showed elsewhere that it leads Desargues to a complete theory of projective polarity for conics. The present article, which shall close our study of the Brouillon Project, is devoted to the last part of the text, in which Desargues puts his theory of the traversal into practice by giving a very elegant tratment of the classical theory of parameters and foci. This will lead us to show that Desargues’ proofs can only be understood if one accepts that he reasons in a resolutely projective framework, completely assimilating elements at infinity to those at finite distance in his proofs.