JGWeissman comments on Making Reasoning Obviously Locally Correct - Less Wrong

19 Post author: JGWeissman 12 March 2011 07:41PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (23)

You are viewing a single comment's thread. Show more comments above.

Comment author: JGWeissman 12 March 2011 10:29:38PM 1 point [-]

When you are trying to build up a new argument, temporarily accepting steps of uncertain correctness can be helpful (if mentally tagged as such).

Agreed. You just have to remember once you've figured out all those steps leading you your conclusion, you have an outline, not a completed proof. Being able to produce such outlines that most of the time can be successfully turned into proofs, or at least interesting reasons why the proof failed, is an important skill.