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.

shminux 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.

Comment author: shminux 28 February 2013 06:07:39PM 1 point [-]

Please add references (at least wiki links) for all the relevant concepts.

Comment author: MrMind 28 February 2013 06:11:53PM 0 points [-]

Will do!

Powered by Reddit Powered by Reddit