History and Overview

2025-07-08 | | Total: 4

#1 Textual analysis of ancient Indian mathematics [PDF] [Copy] [Kimi] [REL]

Author: Satyanad Kichenassamy

Recent analyses of Brahmagupta's discourse on the cyclic quadrilateral, and of Baudhāyana's approximate quadrature of the circle, have shown that it is useful to submit mathematical texts to a form of literary analysis. Several passages considered as obscure or objectionable may be explained in this way, by taking into account the elements of exposition and derivation of the results that the author has given, as well as his conceptual background. This approach aims at helping the reader set aside his preconceptions about what a mathematical text is supposed to be. In this paper, guidelines for further application of this method are outlined, with illustrations taken from our previous papers.

Subject: History and Overview

Publish: 2025-07-04 15:34:00 UTC


#2 Dissecting Circles to Prove a Square: A Novel Geometric Proof of the Pythagorean Theorem Using Circular Segments and Area Decomposition [PDF] [Copy] [Kimi] [REL]

Author: Luca Nathanael Chang

The Pythagorean Theorem has been proved in hundreds of ways, yet it inspires fresh insights through geometry and trigonometry. In this paper, we offer a new proof based on three circles that circumscribe the sides of a right triangle. Rather than invoke coordinate geometry, the argument relies purely on classical Euclidean constructions, trigonometric identities independent of the theorem itself, and a careful analysis of the areas of circular segments. The key idea is to evaluate the area of the semicircle built on the hypotenuse in two distinct ways: directly and as a combination of areas formed by overlapping circular segments and triangles constructed on the legs of the triangle, as shown in Figure 10. Thales' Theorem, inscribed angle theorem, basic trigonometric identities, and segment area formulas all play a role in a derivation that is both elementary and rigorous. To the author's knowledge, this specific approach, which combines circular symmetry, angle decomposition, and area comparison, has not appeared in the prior literature, including Loomis' comprehensive catalog [3] and the extensive database at Cut-the-Knot [4]. As such, it provides both a new perspective on an ancient theorem and an example of how classical tools can still yield original insights.

Subject: History and Overview

Publish: 2025-06-21 04:50:51 UTC


#3 Integral Invariants and Hamiltonian Systems [PDF] [Copy] [Kimi] [REL]

Author: Oleg Zubelevich

In this methodological text we expound the Cartan and Poincare theory of integral invariants. From this general viewpoint we discuss some basic aspects of Hamiltonian systems theory, of integrability, hydrodynamics, Riemann geometry and optics.

Subjects: History and Overview , Mathematical Physics

Publish: 2025-06-18 08:44:28 UTC


#4 Using Large Language Models to Study Mathematical Practice [PDF] [Copy] [Kimi] [REL]

Author: William D'Alessandro

The philosophy of mathematical practice (PMP) looks to evidence from working mathematics to help settle philosophical questions. One prominent program under the PMP banner is the study of explanation in mathematics, which aims to understand what sorts of proofs mathematicians consider explanatory and what role the pursuit of explanation plays in mathematical practice. In an effort to address worries about cherry-picked examples and file-drawer problems in PMP, a handful of authors have recently turned to corpus analysis methods as a promising alternative to small-scale case studies. This paper reports the results from such a corpus study facilitated by Google's Gemini 2.5 Pro, a model whose reasoning capabilities, advances in hallucination control and large context window allow for the accurate analysis of hundreds of pages of text per query. Based on a sample of 5000 mathematics papers from arXiv.org, the experiments yielded a dataset of hundreds of useful annotated examples. Its aim was to gain insight on questions like the following: How often do mathematicians make claims about explanation in the relevant sense? Do mathematicians' explanatory practices vary in any noticeable way by subject matter? Which philosophical theories of explanation are most consistent with a large body of non-cherry-picked examples? How might philosophers make further use of AI tools to gain insights from large datasets of this kind? As the first PMP study making extensive use of LLM methods, it also seeks to begin a conversation about these methods as research tools in practice-oriented philosophy and to evaluate the strengths and weaknesses of current models for such work.

Subjects: History and Overview , Artificial Intelligence

Publish: 2025-06-16 20:22:50 UTC