This comment was stupid. The symbol papermachine refered to was T ⊢_n P or maybe [n]P.
Heh, I used the same symbol to mean “T proves in n symbols P”.
By the way, how’s your work on Löb’s theorem going? I’d really like to see something.
-
This comment was stupid. The symbol papermachine refered to was T ⊢_n P or maybe [n]P.
Heh, I used the same symbol to mean “T proves in n symbols P”.
By the way, how’s your work on Löb’s theorem going? I’d really like to see something.
-