paper-machine 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: [deleted] 16 January 2012 08:46:06PM -1 points [-]

This may be the first time I've upvoted a mathematics-related post on LW.