timtyler comments on Making Reasoning Obviously Locally Correct - 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 (23)
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.