JoshuaZ 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: JoshuaZ 13 March 2011 02:46:13AM 6 points [-]

Speaking as a mathematican(ok, grad student but close enough for this purpose), this isn't learning almost nothing. Once one has gone through an example and can see where an attempted proof breaks down one can then look at that part in more detail. Of course one won't learn much if one only cares about identifying the problematic line, whether in a school setting or another setting; one always needs to generalize and integrate knowledge. Don't blame the teacher if one isn't going to take steps to do that.