lukeprog comments on Completeness, incompleteness, and what it all means: first versus second order logic - Less Wrong

45 Post author: Stuart_Armstrong 16 January 2012 05:38PM

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

Comments (38)

You are viewing a single comment's thread.

Comment author: lukeprog 16 January 2012 08:43:17PM 3 points [-]

Excellent post! It is well-written and pushes through a pain point. Good hook, also.

You have some weird periods in the paragraph beginning "The last two are interesting..."

Comment author: fortyeridania 17 January 2012 06:41:29AM 2 points [-]

They follow the numbers from his list, which also have periods after them. I think he was trying to show that he was referring to the items from his list, as opposed to the numbers themselves.

I think he should have used parentheses around each number instead.

Comment author: Stuart_Armstrong 17 January 2012 10:54:21AM 2 points [-]

I think he should have used parentheses around each number instead.

I have now.