shminux comments on Constructive mathemathics and its dual - Less Wrong

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.

Comments (30)

Sort By: Best

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!