But isnt ChatGPT deriving all of this from human generated knowledge from sources such as Stack Overflow? I have seen no evidence that it has a correct model of types or computation. In my tests it cant do propositional logic.