Eliezer_Yudkowsky comments on Outside the Laboratory - 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 (336)
"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