endoself comments on An angle of attack on Open Problem #1 - Less Wrong

30 Post author: Benja 18 August 2012 12:08PM

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: endoself 19 August 2012 02:10:52AM * 3 points [-]

PAK != PA(K)

PAK is the language that Benja is defining there, while PA(K) is just the Kth-level PA in the PA hierarchy.

Comment author: Benja 19 August 2012 09:01:16AM * 2 points [-]

That's exactly right, and Will_Sawin is right about it being confusing -- perhaps I should have used a more creative name for PA_K.

Comments (84)