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.

Manfred comments on Efficient Induction - Less Wrong Discussion

3 Post author: paulfchristiano 27 December 2010 10:40AM

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

Comments (25)

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

Comment author: Manfred 28 December 2010 03:08:28AM 0 points [-]

Well, it's simple to find a chaotic problem that's not efficient. I was just trying to understand what "the universe is computable" really means since the universe isn't exactly computable.

Comment author: saturn 28 December 2010 06:06:43AM 1 point [-]

It seems like you and some others in this thread are assuming that real numbers describe some actual behavior of the universe, but that's begging the question. If the universe is computable, it implies that all quantities are discrete.

Comment author: rwallace 28 December 2010 11:55:47AM 1 point [-]

Well, if it turns out the universe is continuous, then when we conjecture it to be computable, we typically mean the same thing we mean when we say pi is computable: there exists a fixed length program that could compute it to any desired degree of precision (assuming initial conditions specified to sufficient precision).

Comment author: Manfred 30 December 2010 01:38:09AM 0 points [-]

Continuous quantities are the simplest explanation for the evidence we have - there are some hints that it could be otherwise, but they're only hints.