[reddytowns]

Regardless if the ethereum language is turing complete or not, you can still formally verify individual contracts. You can't determine whether every contract will halt or not, but that is a separate issue. The DAO contract should have been formally verified, and this was an oversight of the creators and as well as the participants to not demand this.

Also, the DAO is separate from Ethereum. It's a contract running on ethereum, not ethereum itself.

You are being very hyperbolic with your criticism.