Does anyone know if there is there a name for the idea that new concepts (such as negative numbers, complex numbers or type constructors in a type system) are only ever introduced into a preexisting "system" so that they can be eliminated later, after helping make some progress?
-
The idea is that at some point in the distant past, there was a system of counting that didn't involve negative numbers. But it didn't give us a way to deal with concepts like "owing", so negative numbers were introduced. We still don't really have an *understading* of a...
...negative quantity of any material thing, but we can eliminate negative numbers by combining them with other numbers (positive or negative) to get back to a positive number which we can understand. Complex numbers are similar.
-
-
Not sure eliminated is a good word here, or that these concepts are only introduced to be it
-
How do you mean "introduced to be it"?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.