|
|
|
|
|
|
by JonChesterfield
1048 days ago
|
|
|
Huh. That's surprising but quite persuasive, thank you for the references. I like the general view that a non-axiomatic divide can't introduce unsoundness so define it however is useful. It has somewhat kicked the can down the road to defining the multiplicative inverse, but that's still a good step forward. Thank you |
|
|