Redirecting..https://www.lesswrong.com/posts/tqmvAoCep3JyJ5LZp/peter-goedel-s-death-and-the-ai-singularity