2 ms·
I would contend that A -> B can be true even if A is not true or more relevantly to this discussion if A is unknown. That's math's version of objective truth, w
by whatshisface 5y ago
I would contend that A -> B can be true even if A is not true or more relevantly to this discussion if A is unknown. That's math's version of objective truth, where "A" is filled by our various axioms and rules of inference.
- macrolocal 5y agoIn ~300 BCE, Euclid decides to work with morphisms not objects.