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!
not an easy task but those who already know constructive mathematics should be pointed in the right direction.
There is enough of a pointer that thinking through the implications constitutes a free and comparatively safe alternative to tripping on hallucinogens. Thankyou!
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!
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”.
I’ve now modified the introduction to at least present the briefest sketch of the topic, hoping not to alienate even more people!
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” :)