Comments

You must log in or register to comment.

roboq6 t1_itz2obq wrote

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

4

keefemotif t1_itz4iq2 wrote

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

2

roboq6 t1_itz4vki wrote

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.

1

keefemotif t1_itz6vp6 wrote

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

1

roboq6 t1_itz70x8 wrote

I know. I was talking in context of mathematics.

1

Showerthoughts_Mod t1_itz1roz wrote

This is a friendly reminder to read our rules.

Remember, /r/Showerthoughts is for showerthoughts, not "thoughts had in the shower!"

(For an explanation of what a "showerthought" is, please read this page.)

Rule-breaking posts may result in bans.

1