Uniqueness of the Right Formal Description for a Given Object or Process

Determine whether, for any given object or process, there exists a uniquely right formal description among the multiple possible formal descriptions available.

Background

In Section 4, the author examines a weaker, explanatory version of pancomputationalism that would claim any process is formally describable and hence amenable to computational treatment. This perspective faces the challenge that many different formal descriptions can represent the same object or process.

The author notes that it is not clear whether one among these formal descriptions should be singled out as the uniquely correct one, highlighting a fundamental underdetermination problem discussed in the literature (e.g., Putnam 1980). This uncertainty raises a core issue for attempts to provide a complete computational description of natural processes.

References

It is not clear that a particular one of these must be the right one (an impressive discussion is Putnam 1980).

— Pancomputationalism: Theory or metaphor?  (2506.13263 - Müller, 16 Jun 2025) in Section 4: Pancomputationalism as a Theory II: A Complete Theory of the Universe Can Be Formulated in Computational Terms

In cases where multiple degradation patterns overlap within the same region, a clear and unambiguous embodiment description could not always be established.

— Unified Embodiment Description for functional evaluation of used components in circular manufacturing systems  (2608.16206 - Hemmerich et al., 17 Aug 2026) in Section 5.1, subsection “The UED and its supporting UED method”