Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Other literature type . 2026
License: CC BY
Data sources: ZENODO
ZENODO
Other literature type . 2026
License: CC BY
Data sources: Datacite
ZENODO
Other literature type . 2026
License: CC BY
Data sources: Datacite
ZENODO
Other literature type . 2026
License: CC BY
Data sources: Datacite
ZENODO
Other literature type . 2026
License: CC BY
Data sources: Datacite
versions View all 4 versions
addClaim

Forced Extensional Totalization in Linear Continuum Dynamics

Authors: Williams, Lance R.;

Forced Extensional Totalization in Linear Continuum Dynamics

Abstract

Continuum physical theories model states as real- or complex-valued fields and dynamics as linear operators on infinite dimensional spaces. Under explanatory realism, an ontic interpretation incurs two semantic commitments: (i) real-valued physical magnitudes must denote relative to the theory’s admissible state interface, and (ii) the theory must be semantically closed under its own evolution and readout rules. Denotation is interface-relative: it requires the existence of a total continuous witness on names. Equivalently, it requires bounded input dependence at each fixed finite precision. Failure of bounded input dependence is captured by forced extensional totalization (FET), in which even coarse output precision cannot be stabilized by any finite prefix of a state name. We give a physics-facing construction of FET for the three-dimensional wave equation with Kirchhoff point readout. We construct a countable family of smooth, compactly supported, finite-energy initial states localized on pairwise disjoint shrinking latitude belts on the Huygens sphere, and restrict the admissible domain to states containing at most one localized contingency. Each nonzero belt perturbation is normalized to contribute the same order-one amount to the readout, while the zero state contributes none. Under any non oracular state interface satisfying a minimal locality-of-access condition, no finite prefix can rule out activation of some sufficiently deep belt. The induced point readout therefore behaves like the existential predicate "some belt is active'', exhibits FET at the zero state, and fails to denote. Semantic closure fails: the evolution-readout pipeline yields a localized point magnitude that is non-denoting relative to the fixed state interface. The result isolates a semantic obstruction to ontic readings of continuum dynamics. It is independent of computability, predictability, or measurement feasibility, and it holds despite smooth compact support, finite energy, and classical well-posedness.

Related Organizations
Keywords

Pour-El and Richards, admissible representations, continuum ontology, input dependence, point observables, wave equation, explanatory realism, linear partial differential equations, denotation (semantics)

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green