I got into a really deep conversation about this here: https://news.ycombinator.com/item?id=23042796 https://news.ycombinator.com/item?id=23042796 You may hav

I got into a really deep conversation about this here: https://news.ycombinator.com/item?id=23042796 https://news.ycombinator.com/item?id=23042796 You may have seen it, it's in the same thread of conversation we're having. Basically there's actually axiomatic proof that you can never know if you applied all possible applicable simplifications. Therefore you can never know whether or not more complexity can be destroyed or reduced.