[pedrosorio]

Alice: Assume P

Bob: P is False, there's no point

Alice: It's just a starting point for my argument

Bob: And what are you trying to go with your argument?

Alice: A proof by contradiction

Bob: A proof by contradiction assumes not(X), shows that it leads to a contradiction, therefore proving not(X) is false, and X is true. In this case assuming P to perform proof by contradiction means you will prove P is False. If that's all you want to do, there is no need as I am already in agreement that P is false.

[ajuc]

> If that's all you want to do, there is no need as I am already in agreement that P is false.

There's a difference between believing something is true and having a proof.

[DontchaKnowit]

Sure but this is just bob telling alice to shut the fuck up cause hes already on the same page

[ajuc]

Alice: let's assume P==NP

Bob: that's bullshit

Alice: humor me

Bob: no

Alice: I have a proof that P!=NP

Bob: I already know that

Alice: You don't, you just guess, I have a proof

Bob: whatever, go away