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?
-
I dont think eliminated is a good word I dont think the things you mention are just introduced to be "eliminated"
No, elimination is the correct word. It's like eliminating terms in an expression, that is, removing completely.
-
-
your statement is "complex numbers were only ever introduced into a preexisting 'system'* so that they can be eliminated later" * presumably the reals?
-
I dont think this is true
- 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.