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.

DanielLC comments on Truth Tables - Less Wrong Discussion

-7 Post author: johnlawrenceaspden 12 December 2013 10:16PM

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

Comments (7)

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

Comment author: DanielLC 16 December 2013 08:29:42PM 0 points [-]

I don't find myself forced to believe in uncomputable things in the same way that I find myself forced to accept the existence of countable infinite sets .

I'm not saying that uncomputable things exist. I'm just saying that they might.

I think what's bugging me is that a TM with a finite tape seems more complicated than a TM with an infinite tape.

So? Just because the computer can run forever doesn't mean that the program never halts or repeats.

Also, Occam's razor doesn't work that way. If you add a constant of a specific value, that makes it less likely because the probability has to be split over all possible values, and it's unlikely to be that specific one. If you're just suggesting that there is a constant, this does not apply.