timtyler 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: timtyler 13 March 2011 06:41:16PM *  4 points [-]

So, under Eliezer's suggested criterion (turning true to false) this is not a flawed step, though if you look carefully enough, you can still notice the flaw - a division by zero.

Hmm. A failure to identify a flawed step doesn't mean that the step isn't flawed.

A true statement turning into a false one does show that you manipulated it badly - but a true statement staying true doesn't show that you manipulated it well.