Emmy Noether’s first great mathematics and the culmination of first-phase logicism,formalism, and intuitionism

Emmy Noether’s many articles around the time that Felix Klein and David Hilbert were arranging her invitation to Göttingen include a short but brilliant note on invariants of finite groups highlighting her creativity and perspicacity in algebra. Contrary to the idea that Noether abandoned Paul Gordan’s style of mathematics for Hilbert’s, this note shows her combining them in a way she continued throughout her mature abstract algebra.     

Emilie du Châtelet’s Institutions de physique as a document in the history of French Newtonianism

This paper discusses the contribution of Madame Du Châtelet to the reception of Newtonianism in France prior to her translation of Newton’s Principia. It focuses on her Institutions de physique, a work normally considered for its contribution to the reception of Leibniz in France. By comparing the different editions of the Institutions, I argue that her interest in Newton antedated her interest in Leibniz, and that she did not see Leibniz’s metaphysics as incompatible with Newtonian science. Her Newtonianism can be seen to be in the course of development between 1738 and 1742 and it was shaped by contemporary French debates (for example the vis viva controversy) and the achievement of French Newtonians like Maupertuis in confirming his theories. Her Institutions therefore is linked to the same drive to disseminate Newtonianism undertaken by popularisations such as Voltaire’s Elements de la philosophie de Newton and Algarotti’s Newtonianismo per le dame.     

Émilie Du Châtelet's interpretation of the laws of motion in the light of 18th century mechanics

Émilie Du Châtelet is well known for her French translation of Newton's Philosophiae Naturalis Principia Mathematica. It is the first and only French translation of Newton's magnum opus. The complete work appeared in 1759 under the title Principes mathématiques de la philosophie naturelle, par feue Madame la Marquise Du Chastellet. Before translating Newton's Principia, Du Châtelet worked on her Institutions de physique. In this book she defended the Leibnizian concept of living forces – vis viva. This paper argues that both of these works were part of a critical transformation and consolidation of post-Newtonian mechanics in the early 18th century, beyond Newton and Leibniz. This will be shown by comparing Du Châtelet's translation of Newton's axioms with her own formulations of the laws of motion in light of Thomas Le Seur's and François Jacquier's Geneva edition which holds a special place among the several editions of the Principia that appeared in the early 18th century.     

Understanding Deutsch's probability in a deterministic multiverse

Difficulties over probability have often been considered fatal to the Everett interpretation of quantum mechanics. Here I argue that the Everettian can have everything she needs from ‘probability’ without recourse to indeterminism, ignorance, primitive identity over time or subjective uncertainty: all she needs is a particular rationality principle.The decision-theoretic approach recently developed by Deutsch and Wallace claims to provide just such a principle. But, according to Wallace, decision theory is itself applicable only if the correct attitude to a future Everettian measurement outcome is subjective uncertainty. I argue that subjective uncertainty is not available to the Everettian, but I offer an alternative: we can justify the Everettian application of decision theory on the basis that an Everettian should care about all her future branches. The probabilities appearing in the decision-theoretic representation theorem can then be interpreted as the degrees to which the rational agent cares about each future branch. This reinterpretation, however, reduces the intuitive plausibility of one of the Deutsch–Wallace axioms (measurement neutrality).     

Gauss’ quadratic reciprocity theorem and mathematical fruitfulness

This paper presents an account of the fruitfulness of new mathematical calculi in terms of their relationship to existing mathematical methods which is suggested by Carl Friedrich Gauss. This is done by considering some remarks that Gauss made explaining the fruitfulness of new calculi. These can be clarified in the context of his own (very fruitful) theory of congruences, which is considered as a case study for this alternative account. Such an account has the benefit of not being dependent on a particular metaphysical view in the philosophy of mathematics.     

Fricker on testimonial justification

Elizabeth Fricker has recently proposed a principle aimed at stating the necessary and sufficient conditions for testimonial justification. Her proposal entails that a hearer is justified in believing a speaker’s testimony only if she recognizes the speaker to be trustworthy, which, given Fricker’s internalist commitments, requires the hearer to have within her epistemic purview grounds which justify belief in the speaker’s trustworthiness. We argue that, as it stands, Fricker’s principle is too demanding, and we propose some amendments to it. We further discuss the viability of her internalist approach to testimony.     

Galileo’s quanti: understanding infinitesimal magnitudes

In On Local Motion in the Two New Sciences, Galileo distinguishes between ‘time’ and ‘quanto time’ to justify why a variation in speed has the same properties as an interval of time. In this essay, I trace the occurrences of the word quanto to define its role and specific meaning. The analysis shows that quanto is essential to Galileo’s mathematical study of infinitesimal quantities and that it is technically defined. In the light of this interpretation of the word quanto, Evangelista Torricelli’s theory of indivisibles can be regarded as a natural development of Galileo’s insights about infinitesimal magnitudes, transformed into a geometrical method for calculating the area of unlimited plane figures.     

The foundational aspects of Gauss’s work on the hypergeometric,factorial and digamma functions

In his writings about hypergeometric functions Gauss succeeded in moving beyond the restricted domain of eighteenth-century functions by changing several basic notions of analysis. He rejected formal methodology and the traditional notions of functions, complex numbers, infinite numbers, integration, and the sum of a series. Indeed, he thought that analysis derived from a few, intuitively given notions by means of other well-defined concepts which were reducible to intuitive ones. Gauss considered functions to be relations between continuous variable quantities while he regarded integration and summation as appropriate operations with limits. He also regarded infinite and infinitesimal numbers as a façon de parler and used inequalities in order to prove the existence of certain limits. He took complex numbers to have the same legitimacy as real quantities. However, Gauss’s continuum was linked to a revised form of the eighteenth-century notion of continuous quantity: it was not reducible to a set of numbers but was immediately given.     

Thomas Harriot’s optics,between experiment and imagination: the case of Mr Bulkeley’s glass

Some time in the late 1590s, the Welsh amateur mathematician John Bulkeley wrote to Thomas Harriot asking his opinion about the properties of a truly gargantuan (but totally imaginary) plano-spherical convex lens, 48 feet in diameter. While Bulkeley’s original letter is lost, Harriot devoted several pages to the optical properties of “Mr Bulkeley his Glasse” in his optical papers (now in British Library MS Add. 6789), paying particular attention to the place of its burning point. Harriot’s calculational methods in these papers are almost unique in Harriot’s optical remains, in that he uses both the sine law of refraction and interpolation from Witelo’s refraction tables in order to analyze the passage of light through the glass. For this and other reasons, it is very likely that Harriot wrote his papers on Bulkeley’s glass very shortly after his discovery of the law and while still working closely with Witelo’s great Optics; the papers represent, perhaps, his very first application of the law. His and Bulkeley’s interest in this giant glass conform to a long English tradition of curiosity about the optical and burning properties of large glasses, which grew more intense in late sixteenth-century England. In particular, Thomas Digges’s bold and widely known assertions about his father’s glasses that could see things several miles distant and could burn objects a half-mile or further away may have attracted Harriot and Bulkeley’s skeptical attention; for Harriot’s analysis of the burning distance and the intensity of Bulkeley’s fantastic lens, it shows that Digges’s claims could never have been true about any real lens (and this, I propose, was what Bulkeley had asked about in his original letter to Harriot). There was also a deeper, mathematical relevance to the problem that may have caught Harriot’s attention. His most recent source on refraction—Giambattista della Porta’s De refractione of 1593—identified a mathematical flaw in Witelo’s cursory suggestion about the optics of a lens (the only place that lenses appear, however fleetingly, in the writings of the thirteenth-century Perspectivist authors). In his early notes on optics, in a copy of Witelo’s optics, Harriot highlighted Witelo’s remarks on the lens and della Porta’s criticism (which he found unsatisfactory). The most significant problem with Witelo’s theorem would disappear as the radius of curvature of the lens approached infinity. Bulkeley’s gigantic glass, then, may have provided Harriot an opportunity to test out Witelo’s claims about a plano-spherical glass, at a time when he was still intensely concerned with the problems and methods of the Perspectivist school.     

Formal and physical equivalence in two cases in contemporary quantum physics

The application of analytic continuation in quantum field theory (QFT) is juxtaposed to T-duality and mirror symmetry in string theory. Analytic continuation—a mathematical transformation that takes the time variable t to negative imaginary time—it—was initially used as a mathematical technique for solving perturbative Feynman diagrams, and was subsequently the basis for the Euclidean approaches within mainstream QFT (e.g., Wilsonian renormalization group methods, lattice gauge theories) and the Euclidean field theory program for rigorously constructing non-perturbative models of interacting QFTs. A crucial difference between theories related by duality transformations and those related by analytic continuation is that the former are judged to be physically equivalent while the latter are regarded as physically inequivalent. There are other similarities between the two cases that make comparing and contrasting them a useful exercise for clarifying the type of argument that is needed to support the conclusion that dual theories are physically equivalent. In particular, T-duality and analytic continuation in QFT share the criterion for predictive equivalence that two theories agree on the complete set of expectation values and the mass spectra and the criterion for formal equivalence that there is a “translation manual” between the physically significant algebras of observables and sets of states in the two theories. The analytic continuation case study illustrates how predictive and formal equivalence are compatible with physical inequivalence, but not in the manner of standard underdetermination cases. Arguments for the physical equivalence of dual theories must cite considerations beyond predictive and formal equivalence. The analytic continuation case study is an instance of the strategy of developing a physical theory by extending the formal or mathematical equivalence with another physical theory as far as possible. That this strategy has resulted in developments in pure mathematics as well as theoretical physics is another feature that this case study has in common with dualities in string theory.     

Radical mathematical Thomism: beings of reason and divine decrees in Torricelli’s philosophy of mathematics

Evangelista Torricelli (1608-1647) is perhaps best known for being the most gifted of Galileo’s pupils, and for his works based on indivisibles, especially his stunning cubature of an infinite hyperboloid. Scattered among Torricelli’s writings, we find numerous traces of the philosophy of mathematics underlying his mathematical practice. Though virtually neglected by historians and philosophers alike, these traces reveal that Torricelli’s mathematical practice was informed by an original philosophy of mathematics. The latter was dashed with strains of Thomistic metaphysics and theology. Torricelli’s philosophy of mathematics emphasized mathematical constructs as human-made beings of reason, yet mathematical truths as divine decrees, which upon being discovered by the mathematician ‘appropriate eternity’. In this paper, I reconstruct Torricelli’s philosophy of mathematics—which I label radical mathematical Thomism—placing it in the context of Thomistic patterns of thought.     

Successful visual epistemic representation

In this paper, I characterize visual epistemic representations as concrete two- or three-dimensional tools for conveying information about aspects of their target systems or phenomena of interest. I outline two features of successful visual epistemic representation: that the vehicle of representation contain sufficiently accurate information about the phenomenon of interest for the user's purpose, and that it convey this information to the user in a manner that makes it readily available to her. I argue that actual epistemic representation may involve tradeoffs between these features and is successful to the extent that they are present.     

Edward Gresham’s Astrostereon,or A Discourse of the Falling of the Planet (1603), the Copernican paradox,and the construction of early modern proto-scientific discourse

This paper investigates the functioning of the ‘Copernican paradox’ (stating that the Sun stands still and the Earth revolves around the Sun) in the late sixteenth- and early seventeenth-century England, with particular attention to Edward Gresham's (1565–1613) little-known and hitherto understudied astronomical treatise – Astrostereon, or A Discourse of the Falling of the Planet (1603). The text, which is fully appreciative of the heliocentric system, is analysed within a broader context of the ongoing struggles with the Copernican theory at the turn of the seventeenth century. The article finds that apart from having a purely rhetorical function, the ‘Copernican paradox’ featured in the epistemological debates on how early modern scientific knowledge should be constructed and popularised. The introduction of new scientific claims to sceptical audiences had to be done both through mathematical demonstrations and by referring to the familiar concepts and tools drawn from the inventory of humanist education. As this article shows, Gresham's rhetorical techniques used for the rejection of paradoxicality of heliocentrism are similar to some of the practices which Thomas Digges and William Gilbert employed in order to defend their own findings and assertions.     

Margaret Cavendish and Joseph Glanvill: science, religion, and witchcraft

Many scholars point to the close association between early modern science and the rise of rational arguments in favour of the existence of witches. For some commentators, it is a poor reflection on science that its methods so easily lent themselves to the unjust persecution of innocent men and women. In this paper, I examine a debate about witches between a woman philosopher, Margaret Cavendish (1623-1673), and a fellow of the Royal Society, Joseph Glanvill (1636-1680). I argue that Cavendish is the voice of reason in this exchange—not because she supports the modern-day view that witches do not exist, but because she shows that Glanvill’s arguments about witches betray his own scientific principles. Cavendish’s responses to Glanvill suggest that, when applied consistently, the principles of early modern science could in fact promote a healthy scepticism toward the existence of witches.     

分解式PID-模糊控制及其在ABS中的应用

为解决路面发生跃变时车轮抱死的问题,提出一种分解式PID模糊控制器（p-I-D Fuzzy）,并应用于ABS。建立模糊系统输出与输入的函数关系,结合PID表达式,理论分析表明该型控制器具有类似参数自适应整定PID的功能。分别在典型的高、中、低附着路面,以及跃变路面上进行仿真实验。结果表明这种控制器适应性强,在跃变路面下,超调量小,跟踪迅速。     

The making of an intrinsic property: “Symmetry heuristics” in early particle physics

Mathematical invariances, usually referred to as “symmetries”, are today often regarded as providing a privileged heuristic guideline for understanding natural phenomena, especially those of micro-physics. The rise of symmetries in particle physics has often been portrayed by physicists and philosophers as the “application” of mathematical invariances to the ordering of particle phenomena, but no historical studies exist on whether and how mathematical invariances actually played a heuristic role in shaping microphysics. Moreover, speaking of an “application” of invariances conflates the formation of concepts of new intrinsic degrees of freedom of elementary particles with the formulation of models containing invariances with respect to those degrees of freedom. I shall present here a case study from early particle physics (ca. 1930–1954) focussed on the formation of one of the earliest concepts of a new degree of freedom, baryon number, and on the emergence of the invariance today associated to it. The results of the analysis show how concept formation and “application” of mathematical invariances were distinct components of a complex historical constellation in which, beside symmetries, two further elements were essential: the idea of physically conserved quantities and that of selection rules. I shall refer to the collection of different heuristic strategies involving selection rules, invariances and conserved quantities as the “SIC-triangle” and show how different authors made use of them to interpret the wealth of new experimental data. It was only a posteriori that the successes of this hybrid “symmetry heuristics” came to be attributed exclusively to mathematical invariances and group theory, forgetting the role of selection rules and of the notion of physically conserved quantity in the emergence of new degrees of freedom and new invariances. The results of the present investigation clearly indicate that opinions on the role of symmetries in fundamental physics need to be critically reviewed in the spirit of integrated history and philosophy of science.