3 ms·

Mathematics is not programming. Not everything that is well-defined needs to be "executable" in a specific sense. That's a feature, not a bug.