Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.37260

Mathematical Reality Capture: from the age of discoveries to mathematical topography and surveys

Daniele Corradetti
View original source ↗Read source document ↗Export metadata ↓

Abstract

A proof answers a precise question, but mathematical understanding also grows through the relationships that its answer makes visible. A point measurement likewise differs from a photograph or a three-dimensional reconstruction of a building. In this work, we argue that, with the help of AI, mathematics should move from a discipline focused on isolated investigations of mathematical objects towards one capable of mapping them systematically. We therefore introduce the idea of "Mathematical Reality Capture", inspired by digital surveying and the reconstruction of a scene from several viewpoints. An elementary example shows how comparing algebra and geometry can illuminate the same phenomenon, provided that we distinguish diversity of explanations from validity of proof. From this analogy we derive criteria for building verifiable atlases, an experiment with which to assess their usefulness, and a reflection on the role of mathematicians in interpreting them.

Explore related subjects

math.HO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniele Corradetti. 2026-10-27. Mathematical Reality Capture: from the age of discoveries to mathematical topography and surveys. https://arxiv.org/abs/2610.37260

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Robert J. Daverman (1941-2026)

This is an expanded version of a memorial article that is to appear in the Notices of the American Mathematical Society.

math.HO↗
arXiv2026

An event is a set, not a number: building the algebra of events before the probability measure in a school progression

Asked what an event is, pupils often answer with a fraction. This paper argues that school probability should separate two learnings and order them: the algebra of events (random experiment, outcomes, sample space, events as sets of outcomes, the operations not, or, and) and the probability measure, which attaches a number to each event. Before learning to compute the probability of an event, pupils should learn to build, identify and handle the event. The thesis rests on the structure of finite probability, in which the rules are facts about events carried over by an additive function, and on the history of the subject, in which errors such as d'Alembert's two tosses concerned the weighting of outcomes and were resolved by refining events into equally likely outcomes. Five design principles are stated: two objects with two names; the event before its probability; modal judgements (certain, possible, impossible) on sets before numbers; the algebra of events taught as such, with the rules derived from it; the sample space as a modelling choice, with frequencies last, as statistical estimates, and the separation repeated for conditional probability and random variables. They are confronted with the probability chapters, from age 9 to 18, of the French-curriculum courses published at https://commeunjeu.org, with research and other curricula. In primary school events precede probabilities without set notation, which comes at age 12; the lessons apply the principles and prove the rules from events in lower secondary school. But, in the version analysed, events account for 18 to 44 percent of the exercises, proofs are hidden in upper secondary school, and automatically corrected calculations record only the number. It proposes number-free tasks on events for ages 6 to 8 and changes to the International Baccalaureate curriculum. No empirical evaluation is reported; hypotheses are stated.

math.HO↗