Eliezer_Yudkowsky comments on Outside the Laboratory - Less Wrong

63 Post author: Eliezer_Yudkowsky 21 January 2007 03:46AM

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

Comments (336)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Eliezer_Yudkowsky 24 January 2007 04:58:21AM 1 point [-]

"PA is not expressible as a first-order statement." Countable sets of first-order statements still count. But, yes, this is getting rather far off-topic.

http://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem