Albrecht Heeffer

We introduce the question whether there are specific kinds of writing modalities and practices that facilitated the development of modern science and mathematics. We point out the importance and uniqueness of symbolic writing, which allowed early modern thinkers to formulate a new kind of questions about mathematical structure, rather than to merely exploit this structure for solving particular problems. In a very similar vein, the novel focus on abstract structural relations allowed for creative conceptual extensions in natural philosophy during the scientific revolution. These preliminary reflections are meant to set the stage for the following contributions in this volume

This paper critically assesses the claim by Gavin Menzies that Regiomontanus knew about the Chinese Remainder Theorem (CRT) through the Shù shū Jiǔ zhāng (SSJZ) written in 1247. Menzies uses this among many others arguments for his controversial theory that a large fleet of Chinese vessels visited Italy in the first half of the 15th century. We first refute that Regiomontanus used the method from the SSJZ. CRT problems appear in earlier European arithmetic and can be solved by the method of the Sun Zi, as did Fibonacci. Secondly, we pro-vide evidence that remainder problems were treated within the European abbaco tradition independently of the CRT method. Finally, we discuss the role of recreational mathematics for the oral dissemination of sub-scientific knowledge.

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.

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

The early calculus is a popular example of an inconsistent but fruitful scientific theory. This paper is concerned with the formalisation of reasoning processes based on this inconsistent theory. First it is shown how a formal reconstruction in terms of a sub-classical negation leads to triviality. This is followed by the evaluation of the chunk and permeate mechanism proposed by Brown and Priest in, 379–388, 2004) to obtain a non-trivial formalisation of the early infinitesimal calculus. Different shortcomings of this application of C&P as an explication of inconsistency tolerant reasoning are pointed out, both conceptual and technical. To remedy these shortcomings, an adaptive logic is proposed that allows for conditional permeations of formulas under the assumption of consistency preservation. First the adaptive logic is defined and explained and thereafter it is demonstrated how this adaptive logic remedies the defects C&P suffered from.

By the end of the twelfth century in the south of Europe, new methods of calculating with Hindu-Arabic numerals developed. This tradition of sub-scientific mathematical practices is known as the abbaco period and flourished during 1280–1500. This paper investigates the methods of justification for the new calculating procedures and algorithms. It addresses in particular graphical schemes for the justification of operations on fractions and the multiplication of binomial structures. It is argued that these schemes provided the validation of mathematical practices necessary for the development towards symbolic reasoning. It is shown how justification schemes compensated for the lack of symbolism in abbaco treatises and at the same time facilitated a process of abstraction

The novel use of symbolism in early modern mathematics poses both philosophical and historical questions. How can we trace its development and transmission through manuscript sources? Is it intrinsically related to the emergence of symbolic algebra? How does symbolism relate to the use of diagrams? What are the consequences of symbolic reasoning on our understanding of nature? Can a symbolic language enable new forms of reasoning? Does a universal symbolic language exist which enable us to express all knowledge? This book brings together a collection of papers that address all these and related questions which were initially posed at a conference held in Ghent (Belgium) in August 2009. Scholars working on philosophy of science, history of philosophy and history of mathematics provide an insight into the role and function of symbolic representations in the development of early modern mathematics. The papers cover the period from early abbaco arithmetic and algebra (14h century) up to Leibniz (early 18th century).

Promises and disappointments of artificial intelligence for scientific discovery Recent successes within Artificial Intelligence with deep learning techniques in board games gave rise to the ambition to apply these learning methods to scientific discovery. This model for discovering new scientific laws is based on data-driven generalization in large databases with observational data using neural networks. In this study we want to review and critical assess an earlier research programme by the name of BACON. Though BACON was based on different AI technology, we can learn from its limitations and thus adjust our expectations. The BACON program had two ambitions, one descriptive and one normative. On the one hand, it wanted to provide an explanation how philosophers of nature in history arrived at general laws from observational data and on the other hand it also aimed to reconstruct historical discoveries and realize new ones. We will assess the claims of the BACON program by means of two historical cases studies: the discovery of the sine law of refraction in optics and the discovery of Kepler’s third law of planetary motion. I will demonstrate that, despite the formulated claims, BACON did not use the same historical data available to its discoverers and, more importantly, that the model of inductive generalization of observational data does not correspond with the historical methods. Finally I will question the value of data-driven induction for scientific discovery in general.