Constructing a Quine from Kleene's Second Recursion Theorem
mkckto
15 points
1 comment
October 31, 2026
Related Discussions
Found 5 related stories in 141.8ms across 11,194 title embeddings via pgvector HNSW
- Qwen 3.8 follows GPT-5.5 Pro reasoning prefills wsxiaoys · 199 pts · September 09, 2026 · 40% similar
- Kev: Tiny Jev-like family of decision models built on top of Qwen3.5 tosh · 426 pts · September 21, 2026 · 40% similar
- Recursion is lying to you theanonymousone · 29 pts · July 28, 2026 · 40% similar
- Recursive `make` and `-j` ibobev · 22 pts · September 30, 2026 · 38% similar
- The foolishness of "natural language programming" (1978) xiaoyu2006 · 93 pts · October 23, 2026 · 37% similar
Discussion Highlights (1 comments)
rssoconnor
Here is a formalization (not mine) of the second recursion theorem in Agda for a somewhat more elaborate language: https://hub.darcs.net/dolio/agda-share/browse/cubical/Kleene...