3 ms·
So is Turing completeness. But we can’t just put our heads into the sand and ignore these, as we require both Turing completeness and multi-threading in most ca
by kaba0 2y ago
So is Turing completeness. But we can’t just put our heads into the sand and ignore these, as we require both Turing completeness and multi-threading in most cases. This is part of our jobs, and is what makes the whole field an art - both of these properties make reasoning about arbitrary programs harder than what is possible with math.
- wruza 2y agoThese two are not equivalent in practice. We’ve created a good set of tools that help one to stay in parts of TC that we agreed to consider relatively sane. TC is much bigger than we actually use. It is an enormous landscape, and we only dare to walk very specific paths on it, even our hardware specializes on methods we tend to use. A similar set of tools and guardrails has yet to be seen for MT, at least in python-ic category. I think we can agree that relative success of MT in some X doesn’t automagically translate everywhere, because it depends on first principles which are different.