3 ms·
You can't talk about Turing equivalence without acknowledging the Turing tarpit (http://en.wikipedia.org/wiki/Turing_tarpit http://en.wikipedia.org/wiki/Turing_
by DougBTX 16y ago
You can't talk about Turing equivalence without acknowledging the Turing tarpit (http://en.wikipedia.org/wiki/Turing_tarpit http://en.wikipedia.org/wiki/Turing_tarpit), which reminds us that in theory there is no difference between theory and practice, but in practice there is.
- zeteo 16y agoWhy not? I'm not advocating the use of Brainfcuk for all your programming needs, and Turing completeness has plenty of other uses in discussion. (It's particularly useful for converse statements - e.g., for most languages, there exists no compiler that determines whether your program will halt.)