Do these theorems help us understand anything about AGI or the possible creation of AGI?