Relsqui comments on Before you start solving a problem - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (7)
I was taught to approach proofs this way. Figure out what you can derive from what you know. If the proof if is possible, one of those threads must approach the intended conclusion.
It also helps to think of statements from which your goal would directly follow, and work backwards. If one of those back-threads meets a forward-thread, you win. Still, I don't like a mechanical approach like that unless I'm certain I'm at a loss for an intuitive understanding of the problem.
Indeed, to both.