Past History of Mathematics Seminar

Ancient Egypt is credited (along with Mesopotamia) for providing the oldest extant mathematical texts. Since the 19th century, when the first edition of the Rhind mathematical papyrus was published, it has held an important role in the historiography of mathematics. One of the earliest researchers in the field of ancient Egyptian sciences was Otto Neugebauer who has been a major influence on the early development of the field. While research in Egyptian mathematics initially focused on those aspects that could be linked to its possible successors in modern mathematics, research has also revealed various characteristics that could not easily be transferred into a modern equivalent. In addition, research on other sciences, like medicine and astronomy, has yielded further evidence that a limitation on those aspects that have successors in modern sciences will at best give an incomplete picture of ancient scholarship. This will be explored in a new long-term project, which is briefly sketched. In the context of this project, Egyptian mathematics is also studied. The talk will present an example from the terminology used in Egyptian mathematical texts to describe this area of knowledge and explore its epistemological consequences for our studies of ancient Egyptian mathematics and aim to situate it in its ancient context.

In the 17^th century, certainty was still largely organized around heterogeneous categories such as “absolute certainty” and “moral certainty”. “Absolute certainty” was the highest kind of certainty rather than degree and it was limited to metaphysical and mathematical demonstrations. On the other hand, “moral certainty” was a high degree of assent which, even though it was subjective and always fallible, was regarded as sufficient for practical decisions based on empirical evidence. Although this duality between “moral” and “absolute” certainty remained in use well into the 18^th century, its meaning shifted with the emergence of the calculus of probabilities. Probability calculus provided tools for attempts to mathematise “moral certainty” which would have been a contradiction in terms in their classical 17th-century sense.

Jacob Bernoulli's Ars Conjectandi (1713) followed by Thomas Bayes and Richard Price's An Essay towards solving a Problem in the Doctrine of Chances (1763) reshuffled what was before mutually exclusive characteristics of those categories of certainty. Moral certainty became mathematizable and measurable, while absolute certainty would sit in continuity in degree with moral certainty rather than be different in kind. The concept of certainty as a whole is thus redefined as a quantitative continuum.

This transformation lays the conceptual foundations for a new approach to knowledge. Knowledge and even scientific knowledge are no longer defined by a binary model of an absolute exclusion of uncertainty, but rather by the accuracy of measurement of the irreducible uncertainty in all empirical-based knowledge. Such measurement becomes possible thanks to the new tools provided by the emergence of probability calculus.

Mathematics has always been part of the fabric of culture. References to mathematics in literature go back at least as far as Aristophanes, and encompass everyone from Dostoevsky to Oscar Wilde. In this talk I’ll explore some of the ways that literature has engaged with mathematical ideas, from the 17^th and 18^th century obsession with the cycloid (the “Helen of Geometry”) to the 19^th century love of the fourth dimension.

Mathematicians frequently present their own work in a diachronic fashion, e.g. by comparing their "modern" methods to those supposedly of the "Ancients," or by situating their latest theories as an "abstract" counterpart to more "classical" ones. The construction of such contrasts entangle mathematical labour and cultural life writ large. Indeed, it involves on the part of mathematicians the shaping up of correspondences between their technical achievements and intellectual discussions taking place on a much broader stage, such as those surrounding the concept of modernity, its relation to an imagined ancient past, or the characterisation of scientific progress as an increase in abstraction. This talk will explore the creation and use of such mathematical diachronies, the focus being on the works of Felix Klein, Hieronymus Zeuthen, and Hermann Schubert.

Although Green's theorem, currently considered one of the cornerstones of multivariate calculus, was published in 1828, its widespread introduction into calculus textbooks can be traced back to the first decades of the twentieth century, when vector calculus emerged as a slightly autonomous discipline. In addition, its contemporary version (and its demonstration), currently found in several calculus textbooks, is the result of some adaptations during its almost 200 years of life. Comparing some books and articles from this long period, I would like to discuss in this lecture the didactic adaptations, the editorial strategies and visual representations that shaped the theorem in its current form.

To be a mathematicus in 15th- and 16th-century Europe often meant practising as an astrologer. Far from being an unwelcome obligation, or simply a means of paying the rent, astrology frequently represented a genuine form of mathematical engagement. This is most clearly seen by examining changing definitions of one of the key elements of horoscope construction: the astrological houses. These twelve houses are divisions of the zodiac circle and their character fundamentally affects the significance of the planets which occupy them at any particular moment in time. While there were a number of competing systems for defining the houses, one system was standard throughout medieval Europe. However, the 16th-century witnessed what John North referred to as a “minor revolution”, as a different technique first developed in the Islamic world but adopted and promoted by Johannes Regiomontanus became increasingly prevalent. My paper reviews this shift in astrological practice and investigates the mathematical values it represents – from aesthetics and geometrical representation to efficiency and computational convenience.

In the aftermath of the Thirty Years War (1618–1648), the mining regions of Central Europe underwent numerous technical and political evolutions. In this context, the role of underground geometry expanded considerably: drawing mining maps and working on them became widespread in the second half of the seventeenth century. The new mathematics of subterranean surveyors finally realized the old dream of “seeing through stones,” gradually replacing alternative tools such as written reports of visitations, wood models, or commented sketches.

I argue that the development of new cartographic tools to visualize the underground was deeply linked to broad changes in the political structure of mining regions. In Saxony, arguably the leading mining region, captain-general Abraham von Schönberg (1640–1711) put his weight and reputation behind the new geometrical technology, hoping that its acceptance would in turn help him advance his reform agenda. At-scale representations were instrumental in justifying new investments, while offering technical road maps to implement them.

Computers have been used to process natural language for many years. This talk considers two historical examples of computers used rather to play with human language, one well-known and the other a new archival discovery: Strachey’s 1952 love letters program, and a poetry programming competition held at Newcastle University in 1968. Strachey’s program used random number generation to pick words to fit into a template, resulting in letters of varying quality, and apparently much amusement for Strachey. The poetry competition required the entrants, mostly PhD students, to write programs whose output or source code was in some way poetic: the entries displayed remarkable ingenuity. Various analyses of Strachey’s work depict it as a parody of attitudes to love, an artistic endeavour, or as a technical exploration. In this talk I will consider how these apply to the Newcastle competition and add my own interpretations.

The first edition of Thompson’s famous book On Growth and Form appeared in 1917. It has subsequently been regarded as a foundational work in mathematical biology and a revolutionary contribution to the field of morphology. Most existing literature credits Thompson as a lone genius who produced the 793 pages of the 1917 edition and 1116 pages of the 1942 edition. Thompson’s correspondence presents a very different picture of this tome as one arising from extensive and ongoing – perhaps sometimes unwitting? – collaboration.

Charles Babbage (1791–1871) was Lucasian Professor of mathematics in Cambridge from 1828–1839. He displayed a fertile curiosity that led him to study many contemporary processes and problems in a way which emphasised an analytic, data driven view of life.

In popular culture Babbage has been celebrated as an anachronistic Victorian engineer. In reality, Babbage is best understood as a figure rooted in the enlightenment, who had substantially completed his core investigations into 'mechanisation of thought' by the mid 1830s: he is thus an anachronistic Georgian: the construction of his first difference engine design is contemporary with the earliest public railways in Britain.

A fundamental question that must strike anybody who examines Babbage's precocious designs is: how could one individual working alone have synthesised a workable computer design, designing an object whose complexity of behaviour so far exceeded that of contemporary machines that it would not be matched for over a hundred years?

We shall explore the extent to which the answer lies in the techniques Babbage developed to reason about complex systems. His Notation which shows the geometry, timing, causal chains and the abstract components of his machines, has a direct parallel in the Hardware Description Languages developed since 1975 to aid the design of large scale electronics. In this presentation, we shall provide a basic tutorial on Babbage's notation showing how his concepts of 'pieces' and 'working points' effectively build a graph in which both parts and their interactions are represented by nodes, with edges between part-nodes and interaction-nodes denoting ownership, and edges between interaction-nodes denoting the transmission of forces between individual assemblies within a machine. We shall give examples from Babbage's Difference Engine 2 for which a complete set of notations was drawn in 1849, and compare them to a design of similar complexity specified in 1987 using the Inmos HDL.

American mathematics was experiencing growing pains in the 1920s. It had looked to Europe at least since the 1890s when many Americans had gone abroad to pursue their advanced mathematical studies.  It was anxious to assert itself on the international—that is, at least at this moment in time, European—mathematical scene. How, though, could the Americans change the European perception from one of apprentice/master to one of mathematical equals? How could Europe, especially Germany but to a lesser extent France, Italy, England, and elsewhere, come fully to sense the development of the mathematical United States?  If such changes could be effected at all, they would likely involve American and European mathematicians in active dialogue, working shoulder to shoulder in Europe and in the United States, and publishing side by side in journals on both sides of the Atlantic. This talk will explore one side of this “equation”: European mathematicians and their experiences in the United States in the 1920s.

This session will discuss how Douglas Hartree and Arthur Porter used Meccano — a child’s toy and an engineer’s tool — to build an analogue computer, the Hartree Differential Analyser in 1934. It will explore the wider historical and social context in which this model computer was rooted, before providing an opportunity to engage with the experiential aspects of the 'Kent Machine,' a historically reproduced version of Hartree and Porter's original model, which is also made from Meccano.

The 'Kent Machine' sits at a unique intersection of historical research and educational engagement, providing an alternative way of teaching STEM subjects, via a historic hands-on method. The session builds on the work and ideas expressed in Otto Sibum's reconstruction of James Joule's 'Paddle Wheel' apparatus, inviting attendees to physically re-enact the mathematical processes of mechanical integration to see how this type of analogue computer functioned in reality. The session will provide an alternative context of the history of computing by exploring the tacit knowledge that is required to reproduce and demonstrate the machine, and how it sits at the intersection between amateur and professional science.

It is unnecessary to emphasize important place of algorithms in computer science. Many efficient and convenient algorithms are designed by borrowing or revising ancient mathematical algorithms and methods. For example, recursive method, exhaustive search method, greedy method, “divide and conquer” method, dynamic programming method, reiteration algorithm, circulation algorithm, among others.

From the perspective of the history of computer science, it is necessary to study the history of algorithms used in the computer computations. The history of algorithms for computer science is naturally regarded as a sub-object of history of mathematics. But historians of mathematics, at least those who study history of mathematics in China, have not realized it is important in the history of mathematics. Historians of Chinese mathematics paid little attention to these studies, mainly having not considered from this research angle. Relevant research is therefore insufficient in the field of history of mathematics.

The mechanization thought and algorithmization characteristic of Chinese traditional (and therefore, East Asian) mathematics, however, are coincident with that of computer science. Traditional Chinese algorithms, therefore, show their importance historical significance in computer science. It is necessary and important to survey traditional algorithms again from the point of views of computer science. It is also another angle for understanding traditional Chinese mathematics.

There are many things in the field that need to be researched. For example, when and how were these algorithms designed? What was their mathematical background? How were they applied in ancient mathematical context? How are their complexity and efficiency of ancient algorithms?

In the present paper, we will study the circulation structure in traditional Chinese mathematical algorithms. Circulation structures have great importance in the computer science. Most algorithms are designed by means of one or more circulation structures. Ancient Chinese mathematicians were familiar them with the circulation structures and good at their applications. They designed a lot of circulation structures to obtain their desirable results in mathematical computations. Their circulation structures of dozen ancient algorithms will be analyzed. They are selected from mathematical and astronomical treatises, and also one from the Yijing (Book of Changes), the oldest of the Chinese classics.

Jacob Bernoulli is known for his studies of the curves, infinitesimal math- ematics and statistics. However, before being a professor in mathematics, he taught experimental physics at the University of Basel. This explains his high interest in solving physical problems with newly developed Leibnizian calculus. In his scientific notebook, Meditationes, there are more than thirty notes about various mechanical problems for solving of which Bernoulli has applied Leibnizian calculus and has advanced this method along the way. A discussion with a craftsman brought Bernoulli’s attention to the problem of the strength of a beam early in his career and occupied his mind until his death. The craftsman’s narration based on his experience highlighted the flaws in Galilean-Leibnizian theory of the strength of a beam. This was the starting point of Bernoulli’s quest to mathematically find the profile of a bent beam (the Elastica Problem) and the physical laws governing it. He started a challenge to encourage other mathematicians of the time to study the problem, providing a hint hidden in an anagram. Although he published his solution of the Elastica Problem in 1694, that was not the end of the quest for him. Studying his unpublished notes in Meditationes reveals that over the last decade of his life, Bernoulli has reconsidered the problem. In my project, I demonstrate that he has found remarkable concepts such as mean tensile stress, and the notion of local stress-strain relation, etc.

Seeking income during World War II, Piet Hein created the game now called Hex, marketing it through the Danish newspaper Politiken.  The game was popular but disappeared in 1943 when Hein fled Denmark.

The game re-appeared in 1948 when John Nash introduced it to Princeton's game theory group, and became popular again in 1957 after Martin Gardner's column --- "Concerning the game of Hex, which may be played on the tiles of the bathroom floor" --- appeared in Scientific American.

I will survey the early history of Hex, highlighting the war's influence on Hein's design and marketing, Hein's mysterious puzzle-maker, and Nash's fascination with Hex's theoretical properties.

The Oberwolfach Research Institute for Mathematics (Mathematisches Forschungsinstitut Oberwolfach/MFO) was founded in late 1944 by the Freiburg mathematician Wilhelm Süss (1895-1958) as the „National Institute for Mathematics“. In the 1950s and 1960s the MFO developed into an increasingly international conference centre.

The aim of my project is to analyse the history of the MFO as it institutionally changed from the National Institute for Mathematics with a wide, but standard range of responsibilities, to an international social infrastructure for research completely new in the framework of German academia. The project focusses on the evolvement of the institutional identity of the MFO between 1944 and the early 1960s, namely the development and importance of the MFO’s scientific programme (workshops, team work, Bourbaki) and the instruments of research employed (library, workshops) as well as the corresponding strategies to safeguard the MFO’s existence (for instance under the wings of the Max-Planck-Society). In particular, three aspects are key to the project, namely the analyses of the historical processes of (1) the development and shaping of the MFO’s workshop activities, (2) the (complex) institutional safeguarding of the MFO, and (3) the role the MFO played for the re-internationalisation of mathematics in Germany. Thus the project opens a window on topics of more general relevance in the history of science such as the complexity of science funding and the re-internationalisation of the sciences in the early years of the Federal Republic of Germany.

In 1897 J.J. Thomson 'discovered' the electron. The previous year, he and his research student Ernest Rutherford (later to 'discover' theatomic nucleus), collaborated in experiments to work out why gases exposed to x-rays became conducting. 

This talk will discuss the very different mathematical educations of the two men, and the impact these differences had on their experimental investigation and the theory they arrived at. This theory formed the backdrop to Thomson's electron work the following year. 

In the 6th century, the phenomena of irregularity of the solar motion and parallax of the moon were found by Chinese astronomers. This made the calculation of solar eclipse much more complex than before. The strategy that Chinese calendar-makers dealt with was different from the geometrical model system like Greek astronomers taken as. What Chinese astronomers chose is a numerical algorithm system which was widely taken as a thinking mode to construct the theory of mathematical astronomy in old China. 

Relatively little is known about the correspondence of William Burnside, a pioneer of group theory in the UK. There are only a few dozen extant letters from or to him, though they are not without interest. However, one of the most noteworthy letters to or at least about him, in that it had a special mention in his obituary in the Proceedings of the Royal Society, has not been positively identified. It's not clear who it was from or when it was sent. We'll look at some possibilities.

The International Congresses of Mathematicians (ICMs) have taken place at (reasonably) regular intervals since 1897, and although their participants may have wanted to confine these events purely to mathematics, they could not help but be affected by wider world events.  This is particularly true of the 1936 ICM, held in Oslo.  In this talk, I will give a whistle-stop tour of the early ICMs, before discussing the circumstances of the Oslo meeting, with a particular focus on the activities of the Nazi-led German delegation.

The emergence of analytic methods in the 17th century opened a new way in order to tackle the elucidation of certain quantities. The strong presence of the circle-squaring problem, focused mainly the attention on π, on which besides the serious doubts about its rationality, it arises an awareness---boosted by the new algebraic approach---of the difficulty of framing it inside algebraic boundaries. The term ``transcendence'' emerges in this context but with a very ambiguous meaning.

The first great step towards its comprehension, took place in the 18th century and came from Johann Heinrich Lambert's hand, who using a new analytical machinery---continued fractions---gave the first proof of irrationality of π. The problem of keeping this number inside the algebraic limits, also receives an especial attention at the end of his Mémoires sur quelques propriétés remarquables des quantités transcendantes, circulaires et logarithmiques, published by the Berlin Academy of Science in 1768. In this work, Lambert after giving to the term ``transcendence'' its modern meaning, conjectures the transcendence of π and therefore the impossibility of squaring the circle.

TBC

The Czech lands were the most industrial part of the Austrian-Hungarian monarchy, broken up at the end of the WW1. As such, Czechoslovakia inherited developed industry supported by developed system of tertiary education, and Czech and German universities and technical universities, where the first chairs for applied mathematics were set up. The close cooperation with the Skoda company led to the establishment of joint research institutes in applied mathematics and spectroscopy in 1929 (1934 resp.).

The development of industry was followed by a gradual introduction of social insurance, which should have helped to settle social contracts, fight with pauperism and prevent strikes. Social insurance institutions set up mathematical departments responsible for mathematical and statistical modelling of the financial system in order to ensure its sustainability. During the 1920s and 1930s Czechoslovakia brought its system of social insurance up to date. This is connected with Emil Schoenbaum, internationally renowned expert on insurance (actuarial) mathematics, Professor of the Charles University and one of the directors of the General Institute of Pensions in Prague.

After the Nazi occupation in 1939, Czech industry was transformed to serve armament of the Wehrmacht and the social system helped the Nazis to introduce the carrot and stick policy to keep weapons production running up to early 1945. There was also strong personal discontinuity, as the Jews and political opponents either fled to exile or were brutally persecuted.

Part of the series 'What do historians of mathematics do?'

Both as a canonical mathematical text and as a representative of ancient thought, Euclid's Elements of Geometry has been a subject of study since its creation c. 300 BCE. It has been read as a practical and a theoretical text; it has been studied for its philosophical ramifications and for its perceived potential to inculcate logical thought. For the historian, it is where the history of mathematics meets the history of ideas; where the history of the book meets the history of practice. The study of the Elements enjoyed a particular resurgence during the Early Modern period, when around 200 editions of the text appeared between 1482 and 1700.  Depending on their theoretical and practical functions, they ranged between elaborate folios and pocket-size compendia, and were widely studied by scholars, natural philosophers, mathematical practitioners, and schoolchildren alike.

In this talk, I will present some of the preliminary results of the research we have been conducting for the AHRC-funded project based at the History Faculty 'Reading Euclid: Euclid's Elements of Geometry in Early Modern Britain', paying particular attention to how the books were printed, collected, and annotated. I will concentrate on our methodologies and introduce the database we have been building of all the early modern copies of the text in the British Isles, as well as the 'catalogue of book catalogues'.

Part of the series 'What do historians of mathematics do?'

In 1873 the Personal Recollections from Early Life to Old Age of Mary Somerville were published, containing detailed descriptions of her life as a 19th century philosopher, mathematician and advocate of women's rights. In an early draft of this work, Somerville reiterated the widely held view that a fundamental difference between men and women was the latter's lack of originality, or 'genius'.

In my talk I will examine how Somerville's view was influenced by the historic treatment of women, both within scientific research, scientific institutions and wider society. By building on my doctoral research I will also suggest an alternative viewpoint in which her work in the differential calculus can be seen as original, with a focus on her 1834 treatise On the Theory of Differences.