Foundation · Places
Start from places
A place, as in number theory: a way of looking at shared questions locally. Some places are on the map, like Geneva; others, like work, are not, and Arakelov theory says why both count.
In number theory, a place of a number field is a way of measuring its numbers: an absolute value, up to equivalence. For the rational numbers, Ostrowski's theorem says there is one place for each prime p, measuring divisibility by p, and one more: the ordinary absolute value. Completing at each place gives the p-adic numbers ℚₚ or the real numbers ℝ, a local world where questions are easier to study. The places coming from primes are called finite; the others are called infinite, or archimedean.
Arakelov theory insists that the infinite places are not an afterthought. To do geometry with numbers (to measure, intersect and count), it adds fibres at infinity to the finite primes and puts all places on equal footing. Leave them out and the picture is incomplete: key formulas only hold once every place is counted.
We use the word place in this sense. A place of DATA:FOUNDATION is a setting where shared data questions are worked out in local terms, with local people, institutions and rules. GVA:DATA is a place on the map, like a finite place. WORK:DATA is a place beyond the map, like an infinite place: it does not come from any one location, yet without it the picture of data and work is incomplete. MeaningBurg (a Roblox place) and RMTLib (a Lean place) extend the idea to worlds and libraries.
The foundation would support places with methods, governance templates and shared infrastructure rather than direct them from a centre. We would assess whether each place engages the people concerned, produces evidence they can use and remains accountable to them. The mathematics is an analogy that guides design; it is not a claim that social questions obey theorems.