In the seventeenth and eighteenth centuries, mathematicians and physical philosophers managed to study, via mathematics, various physical systems of the sublunar world through idealized and simplified models of these systems, constructed with the help of geometry. By analyzing these models, they were able to formulate new concepts, laws and theories of physics and then through models again, to apply these concepts and theories to new physical phenomena and check the results by means of experiment. Students’ difficulties with the mathematics of (...) high school physics are well known. Science education research attributes them to inadequately deep understanding of mathematics and mainly to inadequate understanding of the meaning of symbolic mathematical expressions. There seem to be, however, more causes of these difficulties. One of them, not independent from the previous ones, is the complex meaning of the algebraic concepts used in school physics, as well as the complexities added by physics itself. Another source of difficulties is that the theories and laws of physics are often applied, via mathematics, to simplified, and idealized physical models of the world and not to the world itself. This concerns not only the applications of basic theories but also all authentic end-of-the-chapter problems. Hence, students have to understand and participate in a complex interplay between physics concepts and theories, physical and mathematical models, and the real world, often without being aware that they are working with models and not directly with the real world. (shrink)

Algebraic equations in the tradition of Descartes and Frans Van Schooten accompany Christiaan Huygens’s early work on collision, which later would be reorganized and presented as De motu corporum ex percussione. Huygens produced the equations at the same time as his announcement of his rejection of Descartes’s rules of collision. Never intended for publication, the equations appear to have been used as preliminary scaffolding on which to build his critiques of Descartes’s physics. Additionally, Huygens used algebraic equations of this form (...) to accurately predict the speeds of bodies after collision in experiments carried out at the Royal Society. Despite their deceptive simplicity, Huygens’s algebraic equations pose significant conceptual problems both mathematically and for their physical interpretation especially for negative speeds; they may very well have been the source of a new principle, the conservation of quantity of motion with direction. (shrink)

The problem of ‘collective unity’ in the transcendental philosophies of Kant and Husserl is investigated on the basis of number’s exemplary ‘collective unity’. To this end, the investigation reconstructs the historical context of the conceptuality of the mathematics that informs Kant’s and Husserl’s accounts of manifold, intuition, and synthesis. On the basis of this reconstruction, the argument is advanced that the unity of number – not the unity of the ‘concept’ of number – is presupposed by each transcendental philosopher in (...) their accounts of the transcendental foundation of manifold, intuition, and synthesis. This presupposition is ultimately traced to Kant’s and Husserl’s responses to Hume’s philosophy of human understanding and the critical limits of what Kant calls the ‘qualitative’ unity of transcendental consciousness. These critical limits are exposed in both philosophers’ attempts to account for that ‘qualitative’ unity on the basis of the ‘quantitative’ unity of number. (shrink)

Historians of science find it difficult to pinpoint to an exact period in which symbolic algebra came into existence. This can be explained partly because the historical process leading to this breakthrough in mathematics has been a complex and diffuse one. On the other hand, it might also be the case that in the early twentieth century, historians of mathematics over emphasized the achievements in algebraic procedures and underestimated the conceptual changes leading to symbolic algebra. This paper attempts to provide (...) a more precise setting for the historical context in which this decisive step to symbolic reasoning took place. For that purpose we will consider algebraic problem solving as model-based reasoning and symbolic representation as a model. This allows us to characterize the emergence of symbolic algebra as a shift from a geometrical to a symbolic mode of representation. The use of the symbolic as a model will be situated in the context of mercantilism where merchant activity of exchange has led to reciprocal relations between money and wealth. (shrink)

This introductory paper provides an overview of four contributions on the epistemological functions of mathematical symbolism as it emerged in Arabic and European treatises on algebra. The evolution towards symbolic algebra was a long and difficult process in which many obstacles had to be overcome. Three of these obstacles, related to the circulation and adoption of symbolism, are highlighted in this special volume: 1) the transition of material practices of algebraic calculation to discursive practices and text production, 2) the transition (...) from manuscript production to printed works involving material limitations of typefaces, and 3) the transition of algebraic symbolism from a system of notation and representation to a tool of mathematical analysis. This paper will conclude with the observation that the whole development towards symbolization can be considered an obstacle by itself in the sense of ‘epistemic obstacles’ as used by Brousseau. (shrink)

The introduction of a new analytical method, due fundamentally to François Viète and René Descartes and the later dissemination of their works, resulted in a profound change in the way of thinking and doing mathematics. This change, known as process of algebrization, occurred during the seventeenth and early eighteenth centuries and led to a great transformation in mathematics. Among many other consequences, this process gave rise to the treatment of the results in the classic treatises with the new analytical method, (...) which allowed new visions of such treatises and the obtaining of new results. Among those treatises is the Arithmetic of Diophantus of Alexandria which was written, using the new algebraic language, by the French mathematician Jacques Ozanam, who in addition to profusely increasing the original problems of Diophantus, solved them in a general way, thus obtaining many geometric consequences. The work is handwritten, it has never been published, it has been lost for almost 300 years, and the known references show its importance. We will show that Ozanam’s manuscript was quoted as an important work on several occasions by others mathematicians of the time, among whom G. W. Leibniz stands out. Once the manuscript has been located, our aim in this article is to show and analyze this work of Ozanam, its content, its notation and its structure and how, through the new algebraic method, he not only solved and expanded the questions proposed by Diophantus, but also introduced a connection between the algebraic solutions and what he called geometric determinations by obtaining loci from the solutions. (shrink)

In Book K of the Metaphysics Aristotle raises a problem about a very persistent concern of Greek philosophy, that of the relation between the one and the many , but in a rather peculiar context. He asks: ‘What on earth is it in virtùe of which mathematical magnitudes are one? It is reasonable that things around us [i.e. sensible things] be one in virtue of [their] ψνχ or part of their ψνχ, or something else; otherwise there is not one but (...) many, the thing is divided up. But [mathematical] objects are divisible and quantitative. What is it that makes them one and holds them together?’. (shrink)

Newton characterizes the reasoning of Principia Mathematica as geometrical. He emulates classical geometry by displaying, in diagrams, the objects of his reasoning and comparisons between them. Examination of Newton’s unpublished texts shows that Newton conceives geometry as the science of measurement. On this view, all measurement ultimately involves the literal juxtaposition—the putting-together in space—of the item to be measured with a measure, whose dimensions serve as the standard of reference, so that all quantity is ultimately related to spatial extension. I (...) use this conception of Newton’s project to explain the organization and proofs of the first theorems of mechanics to appear in the Principia. The placementof Kepler’s rule of areas as the first proposition, and the manner in which Newton proves it, appear natural on the supposition that Newton seeks a measure, in the sense of a moveable spatial quantity, of time. I argue that Newton proceeds in this way so that his reasoning can have the ostensive certainty of geometry. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)