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?
-
"Centre-right extensions"
-
-
ZFC is a non-conservative extension of ZF. And I'm not sure if complex numbers are a conservative extension of reals - even stating the question is subtle.
-
Oh, I see, it's a non-conservative extension because it's inclusive of all these other new theorems... Meanwhile a conservative extension sticks to the status quo and only accepts the theorems that were valid in the old system
- 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.