PFUSRC20: Unified Theory of Gödel's Incompleteness Theorems and Recursion Theory | Synapse