[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

About the implementation of del in Python 3

Marko Rauhamaa wrote:
> In Second-Order Logic, you can define identity directly:
>     ?x ?y x = y ? ?P (P(x) ? P(y))

That looks more like a definition of *equality* to me.

In mathematics, everything is immutable, so there isn't
really any distinction between equality and identity.