What are some implications of Gödel's theorems on AI research? | Hacker News Reader