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:28:15PM * 2 points [-]

Thanks again for taking the time to parse all that!

ETA: Is this what you were referring to in:

Yeah, kind of. I didn't know the results but for some reason felt that subtheories of arithmetic shouldn't lead to intermediate degrees.

Comment author: Zetetic 17 December 2011 11:30:46PM 1 point [-]

No problem! It's an interesting topic with lots of surrounding results that are somewhat surprising (at least to me).

Comments (52)