Viewing a single comment thread. View all comments

keefemotif t1_itz4iq2 wrote

Reply to comment by roboq6 in The true power of the equal sign is when it's put between two things that are different by Terrible-Swim-6786

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