Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Maybe I am too well-trained in this, but I think using 'Suppose' (or "assume") is a dead giveaway for a proof by contradiction.

The only semi-implicit ways to start a proof by contradiction I can think of are the phrases "if x is..." or (less implicit) "if x were...".



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: