AlephNeil comments on A simple counterexample to deBlanc 2007? - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (40)
Sure, R is recursively enumerable, but S and S_I are not.