= 27d567bc2d48d9f40e9ccc20ea370b15)
Vladimir_Nesov comments on Open Thread September, Part 3 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (203)
So far, doesn't sound good.
By that, do you mean that it sounds wrong, or that it sounds confused? If the former, I may need to reconsider; if the latter, I'm unsurprised because it's much too short and doesn't include any of the actual formalization. (That was not an excerpt from the draft I'm writing, but an attempt to summarize it briefly. I don't think I did it justice.)
Doesn't seem to address relevant questions or give interesting answers.
Ok, in that case I'm inclined to think that impression is just an artifact of how I summarized it, since my summary didn't address the questions, but the longer paper I'm working on does, albeit only after building up proof and formalization techniques, which are the main focus.