AlephNeil comments on A simple counterexample to deBlanc 2007? - Less Wrong

3 Post author: PhilGoetz 30 May 2011 05:09AM

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

Comments (40)

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

Comment author: AlephNeil 31 May 2011 11:56:06AM 1 point [-]

Sure, R is recursively enumerable, but S and S_I are not.