= 27d567bc2d48d9f40e9ccc20ea370b15)
MrMind comments on Constructive mathemathics and its dual - 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 (30)
I think it's good to make all these distinctions in the comments, so that the main post is not cluttered but at the same time who wants to have all the details can have them just by reading further.