roboq6 t1_itz2obq wrote on October 27, 2022 at 11:02 AM

Correction, between things that CAN be different. It doesn't make sense to put equality symbol between things that are known to be different.

keefemotif t1_itz4iq2 wrote on October 27, 2022 at 11:22 AM

Then, we'd say it is the assignment operator not the equality operator.

roboq6 t1_itz4vki wrote on October 27, 2022 at 11:26 AM

No, it's the equality operator. It's just that when we solve an equation we assume that equality holds and proceed until we get possible solutions or a contradiction. If we got a contradiction, then it means that our assumption was false.

keefemotif t1_itz6vp6 wrote on October 27, 2022 at 11:47 AM

For many languages == is the equality operator and = is assignment. Proof by contradiction is definitely an important technique.

roboq6 t1_itz70x8 wrote on October 27, 2022 at 11:48 AM

I know. I was talking in context of mathematics.