A closer look at program based UDT

by Pasha Kamyshev1 min read23rd Jul 2015No comments


Personal Blog
1 comments, sorted by Highlighting new comments since Today at 10:15 AM
New Comment

What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?