3 ms·
However, that leaves you without any tools to check whether two things are equal or not, save for trivial, syntactic equality. It's like, in a programming sense
by GolDDranks 1y ago
However, that leaves you without any tools to check whether two things are equal or not, save for trivial, syntactic equality. It's like, in a programming sense equality declared to exist, but not actually defined.
- auggierose 1y agoMathematics is not programming. Not everything that is well-defined needs to be "executable" in a specific sense. That's a feature, not a bug.