tag:blogger.com,1999:blog-6792710671733445593.post5523809115655222939..comments2014-11-06T19:58:12.052-08:00Comments on Summer of GĂ¶del: Sound formal systems with sufficiently expressive languages are incompleteDavid Furcyhttp://www.blogger.com/profile/12284114397975852146noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-6792710671733445593.post-60334350365321952672013-06-25T10:52:49.967-07:002013-06-25T10:52:49.967-07:00Since the proof of theorem 1 does not rely on the ...Since the proof of theorem 1 does not rely on the definition of K, it seems to me that a general statement of the main idea underlying this proof by contradiction is the following:<br /><br />If the set of true sentences were effectively enumerable, then the complement of every effectively enumerable set would have to be effectively enumerable (which we know is not true).David Furcyhttp://www.blogger.com/profile/12284114397975852146noreply@blogger.com