The story of computing so far: In the beginning the Turing Machine was invented. This has made a lot of people very angry and been widely regarded as a bad move.https://twitter.com/fanf/status/1118627209982500867 …
-
Show this thread
-
Replying to @ReinH
turing completeness is definitely cool, but still overrated imo it's a useful abstraction, but it can't actually exist in the real world seeing how far you can go without it is generally more interesting to me
1 reply 0 retweets 2 likes -
Replying to @ToriconPrime
Some of my favorite languages are not Turing Complete, like Agda and the total subset of Idris /cc
@edwinbrady1 reply 0 retweets 2 likes -
Replying to @ReinH @ToriconPrime
Turing completeness is indeed overrated. But the total fragment of Idris (and Agda) is still Turing complete because you can, e.g., describe a step of a Turing machine, and do that forever via coinduction.
3 replies 0 retweets 4 likes -
Replying to @edwinbrady @ReinH
no, you can *define* how it *can be done* forever. actually *doing* it forever is a different issue.
1 reply 0 retweets 0 likes -
Replying to @ToriconPrime @edwinbrady
but by this strict interpretation, no actually existing system is turing complete
2 replies 0 retweets 0 likes -
Replying to @ReinH @ToriconPrime
Right. It rules out fun things like, say, minesweeper. (And the fact that this even comes up as a question is why I genuinely think "Pacman complete" is a more useful concept even if it isn't very well defined either.)
1 reply 0 retweets 1 like -
Replying to @edwinbrady @ToriconPrime
I do like Pacman complete! But it has the issue that systems which are capable of performing IO are not the only systems that are worth pondering.
1 reply 0 retweets 1 like
Oh, definitely. I think of it more as an informal measure of whether a language or system is willing to communicate with the rest of the world somehow.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.