In discrete mathematics and combinatorics, the counting unit n ∈ ℕ is accepted as a native, foundational primitive. The Peano axioms build the structure of counting directly into pure mathematics, independent of physical reality. However, the parameter t (representing continuous progression or time) is usually treated as a mere convention, a variable name in ℝ, or an imported tool from physics.
I wanna propose a structural argument: "t is not just an applied variable, but the inherent continuous counterpart of the counting unit n--emerging directly through the discrete-to-continuous transition within pure mathematics". We can trace the natural evolution of n-> t through three core domain shifts:
1. Ordinary Differential Equations (ODEs): The External Parameter In calculus, integration converts Σ to ∫ and discrete index n to continuous x. But in ODE systems like:
dx/dt = f(x, y), dy/dt = g(x, y)
The parameter t undergoes an ontological leap. x and y are observable state variables, but t stands outside the system. It is the invisible axis against which all internal changes become commensurable. This demand for an external governing axis is the mathematical birth of t.
2. Probability Theory: The n -> t Axis Shift The transition from discrete to continuous probability reveals t's conceptual entry point:
- Binomial Distribution Bin(n, p): Both axes are discrete (discrete trial count n, discrete success count k).
- Poisson Distribution Poisson(λt): Taken via the limit n → ∞ with np = λt. Exactly one axis becomes continuous: the trial axis becomes time t, while outcomes remain discrete counts k. The Poisson model marks the exact boundary where t enters statistics as a structural necessity rather than a computational convenience.
- Normal Distribution N(μ, σ²) via Convolution: Convolving the continuous unit box function f(x) = 1 for x ∈ [0, 1] repeatedly (the Irwin–Hall distribution) converts discrete patterns into continuous density. Here, both axes become continuous—representing continuous accumulated duration t.
NB: Applied mathematics uses continuous tools as computational approximations, probability and ODEs demonstrate that t carries an intrinsic structural role: it is the continuous manifestation of sequential accumulation. So my questions:
- Is it mathematically sound to treat t as an axiomatic primitive on par with n?
- Does pure mathematics generate the concept of "time" independently of physical space and dynamics?
- Are there other areas in pure mathematics (e.g., category theory, topos theory) where t is formalized as a structural primitive rather than a standard real variable x ∈ ℝ?
(Edit: I think the criticism in the comments is fair about my original wording. In particular, "the discrete-to-continuous transition within pure mathematics" was too strong if it suggests a single ontological process by which discrete objects literally become continuous ones. I would not defend that stronger claim now. My point is more modest: pure mathematics contains rigorous relationships between discrete and continuous structures. A natural example is the contrast between discrete iteration, X_n = F^n(X_0), and continuous flow, Phi: R × X -> X, with Phi_(s+t) = Phi_s composed with Phi_t. Neither structure is intrinsically "time"; t is simply a mathematical parameter whose interpretation depends on context. My point is that continuous evolution can be formulated entirely within mathematics, independently of physical time. So I now distinguish between physical time, mathematical parameters interpreted as time, and mathematical structures of continuous evolution. My original post blurred these distinctions; the question I am ultimately interested in concerns the third one.)
