dbaupp 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.

Article Navigation

Comments (52)

Comments (52)

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

Comment author: dbaupp 18 December 2011 10:53:58AM *  1 point [-]

Imagine you have an oracle that can determine if an arbitrary statement is provable in Peano arithmetic

[...] We can't expect PA to decide whether or not any given Turing machine halts

The oracle isn't working in PA, it's just deciding statements that are in PA.

Powered by Reddit Powered by Reddit