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.

JoshuaZ comments on Local truth - Less Wrong Discussion

13 Post author: NancyLebovitz 20 December 2013 05:04PM

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

Comments (76)

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

Comment author: JoshuaZ 22 December 2013 10:18:22PM 2 points [-]

See here.

Comment author: Gunnar_Zarncke 22 December 2013 10:55:04PM 0 points [-]

Thanks.

I know quantifier elimination from CS and it makes for some useful practical algorithms but it seems not to be very powerful.