pith. sign in

arxiv: 2411.00296 · v6 · submitted 2024-11-01 · 🧮 math.GM

Applying numerosity to surreal integration

Ilya Shnitman This is my paper

Pith reviewed 2026-05-23 18:34 UTC · model grok-4.3

classification 🧮 math.GM
keywords surreal numbersnumerosityintegrationEuclid principleHardy fieldsDirac deltaLebesgue measuregerms at infinity
0
0 comments X

The pith

Surreal integration uses numerosity as a measure obeying Euclid's whole-greater-than-part rule and drops linearity for infinite factors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops surreal-valued numerosity to measure the size of discrete subsets while strictly satisfying Euclid's principle. It maps numerosities to surreal numbers through the canonical embedding of Hardy fields, yielding explicit formulas that capture infinite, finite, and infinitesimal parts of sequences. Interpreting germs at infinity as Laplace transforms produces a Dirac-like function, which supports an integration formula for surreal-valued functions over surreal domains that functions like Lebesgue measure. The method deliberately omits linearity with respect to infinite factors, which the author identifies as the source of earlier difficulties. This supplies concrete formulas and Mathematica code for computing such integrals.

Core claim

We provide an explicit formula for the full numerosity of sequences, including their infinite, finite and infinitesimal parts, via the canonical embedding of Hardy fields into surreal numbers. Interpreting germs at infinity as Laplace transforms yields a surreal-valued function sharing many properties with the Dirac delta distribution. This object is then used to derive a formula for integrating a surreal-valued function over a surreal domain by employing numerosity in a manner similar to Lebesgue measure; the resulting integration does not preserve linearity regarding infinite factors.

What carries the argument

Numerosity of sequences mapped to surreal numbers via canonical Hardy-field embedding, used as the measure in the integration formula together with a Dirac-like germ function.

If this is right

  • Explicit formulas exist for the complete numerosity of any sequence, separating infinite, finite, and infinitesimal contributions.
  • Integration properties follow directly from the Dirac-like function constructed via the Laplace-transform interpretation.
  • Novel identities connect distinct surreal numbers through the defined integrals.
  • The integration applies to surreal domains and functions with supplied Mathematica implementations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same numerosity measure could be tested on integration of specific non-constant surreal functions to generate new closed-form identities.
  • Dropping linearity for infinite factors may allow consistent definitions of surreal derivatives that match the integration rule.
  • The approach might extend to other non-Archimedean ordered fields equipped with analogous size measures.

Load-bearing premise

The canonical embedding of Hardy fields into surreal numbers preserves the Euclid principle for numerosity and lets germs at infinity serve as Dirac-like objects for integration.

What would settle it

Compute the integral of the constant function 1 over an infinite surreal interval with the given formula and check whether the result equals the numerosity of that interval or produces an inconsistency with Euclid's principle.

read the original abstract

We present a novel framework for measuring the size of discrete subsets of using surreal-valued numerosity, which strictly satisfies Euclid's principle that "the whole is greater than a part". By mapping numerosities to surreal numbers via the canonical embedding of Hardy fields, we provide an explicit formula for the full numerosity of sequences, including their infinite, finite and infinitesimal parts, with examples. Then (interpreting germs at infinity as as Laplace transforms) we introduce a surreal-valued function that shares many properties with the Dirac Delta distribution and employ it to derive some integration properties of surreal values. Finally, we provide a formula for integrating a surreal-valued function over surreal domain, employing numerosity in a way, similar to Lebesgue measure and derive some novel formulas, connecting surreal numbers via integration. The suggested here method of surreal integration is different from methods suggested by other authors in dropping the property of linearity regarding infinite factors. In our opinion, the struggle to keep this rule intact is the reason for many failed attempts to define the surreal integration. For the suggested formulas, code in Wolfram Mathematica language is provided.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 3 minor

Summary. The paper claims to introduce surreal-valued numerosity for discrete subsets that strictly obeys Euclid's principle (whole greater than part), achieved by mapping via the canonical embedding of Hardy fields into surreals to yield explicit formulas for the infinite, finite, and infinitesimal parts of sequence numerosities. It then interprets germs at infinity as Laplace transforms to construct a surreal-valued Dirac delta-like object, derives associated integration properties, and gives a formula for integrating surreal-valued functions over surreal domains that employs numerosity analogously to Lebesgue measure while deliberately dropping linearity with respect to infinite factors; Mathematica code is supplied.

Significance. If the embedding preserves the strict ordering required by Euclid's principle and the resulting integration is internally consistent, the work would supply explicit, computable formulas and a reproducible implementation for a non-linear form of surreal integration, which could be of interest in nonstandard analysis as an alternative to prior attempts that retain linearity. The provision of code is a positive feature for verifiability.

major comments (3)
  1. [Mapping via Hardy field embedding] Mapping via Hardy field embedding (section following the numerosity definition): the manuscript asserts that the canonical embedding preserves the Euclid principle, yet supplies no explicit verification that proper-subset relations among discrete sets map to strict inequalities in the surreal numbers while maintaining the infinite/finite/infinitesimal decomposition; this is load-bearing for the central numerosity claim.
  2. [Surreal Dirac delta construction] Construction of the surreal Dirac delta (section on germs at infinity and Laplace transform interpretation): the definition of the Dirac-like germ is introduced without a check that it respects the numerosity decomposition or that the integration against test functions recovers the expected values for both finite and infinite supports; this underpins the subsequent integration formulas.
  3. [Integration formula] Integration formula over surreal domain (final section deriving the integration properties): the formula is stated to employ numerosity similarly to Lebesgue measure but without linearity for infinite factors; no derivation is given showing how this avoids the inconsistencies of prior linear approaches, nor is there an error bound or consistency check with the Euclid-preserving numerosity.
minor comments (3)
  1. [Abstract] Abstract contains the repeated phrase 'as as Laplace transforms'; correct to 'as Laplace transforms'.
  2. [Dirac delta section] Notation for the surreal Dirac object is introduced without a dedicated equation number; assign one for reference in later derivations.
  3. [Introduction] The manuscript mentions 'other authors' but provides no specific citations to prior surreal integration literature; add references for context.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the thorough review and constructive major comments. We address each point below with explanations grounded in the manuscript's framework and agree to strengthen the presentation where verification steps are not fully explicit.

read point-by-point responses

  1. Referee: [Mapping via Hardy field embedding] Mapping via Hardy field embedding (section following the numerosity definition): the manuscript asserts that the canonical embedding preserves the Euclid principle, yet supplies no explicit verification that proper-subset relations among discrete sets map to strict inequalities in the surreal numbers while maintaining the infinite/finite/infinitesimal decomposition; this is load-bearing for the central numerosity claim.

    Authors: The numerosity is first defined in the Hardy field so that it satisfies Euclid's principle by construction for proper subsets of sequences. The canonical embedding of Hardy fields into the surreals is an order-preserving field homomorphism (as established in the foundational literature on surreal numbers). Consequently, strict inequalities and the infinite/finite/infinitesimal decomposition are preserved. We will insert an explicit paragraph citing this order-preservation property and confirming the mapping for the discrete-set examples already present in the paper. revision: yes

  2. Referee: [Surreal Dirac delta construction] Construction of the surreal Dirac delta (section on germs at infinity and Laplace transform interpretation): the definition of the Dirac-like germ is introduced without a check that it respects the numerosity decomposition or that the integration against test functions recovers the expected values for both finite and infinite supports; this underpins the subsequent integration formulas.

    Authors: The Dirac-like germ is obtained directly from the Laplace-transform interpretation of the germ at infinity, so its action on test functions is defined via the same embedding that carries the numerosity. For finite supports the recovery of the expected value 1 follows from the standard Laplace-transform property; for infinite supports the numerosity decomposition is inherited from the underlying Hardy-field germ. We will add a short verification subsection with explicit test-function calculations for both cases. revision: yes

  3. Referee: [Integration formula] Integration formula over surreal domain (final section deriving the integration properties): the formula is stated to employ numerosity similarly to Lebesgue measure but without linearity for infinite factors; no derivation is given showing how this avoids the inconsistencies of prior linear approaches, nor is there an error bound or consistency check with the Euclid-preserving numerosity.

    Authors: The decision to drop linearity precisely when infinite factors appear is motivated in the introduction by the known obstructions that arise when linearity is retained. The consistency with the Euclid-preserving numerosity follows because the integration is defined by summing (via the numerosity) over the discrete partition induced by the surreal domain; no infinite linear combination is ever formed. We will expand the final section with a short derivation that isolates the point at which linearity would produce a contradiction and confirm that the non-linear rule respects the decomposition already verified for the numerosity. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on external canonical embedding and novel ansatz without self-referential reduction

full rationale

The provided abstract and description introduce a mapping via the canonical Hardy-field embedding (an external mathematical construction) and a germs-as-Laplace-transform interpretation to define a Dirac-like object, then derive integration formulas that explicitly drop linearity for infinite factors. No equations or steps are quoted that define a quantity in terms of itself, rename a fitted parameter as a prediction, or reduce the central claim to a self-citation chain. The numerosity-to-surreal mapping is presented as preserving Euclid's principle by construction of the embedding, and the integration is distinguished from prior work rather than derived from it. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on standard properties of surreal numbers and Hardy fields plus the Euclid principle. It introduces a new Dirac-like entity without independent falsifiable evidence outside the paper.

axioms (2)
  • domain assumption Euclid's principle that the whole is greater than a part
    Invoked to ensure numerosity strictly increases with set size.
  • standard math Canonical embedding of Hardy fields into surreal numbers
    Used to map numerosities to surreal values.
invented entities (1)
  • surreal-valued Dirac delta function no independent evidence
    purpose: To derive integration properties of surreal values by sharing properties with the classical Dirac delta
    Introduced via germs at infinity interpreted as Laplace transforms; no external falsifiable prediction supplied in abstract.

pith-pipeline@v0.9.0 · 5707 in / 1456 out tokens · 26876 ms · 2026-05-23T18:34:52.349154+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    1: Vieri Benci, Mauro Di Nasso, Numerosities of labelled sets: a new way of counting, 2003, https://doi.org/10.1016/S0001-8708(02)00012-9 2: Andreas Blass, Mauro Di Nasso, Marco Forti, Quasi-selective ultrafilters and asymptotic numerosities, 2012, https://arxiv.org/abs/1011.2089 3: Kenny Easwaran, Alan Hájek, Paolo Mancosu, Graham Oppy , Theories of Nume...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0001-8708(02)00012-9 2003

  2. [2]

    & Di Nasso, How to Measure the Infinite, Mathematics with Infinite and Infinitesimal Numbers, 2019

    Russell, Germ order for one-dimensional packings, 2021, https://combinatorialpress.com/ojac- articles/issue-16-2021/germ-order-for-one-dimensional-packings/ 9: Benci V . & Di Nasso, How to Measure the Infinite, Mathematics with Infinite and Infinitesimal Numbers, 2019

    work page 2021