There are several ways to state the Kreisel-Lacombe-Shoenfield theorembut I think the following is most enlightening: 🧵⤵️

‣ Imagine you have a program F which takes another program e as input and returns an integer (say). Also assume that: …

•1/6