You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

MrMind comments on Constructive mathemathics and its dual - Less Wrong Discussion

13 Post author: MrMind 28 February 2013 05:21PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (30)
Tags: constructivism intuitionism

Comments (30)

You are viewing a single comment's thread. Show more comments above.

Comment author: MrMind 28 February 2013 05:46:50PM 2 points [-]

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!

Comment author: MrMind 28 February 2013 10:04:17PM 2 points [-]

I've now modified the introduction to at least present the briefest sketch of the topic, hoping not to alienate even more people!

Comment author: AlexMennen 28 February 2013 08:33:27PM 2 points [-]

You're trying to make it not boring by ending the post before saying anything interesting?

Comment author: MrMind 28 February 2013 10:05:43PM 1 point [-]

I was aiming more at "... before boring someone to death".

Comment author: wedrifid 28 February 2013 06:17:27PM *  0 points [-]

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!

Comment author: MrMind 28 February 2013 10:26:50PM 1 point [-]

Eheh, then for a serious trip wait for the post on destructive theodicy, I'll call it "Azathoth hates us all" :)

Powered by Reddit Powered by Reddit