Comments on: Gödel Without Tears — 6 http://www.logicmatters.net/2009/11/godel-without-tears-6/ Logic, enthusiasms, sceptical thoughts, and a little LaTeX geekery Mon, 06 Feb 2012 19:23:02 +0000 hourly 1 http://wordpress.org/?v=3.1 By: a.c. http://www.logicmatters.net/2009/11/godel-without-tears-6/comment-page-1/#comment-783 a.c. Mon, 30 Nov 2009 16:45:23 +0000 http://www.logicmatters.net/?p=706#comment-783 I didn't spot any definite problems in this, but I didn't look at all the formulas in detail. However, I did wonder about the wff for the identity function in section 20.1 on page 2. Right after "is expressed by the wff" is a space and then what looks like a vertical bar. Of course, it might be an "I" in some font. I didn’t spot any definite problems in this, but I didn’t look at all the formulas in detail.

However, I did wonder about the wff for the identity function in section 20.1 on page 2. Right after “is expressed by the wff” is a space and then what looks like a vertical bar. Of course, it might be an “I” in some font.

]]> By: Peter Smith http://www.logicmatters.net/2009/11/godel-without-tears-6/comment-page-1/#comment-767 Peter Smith Fri, 27 Nov 2009 17:29:13 +0000 http://www.logicmatters.net/?p=706#comment-767 Ooops --thanks! Now live. Ooops –thanks! Now live.

]]> By: mrs http://www.logicmatters.net/2009/11/godel-without-tears-6/comment-page-1/#comment-766 mrs Fri, 27 Nov 2009 16:29:47 +0000 http://www.logicmatters.net/?p=706#comment-766 the link is broken. :( the link is broken. :(

]]>