## GĂ¶delâ€™s Second Incompleteness Theorem for Programmers

In the previous blog post in this series, we looked at GĂ¶delâ€™s First Incompleteness Theorem, and came to the amazing conclusion that we can’t compute certain kinds of functions in formal systems (like Javascript). Specifically, we looked at a special function, , which turned out to be non-computable. In case we forgot, the first incompleteness … [Read more…]