Need for a paper. Some references would be helpful. Thanks!
Finally, an interesting post!
I would start with the discussion at
for examples and counter examples.
There are lots of bibliographic references, too.
Thanks. I think that too. AI2 itself can do basic programming, so it should be Turing complete.
Thanks. The thread looks interesting.