CronoDAS comments on How to cheat Löb's Theorem: my second try - Less Wrong

14 Post author: Benja 22 August 2012 06:21PM

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

Comments (25)

You are viewing a single comment's thread. Show more comments above.

Comment author: CronoDAS 23 August 2012 11:27:27PM 1 point [-]

Nit: C ranges over all statements;

Yeah, I goofed.