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.

benelliott comments on No coinductive datatype of integers - Less Wrong Discussion

4 Post author: cousin_it 04 May 2011 04:37PM

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

Comments (138)

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

Comment author: benelliott 05 May 2011 08:05:13PM 2 points [-]

I'm sorry to ask this question, because it seems very stupid, but how exactly would one create a set-up where a Turing machine, as in head-and-tape style thing, actually interacts with a halting oracle?

I don't doubt that its possible but I can't think of an elegant way to do it.

Comment author: cousin_it 05 May 2011 08:33:25PM *  4 points [-]

Wikipedia has a detailed explanation of the setup.