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?
-
It's like a magical place where things are different (the kicker for me was the duality in projective geometry) ¯\﹍(ツ)﹍/¯ The problem with lift is that lift(lift) should be id, but it's "the second floor"
