Constructive Logic, Proof Theory,
Realizability Interpretation,
Linear Algebra, Recursion Theory.
Information design, Motion Design, Signage
Interactive:
- Carryless Fibonacci Encoding, html;
Selected articles:
- A Fibonacci-Based Gödel Numbering: Δ Semantics Without Exponentiation, arXiv:2509.10382;
- On the Realizability of Prime Conjectures in Heyting Arithmetic, arXiv:2511.07774;
- Adversarial Barrier in Uniform Class Separation, arXiv:2512.08149;
- ORCID, 0009-0003-1363-7158;
- X, x.com/Milan_Rosko;
Earlier education and work in design fostered a lasting interest in structural clarity and disciplined abstraction. This eventually caused a turn toward formal logic, with an emphasis on first order systems that received comparatively little attention after the late-20th-century revival of classical approaches.
Currently, my life is centered around a research project that examines how impredicativty evolves when developed outside the full classical apparatus. The aim is to restrict the ontological commitments that typically injects it into formal systems, thereby securing constructive control over expressive resources. At the same time, a clearer account of how such fixed points arise permits formulations that absorb them into a predicative sink.
