Exploring Synthetic Versions of Kleene’s Post and Post’s Theorem 🧠

Discover innovative synthetic approaches to Kleene’s Post and Post’s Theorem with Dominik Kirst. Dive into the latest developments in computability theory and their implications!