Tyrrell_McAllister 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)

Sort By: Best

You are viewing a single comment's thread. Show more comments above.

Comment author: Tyrrell_McAllister 18 January 2012 02:51:40PM 1 point [-]

Right. There exist deductive systems, plural. Are they equivalent, like the ones for first-order logic are?

Good question. I don't know the answer. If they're not equivalent, then I see your point.