Evidence Algorithm and Processing Formalized Mathematical Texts

2002 ◽  
Vol 34 (10) ◽  
pp. 12
Author(s):  
Konstantin P. Vershinin ◽  
Anatoliy I. Degtyarev ◽  
Alexander V. Lyaletski ◽  
Marina K. Morokhovets ◽  
Andrey Yu. Paskevich
2020 ◽  
Vol 19 (37) ◽  
pp. 25-78
Author(s):  
Joseph W. Dauben

The history of ancient Chinese mathematics and its applications has been greatly stimulated in the past few decades by remarkable archaeological discoveries of texts from the pre-Qin and later periods that make it possible to study in detail mathematical material from the time at which it was written. By examining the recent Warring States, Qin and Han bamboo mathematical texts currently being conserved and studied at Tsinghua University and Peking University in Beijing, the Yuelu Academy in Changsha, and the Hubei Museum in Wuhan, it is possible to shed new light on the history of early mathematical thought and its applications in ancient China. Also discussed here are developments of new techniques and justifications given for the problems that were a significant part of the growing mathematical corpus, and which eventually culminated in the comprehensive Nine Chapters on the Art of Mathematics. What follows is a revised text of an invited plenary lecture given during the 10th National Seminar on the History of Mathematics at UNICAMP in Campinas, SP, Brazil, on March 27, 2013.


Author(s):  
Sabina Jeschke ◽  
Marc Wilke ◽  
Nicole Natho ◽  
Olivier Pfeiffer

Author(s):  
Fairouz Kamareddine ◽  
Manuel Maarek ◽  
Krzysztof Retel ◽  
J. B. Wells

Author(s):  
Timothy Gowers

This chapter examines vividness in mathematics and narrative. It first gives two presentations of the mathematical notion of a group before explaining how to calculate highest common factors. It then considers the role of figures of speech, such as metaphor and irony, in mathematics and proceeds by citing a few passages from literature that highlight the use of concrete details to convey abstract thoughts; these include passages from Charles Dickens's Bleak House, Alan Hollinghurst's The Folding Star, and George Eliot's Middlemarch. The chapter argues that when working through a totally analogous process, exactly the same response can be created in certain mathematical texts.


Author(s):  
Annette Imhausen

This chapter discusses mathematical texts that originated from the Middle Kingdom. While this may well be caused by the vagaries of preservation, it might be that it reflects the actual situation, that is, that mathematical texts of the kind that we have from the Middle Kingdom did not exist in earlier periods. With the reestablishment of central power by the king in the Middle Kingdom also came about a complete new organization of the administrative apparatus that was designed to be much less independent than it had been at the end of the Old Kingdom. And this may well have entailed the organization of teaching mathematics to the future scribes in a centrally organized style, with prescribed problems and their solutions. The chapter considers extant hieratic mathematical texts, mathematical procedure texts, and types of mathematical problems.


2020 ◽  
pp. 255-282
Author(s):  
Emmylou Haffner ◽  
Dirk Schlimm

In this chapter we present Richard Dedekind’s conception of continuity and his various approaches to continuous domains in a historical context. In addition to his seminal work on foundations of irrational numbers (Stetigkeit und irrationale Zahlen, 1872), we also include a discussion of more mathematical texts (both published and unpublished) in which Dedekind also treats other continuous domains, such as Riemann surfaces, spaces, and multiply extended continuous domains. Dedekind’s reflections on these matters illustrate the wide range and general coherence of his thoughts. In particular, while Dedekind’s approach to mathematics can be characterized as being axiomatic, mapping-based, structuralist, and increasingly abstract, we argue that there is also a more general outlook underlying his methodology, which can be described as being, broadly understood, arithmetical.


Sign in / Sign up

Export Citation Format

Share Document