A Constructive Fragment of Physical Propositions
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918218815242240 |
|---|---|
| author | Rosko, Milan |
| author_facet | Rosko, Milan |
| contents | We develop a proof-theoretic analysis of the Operational Standard of Matsas, Pleitez, Saa, Vanzella (2024) showing that admissible measurement in Minkowski Spacetime yields only finite observational sequences and thereby restricts the class of physically meaningful propositions to those admitting terminating extraction procedures or uniform stability conditions. These correspond exactly to the arithmetical fragment $Σ^0_1 \cup Π^0_2$, and the induced realizability structure interprets $Δ_0$ Heyting Arithmetic on the code of observational data. A diagonal argument then establishes an operational form of incompleteness: there exist true arithmetical propositions about admissible extraction that no sound, recursively axiomatizable theory of spacetime can decide. The result is structurally analogous to classical incompleteness but arises from the evidential limits of measurement rather than from ontological assumptions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_21296 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Constructive Fragment of Physical Propositions Rosko, Milan Logic Mathematical Physics 03F30, 83A05, 00A79, 03F45 F.4.1 We develop a proof-theoretic analysis of the Operational Standard of Matsas, Pleitez, Saa, Vanzella (2024) showing that admissible measurement in Minkowski Spacetime yields only finite observational sequences and thereby restricts the class of physically meaningful propositions to those admitting terminating extraction procedures or uniform stability conditions. These correspond exactly to the arithmetical fragment $Σ^0_1 \cup Π^0_2$, and the induced realizability structure interprets $Δ_0$ Heyting Arithmetic on the code of observational data. A diagonal argument then establishes an operational form of incompleteness: there exist true arithmetical propositions about admissible extraction that no sound, recursively axiomatizable theory of spacetime can decide. The result is structurally analogous to classical incompleteness but arises from the evidential limits of measurement rather than from ontological assumptions. |
| title | A Constructive Fragment of Physical Propositions |
| topic | Logic Mathematical Physics 03F30, 83A05, 00A79, 03F45 F.4.1 |
| url | https://arxiv.org/abs/2511.21296 |