> Namely the impossibility to solve Halting problem. Also the possibility to compute anything possible computing with a turing machine. The fact that you can e

> Namely the impossibility to solve Halting problem. Also the possibility to compute anything possible computing with a turing machine. The fact that you can embed this logic into a style description language accidentally is a meme worth propagating, in my opinion.