cousin_it comments on No one knows what Peano arithmetic doesn't know - Less Wrong

17 Post author: cousin_it 16 December 2011 09:36PM

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

Sort By: Best

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

Comment author: cousin_it 17 December 2011 10:08:41AM 0 points [-]

If they were, the oracle would never be more helpful than a halting oracle, no?

But we want the oracle to be less helpful than the halting oracle...

Anyway, the question is settled now, thanks a lot :-)

Comment author: wuthefwasthat 17 December 2011 12:26:56PM * 0 points [-]

Oops sorry! Ignore what I said there. Anyways, the axioms aren't necessarily r.e., but as far as I can tell, they don't need to be.

Comments (52)