You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Giles comments on Second order logic, in first order set-theory: what gives? - Less Wrong Discussion

10 Post author: Stuart_Armstrong 23 February 2012 12:29PM

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

Article Navigation

Comments (19)
Tags: formal system logic formal_system mathematics ste_theory

Comments (19)

You are viewing a single comment's thread.

Comment author: Giles 24 February 2012 12:02:23AM 3 points [-]

Hmm. I don't have the time just now, but this sequence really feels like it's crying out for a cartoon interpretation with smiley faces and speech bubbles. What do people think?

Comment author: Stuart_Armstrong 24 February 2012 09:37:53AM 0 points [-]

Sounds like a cool idea! Though I wouldn't call it a "sequence" :-)

Powered by Reddit Powered by Reddit