Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
Show HN: A logic system where inference and operators emerge only from recursion
zenodo.org
1 point
jabramsja
a year ago
RCX is a recursion-only formal system. It assumes nothing — no logic, no types, no operators. Structures emerge from ∅ by recursive pressure. When recursion stalls, minimal fixes lead to operator emergence. Paradox doesn’t explode — it seals. Logic is not built-in; it’s an effect.