3 ms·
If you don't have referential transparency mathematical equations don't hold. You can't be sure that `a = b` stays true if deducted once. So "the problem" does
by still_grokking 4y ago
If you don't have referential transparency mathematical equations don't hold. You can't be sure that `a = b` stays true if deducted once.
So "the problem" doesn't get only harder, it becomes impossible to solve in a formal way.
- eckza 4y agoThank you for this. That's exactly what I was getting at; you illustrated it far better.