= 27d567bc2d48d9f40e9ccc20ea370b15)
Qiaochu_Yuan comments on Open thread, March 17-31, 2013 - Less Wrong Discussion
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 (173)
What is with LW people and theorems? The situation you've described is nowhere near formalized enough for there to be anything reasonable to say about it at the level of precision and formality that warrants a word like "theorem."