This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...) the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

The idea of a canonical transformation emerged in 1837 in the course of Carl Jacobi's researches in analytical dynamics. To understand Jacobi's moment of discovery it is necessary to examine some background, especially the work of Joseph Lagrange and Siméon Poisson on the variation of arbitrary constants as well as some of the dynamical discoveries of William Rowan Hamilton. Significant figures following Jacobi in the middle of the century were Adolphe Desboves and William Donkin, while the delayed posthumous publication in (...) 1866 of Jacobi's full dynamical corpus was a critical event. François Tisserand's doctoral dissertation of 1868 was devoted primarily to lunar and planetary theory but placed Hamilton–Jacobi mathematical methods at the forefront of the investigation. Henri Poincaré's writings on celestial mechanics in the period 1890–1910 succeeded in making canonical transformations a fundamental part of the dynamical theory. Poincaré offered a mathematical vision of the subject that differed from Jacobi's and would become influential in subsequent research. Two prominent researchers around 1900 were Carl Charlier and Edmund Whittaker, and their books included chapters devoted explicitly to transformation theory. In the first three decades of the twentieth century Hamilton–Jacobi theory in general and canonical transformations in particular would be embraced by a range of researchers in astronomy, physics and mathematics. (shrink)

Setting out to understand Frege, the scholar confronts a roadblock at the outset: We just have little to go on. Much of the unpublished work and correspondence is lost, probably forever. Even the most basic task of imagining Frege's intellectual life is a challenge. The people he studied with and those he spent daily time with are little known to historians of philosophy and logic. To be sure, this makes it hard to answer broad questions like: 'Who influenced Frege?' But (...) the information vacuum also creates local problems of textual interpretation. Say we encounter a sentence that may be read as alluding to a scientific dispute. Should it be read that way? To answer, we'd need to address prior questions. Is it .. (shrink)

The aim of this paper is to provide a comprehensive exposition of the early contributions to the so-called Campbell, Baker, Hausdorff, Dynkin Theorem during the years 1890–1950. Related works by Schur, Poincaré, Pascal, Campbell, Baker, Hausdorff, and Dynkin will be investigated and compared. For a full recovery of the original sources, many mathematical details will also be furnished. In particular, we rediscover and comment on a series of five notable papers by Pascal (Lomb Ist Rend, 1901–1902), which nowadays are almost (...) forgotten. (shrink)

Frege's docent's dissertation Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen(1874) contains indications of a bold attempt to extend arithmetic. According to it, arithmetic means the science of magnitude, and magnitude must be understood structurally without intuitive support. The main thing is insight into the formal structure of the operation of ?addition?. It turns out that a general ?magnitude domain? coincides with a (commutative) group. This is an interesting connection with simultaneous developments in abstract algebra. As his main application, (...) Frege studies iterations of functions. He does not yet pose the question of existence proofs. Measurement of magnitudes is also connected to numbers, but the discussion is here ambiguous in a way which calls for the systematic account of numbers in Grundgesetze. (shrink)

Originally published in 1904, Whittaker’s A Treatise on the Analytical Dynamics of Particles and Rigid Bodies soon became a classic of the subject and has remained in print for most of these 108 years. In this paper, we follow the book as it develops from a report that Whittaker wrote for the British Society for the Advancement of Science to its influence on Dirac’s version of quantum mechanics in the 1920s and beyond.