From the 1 of 5 linked papers with an AI index.
5 papers
An Intuitionistic Glance at Primes
Milan Rosko
The paper provides a proof‑theoretic analysis of how positive integers can be classified as 1, prime, or composite within intuitionistic logic, showing that both primality and comp…
On the Golden Ratio and Stable Self-Application
Milan Rosko
This paper studies a boundary between local self-application and global self-certification. Irrational quantities are treated operationally, as procedures whose approximations are…
Remarks on Primitive Regulation
Milan Rosko
We prove, and mechanize in Rocq, an obstruction to closure-level Excluded Middle for primitive regulators over the closed implication-falsity…
Considering The Satisfiability of Cubic Diophantine Equations
Milan Rosko
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter , syntactic proof checking at resource level is faithfully represented by a finite…
The Solver's Paradox in Formal Problem Spaces
Milan Rosko
This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diago…