Mmastodon TechnologySoftware first seen 3 d ago, last 3 d ago, peak #8

Building a Quine from Kleene's Second Recursion Theorem

Original: Constructing a Quine from Kleene's Second Recursion Theorem https:// no.lastname.nz/post/4106904

A new write-up walks through how to construct a quine—a program that prints its own source code—directly from Kleene's second recursion theorem, the classic result in computability theory that guarantees self-referential programs exist. The piece is drawing attention from programmers and theorists interested in the formal underpinnings of self-reproduction in computation.

Why now: Programmers and theory enthusiasts enjoy seeing a famous self-referential program derived rigorously from a foundational theorem.

Stephen Kleenequinerecursion theorem

Open on mastodon →

Evidence

• Constructing a Quine from Kleene's Second Recursion Theorem https:// no.lastname.nz/post/4106904 · cm0002@no.lastname.nz · 1

API: https://socialmediatrends-api.osmike.com/v1/trends/4435998