News for hackers. Stuff that matters.
Re:HTML + CSS3 is Turing complete by eru on Tuesday March 08, 2011 @05:28PM (#2302857)
If you don't like `Turing complete', use `Lambda-calculus isomorph', or `Post-correspondence-system isomorph'.

Turing completeness is not hand-wavy, or circular.

Or look up SKI-calculus (http://en.wikipedia.org/wiki/SKI_calculus), if you want to be gob-smacked.

There are no comments on this comment yet.