The tense of the last sentence is a little strange.
However, instead of becoming enmeshed in disputes like, “Are complex numbers even a number?” we instead end up in more productive conversations like, “Is this extension practically useful enough to be worth the increase in complexity?”
There’s also the option of going for the biggest system, that includes all the others. (The effort involved in proving two systems “are equivalent”* where they overlap sounds non-trivial.
*In the sense that, anything that can be proved with one, can be proved with the other, and vice versa.)
The tense of the last sentence is a little strange.
There’s also the option of going for the biggest system, that includes all the others. (The effort involved in proving two systems “are equivalent”* where they overlap sounds non-trivial.
*In the sense that, anything that can be proved with one, can be proved with the other, and vice versa.)
A post just on that concept, would still be a good post. This post (overall) was great.
Thanks, glad you appreciate it!