= 27d567bc2d48d9f40e9ccc20ea370b15)
Kawoomba 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)
It would be helpful to follow along if you at least gave a short sketch of where you're going with this, if only broadly. After all, this isn't a mystery novel with a cliffhanger ending.
Uhm, I'll think about a summary: not an easy task but those who already know constructive mathematics should be pointed in the right direction. As for the cliffhanger, it was admittedly deliberated: it's not the case that a math post has to be boring!
I've now modified the introduction to at least present the briefest sketch of the topic, hoping not to alienate even more people!
You're trying to make it not boring by ending the post before saying anything interesting?
I was aiming more at "... before boring someone to death".
There is enough of a pointer that thinking through the implications constitutes a free and comparatively safe alternative to tripping on hallucinogens. Thankyou!
Eheh, then for a serious trip wait for the post on destructive theodicy, I'll call it "Azathoth hates us all" :)