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

Comment author: wedrifid 17 December 2011 03:32:52AM 0 points [-]

I was just talking with Wei Dai and something came up that seems at once obvious and counterintuitive.

Agree on the obvious part!

In other words, if you knew all about the logical implications of PA, then you would also know all about the logical implications of ZFC and all other formal systems.

Ahh, now that is a little counterintuitive! Like it.

Powered by Reddit Powered by Reddit