The restoration of Book X of the Elements to its original Theaetetean form

2025-04-03T12:40:16Z

In the present work, we aim to restore Book X of the $\it{Elements}$ to its original Theaetetean, pre-Eudoxean form in two separate ways. First, we restore the considerable mathematical content of Book X, by correlating Book X with Plato's account of Theaetetus' mathematical discoveries and Plato's imitations of these discoveries for his philosophy. Thus, Theaetetus proved (i) the eventual periodicity of the anthyphairesis of lines a to b, satisfying $Ma^2 = Nb^2$, for MN not square number; (ii) the eventual periodic anthyphairesis of lines a to b, satisfying more general quadratic expressions, including the Application of Areas in defect, and employing this to show that the 12 classes of alogoi lines, including the minor, despite being alogoi, are determined by an eventually periodic Application of Areas in defect; (iii) the anthyphairetic palindromic periodicity of the anthyphairesis of the surds $\sqrt{N}$ for any non-square number N, of relevance to the general Pell's Diophantine problem. Secondly, we restore the proofs of all propositions of Book X, in such way that these are proofs based on Theaetetus', and not on Eudoxus' theory of proportion of magnitudes, in particular not making any use of Eudoxus' condition (namely of definition 4 of Book V). The restoration is based on our reconstruction of Theaetetus' theory of proportion for magnitudes, for the limited class of ratios a/b such that either a, b are commensurable or the anthyphairesis of a to b is eventually periodic, without employing Eudoxus' condition, and its success provides a confirmation of our reconstruction. The final version of this paper will appear as a chapter in the journal Ganita Bh\=arat\=i, Bulletin of the Indian Society for History of Mathematics, (2) 45 (2023).

On an Unnoticed Geometrical Paradox in Plato's Timaeus' Cosmology

2025-04-03T08:08:21Z

In a previous article, we discussed a paradox in Timaeus' cosmology: that there is no void inside the universe, even though it is entirely filled with polyhedra-a mathematical impossibility (Brisson-Ofman 2025). In the present article, we examine another paradox. While the first paradox is well known and was already highlighted by Aristotle as a fundamental mathematical contradiction undermining Plato's cosmology, this new paradox has gone almost entirely unnoticed by commentators, both ancient and modern. This oversight may surprise scholars, given the extensive body of work on Timaeus' universe, much of which emphasizes discrepancies with astronomical observations or points out supposed internal contradictions. Like the first paradox, this one arises from the premise of a universe entirely filled with polyhedra. However, in this case, the contradiction stems from the absence of void outside it. In the first section, we demonstrate that the shape of the universe cannot be a perfect mathematical sphere: that is, its boundary is not smooth but exhibits bumps and hollows. Next, we present conceptual arguments from Plato's text that support the necessity of such 'defects' in the universe's shape compared to a perfect mathematical sphere. In the third section, we argue that such a universe cannot move at all. Finally, we propose a solution to this mathematical contradiction in Timaeus' construction, drawing on the same ideas used to address the earlier apparent contradiction: the unique feature of Timaeus' universe as a living being, whose parts are continuously moving, changing, decomposing, and reforming. While this problem does not depend on the various schools of interpretation of the Timaeus, it is related to some important issues concerning Plato's philosophy. These issues include the importance of observations in science-particularly in astronomy-the relationship between intelligible models and their sensible copies, the mythos/ logos approach of Plato's cosmology, and the debate over 'metaphorical' vs 'literal' interpretation. Of course, all these questions fall outside the scope of this article and will not be addressed here.

What is the Funniest Number? An investigation of numerical humor

2025-04-02T02:20:24Z

In a preliminary study of numerical humor, we propose the Perceived Specificity Hypothesis (PSH). The PSH states that, for nonnegative integers < 100, the funniness of a number increases with its apparent precision. A survey of 68 individuals supports the veracity of this hypothesis and indicates that oddly specific numbers tend to be funniest. Our results motivate future study in this novel subfield.

Polynomial Inequalities and Optimal Stability of Numerical Integrators

2025-03-31T15:44:49Z

A numerical integrator for $\dot{x}=f(x)$ is called \emph{stable} if, when applied to the 1D Dahlquist test equation $\dot{x}=\lambda x,\lambda\in\mathbb{C}$ with fixed timestep $h>0$, the numerical solution remains bounded as the number of steps tends to infinity. It is well known that no explicit integrator may remain stable beyond certain limits in $\lambda$. Furthermore, these stability limits are only tight for certain specific integrators (different in each case), which may then be called `optimally stable'. Such optimal stability results are typically proven using sophisticated techniques from complex analysis, leading to rather abstruse proofs. In this article, we pursue an alternative approach, exploiting connections with the Bernstein and Markov brothers inequalities for polynomials. This simplifies the proofs greatly and offers a framework which unifies the diverse results that have been obtained.

An elementary question of Erdős and Graham

2025-03-31T15:18:45Z

Let $A_k=\{r(k-r): 1\leq r \leq k-1\}$. Erd\H os and Graham asked about the cardinality of the set of common elements. We answer this elementary question and apply our result to a sum-product type result.

Timaeus' Puzzle of the Innumerable Interstices in a Universe Without Void

2025-03-31T13:57:49Z

Some of the most challenging problems in Timaeus' cosmology arise from the geometry of a universe without any void. On the one hand, the universe is spherical in shape; on the other hand, it must be entirely filled with the four basic particles that make up all bodies in the universe, each shaped like one of four regular polyhedra (cubes, tetrahedra, octahedra and icosahedra). The faces of all these particles are composed of right triangles. However, this leads to two mathematical impossibilities. 1. Obtaining a spherical surface from linear surfaces, as it is impossible to create a circle from straight lines. 2. Obtaining a complete tiling of a sphere using regular polyhedra, without any voids or intersections between these polyhedra. The first problem is addressed in another article slated for publication. In the present one, our focus will be on the second problem, for which we will present a solution within the framework of Timaeus' cosmology. The crux of this solution lies in a feature of Timaeus' universe that sets it apart from almost all ancient cosmologies. Instead of being composed of rigid parts, it is a dynamic living body in which all basic components are in constant motion, continuously undergoing both destruction and reconstruction. In the first part, we examine the main features of Timaeus' cosmology relevant to our issue. In the second part, we analyze the paradox in details and its consequences for Timaeus' cosmology. We then discuss the common 'solutions' and highlight their shortcomings. Finally, we propose a solution that we believe is consistent with Plato's text and independent of the choice of the major schools of interpretation of the Timaeus.

Counting plane arrangements via oriented matroids

2025-03-31T00:09:37Z

Planes are familiar mathematical objects which lie at the subtle boundary between continuous geometry and discrete combinatorics. A plane is geometrical, certainly, but the ways that two planes can interact break cleanly into discrete sets: the planes can intersect or not. Here we review how oriented matroids can be used to try to capture the combinatorial aspect, giving a way to encode with finite sets all the ways that $n$ planes can interact. We mention how the one-to-one correspondence breaks down in 2 dimensions for 9 lines, and in 3D for 8 planes. We include illustrations of all the types of plane arrangements using $n=4$ and 5.

The Ethical Turn in Mathematics Education

2025-03-30T14:20:49Z

This article analyzes the emerging ethical turn in mathematics education, arguing that it is a nuanced extension of the sociopolitical turn. While sociopolitical studies of mathematics have highlighted systemic issues and group concerns (e.g., equity, diversity, exclusion), the newer scholarship on ethics in mathematics presents a sharpened focus on the individual responsibility of learners, teachers, and mathematicians by explicitly engaging with philosophical ethics. We analyze key themes of the discourse, including the tension between "doing good" and "preventing harm," and present various philosophical foundations from which scholars have engaged with ethics: Levinas, non-Western perspectives, and pragmatism. We show that the ethical turn holds significant implications for training teachers, including self-reflection, responsibility towards the Other, historical and philosophical awareness, the role of mathematics in society, individual flexibility, cultural sensitivity, and courage to navigate the complex reality of today's mathematics classrooms. The article is designed to also serve as an introduction to ethics in mathematics education.

Mean Value Theorems and L'Hospital-Type Rules for Regulated Functions

2025-03-30T14:14:32Z

We introduce a generalization of Cauchy's mean value theorem for regulated functions. Building on this, we extend both L'Hospital's rule and L'Hospital's monotone rule to quotients of regulated functions. We demonstrate that our extended L'Hospital's rule encompasses both the discrete case, known as the Stolz-Cesaro theorem, and the classical continuous case. In addition, we show that these extensions handle some problems that classical rules cannot address. Finally, we provide Lebesgue-Stieltjes versions of L'Hospital's rule and L'Hospital's monotone rule and compare them with our extensions.

The sexy and formidable male body: men's height and weight are condition-dependent, sexually selected traits

2025-03-30T09:35:12Z

On average men are taller and more muscular than women, which confers on them advantages related to female choice and during physical competition with other men. Sexual size dimorphisms such as these come with vulnerabilities due to higher maintenance and developmental costs for the sex with the larger trait. These costs are in keeping with evolutionary theory that posits large, elaborate, sexually selected traits are signals of health and vitality because stressor exposure (e.g.\ early disease) will compromise them (e.g.\ shorter stature) more than other traits. We provide a large-scale test of this hypothesis for the human male and show that with cross-national and cross-generational improvements in living conditions, where environmental stressors recede, men's gains in height and weight are more than double those of women's, increasing sexual size dimorphism. Our study combines evolutionary biology with measures of human wellbeing, providing novel insights into how socio-ecological factors and sexual selection shape key physical traits.

The alien in the Riemann zeta function

2025-03-28T22:59:29Z

In space, no one can hear you scream.

Math Matters of the Past (The Very First Mathematical Olympiads)

2025-03-28T17:06:14Z

The history of the very first mathematical contests for high school students is discussed. The main body of the article is dedicated to the mathematical and scientific contests held in imperial Russia in the XIX century. More specifically, we discuss and analyze the recently discovered evidence of the city-level official "olympiads" in several school subjects (mathematics, history, and languages), which were organized in the Russian capital city of Saint Petersburg in 1840-1842. Educational and social aspects of the high school educational system of that time are discussed as well.

Relations between $e$ and $π$: Nilakantha's series and Stirling's formula

2025-03-28T13:46:08Z

Approximate relations between $e$ and $\pi$ are reviewed, some new connections being established. Nilakantha's series expansion for $\pi$ is transformed to accelerate its convergence. Its comparison with the standard inverse-factorial expansion for $e$ is performed to demonstrate similarity in several first terms. This comparison clarifies the origin of the approximate coincidence $e+2\pi \approx 9$. Using Stirling's series enables us to illustrate the relations $\pi^4+\pi^5 \approx e^6$ and $\pi^{9}/e^{8} \approx 10$.The role of Archimede's approximation $\pi=22/7$ is discussed.

Topological Structures of Sets and their Subsets

2025-03-26T02:46:28Z

For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating hypergraphs by means of the natural topological structure of finite sets and their subsets, so we are able to construct various non-ordinary hypergraphs, and to reveal topological properties (such as hamiltonian cycles, maximal planar graphs), colorings, connectivity, hypergraph group, isomorphism and homomorphism of hypergraphs.

Student Explanation Strategies in Postsecondary Mathematics and Statistics Education: A Scoping Review

2025-03-25T00:52:27Z

This scoping review examines the use of student explanation strategies in postsecondary mathematics and statistics education. We analyzed 46 peer-reviewed articles published between 2014 and 2024, categorizing student explanations into three main types: self-explanation, peer explanation and explanation to fictitious others. The review synthesizes the theoretical underpinnings of these strategies, drawing on the retrieval practice hypothesis, generative learning hypothesis, and social presence hypothesis. Our findings indicate that while self-explanation and explaining to fictitious others foster individual cognitive processes enhancing generative thinking, peer explanation have the potential to combine these benefits with collaborative learning. However, explanation to fictitious others have the potential to mitigate some of the negative impacts that may occur in peer explanation, such as more knowledgeable students dominating peer discussions. The efficacy of the methods varies based on implementation, duration, and context. This scoping review contributes to the growing body of literature on generative learning strategies in postsecondary education and provides insights for optimizing the integration of student explanation techniques in mathematics and statistics.