Information-Complete and Paradox-Free Finite Ring Calculus

preprint OA: closed CC-BY-4.0
🔓 Open OA copy View at publisher

Abstract

Finite Ring Calculus (FRC) is a first-order formal system whose sole intended model is a fixed finite ring~\(\mathbb Z_q\). By eliminating unbounded induction and restricting all syntactic numerals to residues modulo~\(q\), FRC blocks standard diagonal constructions, thereby evading the classical Gödel-Turing-Russell paradox pattern. The resulting theory is shown to be recursive, consistent, complete and decidable, hence \emph{information-complete} in the precise sense that every well-formed sentence admits an effective truth-value within~\(\mathbb Z_q\). We sketch how this finite arithmetic can act as a foundational layer for physics and computation without re-introducing classical paradoxes. We furthermore stress how these properties dovetail with the smooth-geometry and harmonic-analysis layers already constructed in the broader FRC framework.

My notes (saved in your browser only)

Citation neighborhood (no data yet)

We don't have any in-corpus citations linked to this paper yet. This is a recent paper (2025) — citers typically take a year or two to land, and the OpenAlex reference graph may still be filling in.

Source provenance

europepmc
last seen: 2026-05-20T01:45:00.602351+00:00
unpaywall
last seen: 2026-05-22T02:00:06.705733+00:00
License: CC-BY-4.0