Incorrect comments on Open Thread, November 1-15, 2012 - 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 (373)
Could someone please confirm my statements in the new sequence post about first-order logic? I want to be sure my understanding is correct.
http://lesswrong.com/lw/f4e/logical_pinpointing/7qv6?context=1#7qv6
Eugine_Nier's response seems right to me, and this paragraph on Wikipedia might be relevant...