ata comments on Welcome to Less Wrong! - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (1953)
Definitely read Gödel, Escher, Bach. Aside from that, here's a great list of reading and resources for better understanding various topics discussed on LW. (The things under Mathematics -> Logic and Mathematics -> Foundations would be the most relevant to Löb's Theorem.)
Thanks! That looks like a great list, just what I need.