HamletHenna comments on Bounded versions of Gödel's and Löb's theorems - Less Wrong

32 Post author: cousin_it 27 June 2012 06:28PM

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

Comments (21)

Sort By: Best

You are viewing a single comment's thread.

Comment author: [deleted] 28 June 2012 04:37:44AM * 2 points [-]

This comment was stupid. The symbol papermachine refered to was T ⊢_n P or maybe [n]P.

Comment author: [deleted] 28 June 2012 05:09:52AM 2 points [-]

Heh, I used the same symbol to mean "T proves in n symbols P".

Comment author: cousin_it 28 June 2012 08:42:17AM * 1 point [-]

By the way, how's your work on Löb's theorem going? I'd really like to see something.