Pith. sign in

On the Golden Ratio and Stable Self-Application

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

This paper studies a boundary between local self-application and global self-certification. Irrational quantities are treated operationally, as procedures whose approximations are refined by effective update rules. The golden ratio $\Phi$ is used as a model of stable local recurrence: the reciprocal update $R(x)=1+1/x$ has a unique positive fixed point and admits finite witnessed approximations. By contrast, global reflection asks a system to certify its own correctness uniformly. The proof-theoretic claim is therefore contrastive: primitive-recursive proof checking and local soundness preserve correctness through bounded checks and bounded witnesses, but they do not yield internal global reflection. No complexity advantage, decision procedure, or new reflection principle is claimed.

fields

math.LO 1

years

2025 1

verdicts

REJECT 1

representative citing papers

An Intuitionistic Glance at Primes

math.LO · 2025-11-11 · reject · novelty 3.0

Claims a realizability barrier prevents Heyting Arithmetic from uniformly extracting prime witnesses, making Goldbach-type theorems constructively unrealizable; the barrier fails because primality is decidable by bounded search.

citing papers explorer

Showing 1 of 1 citing paper.

  • An Intuitionistic Glance at Primes math.LO · 2025-11-11 · reject · none · ref 35 · internal anchor

    Claims a realizability barrier prevents Heyting Arithmetic from uniformly extracting prime witnesses, making Goldbach-type theorems constructively unrealizable; the barrier fails because primality is decidable by bounded search.