10 ms·
That's true in practice, but technically speaking it's false. You could imagine a contrived system which is not Turing complete but still contains a (rather use
by curryhoward 6y ago
That's true in practice, but technically speaking it's false. You could imagine a contrived system which is not Turing complete but still contains a (rather useless) primitive that causes an infinite loop.
- leni536 6y agoNon-Turing complete doesn't mean that you can't create too high complexity algorithms out of O(1) primitives.
- curryhoward 6y agoDid you mean to reply to a different comment? You seem to be restating the correct part of orthoxerox's comment. I was merely refuting the incorrect part.
- joshuamorton 6y agoArguably that would still terminate with an error message.