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.

Gunnar_Zarncke 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: Gunnar_Zarncke 22 December 2013 09:32:12PM 0 points [-]

First order reals [...] are "interesting" systems (in the sense that we study them and there are open problems that can be phrased in terms of them) and are consistent and complete.

I wasn't aware of that. Can you give some link?

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.