tag:blogger.com,1999:blog-18212611.post3249452894464478685..comments2023-06-03T21:23:56.934+08:00Comments on Placeholder: What Gödel Provedcvjhttp://www.blogger.com/profile/00327799000000108953noreply@blogger.comBlogger9125tag:blogger.com,1999:blog-18212611.post-90038237975687931822012-12-27T01:57:01.524+08:002012-12-27T01:57:01.524+08:00You're welcome. My name is Carlos Villamil Ju...You're welcome. My name is Carlos Villamil Jugo. Good luck on the competition.cvjhttps://www.blogger.com/profile/00327799000000108953noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-5981491991275319402012-12-27T01:47:06.362+08:002012-12-27T01:47:06.362+08:00Thank you for allowing us to use your diagrams! As...Thank you for allowing us to use your diagrams! As our project would be submitted into the Singapore Mathematics Festival competition, we need to know your name for acknowledgement. Please feel free to drop us an email at mathproject389@gmail.com if there are any inquiries. Please reply ASAP! Thanks:)Kang Li Xin acehttps://www.blogger.com/profile/17731713713018671018noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-89724416840539065292012-12-23T20:25:55.211+08:002012-12-23T20:25:55.211+08:00Hi, yes please go ahead and use the diagrams. '...Hi, yes please go ahead and use the diagrams. 'Assertion' is just a synonym for 'statement'. In diagram #4, it is drawn as free floating i.e. not connected to any axiom or theorem to show that its truth is not derived from any axiom or theorem. (In that way, the assertion is similar to an axiom, rather than a theorem.)cvjhttps://www.blogger.com/profile/00327799000000108953noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-32338128891435475222012-12-23T20:08:01.663+08:002012-12-23T20:08:01.663+08:00Hi,
we are a group of secondary school students wo...Hi,<br />we are a group of secondary school students working on a project related to Godel's first theorem. We found that your diagrams are of great help to us and would like to obtain your permission to use these diagrams for our project. Regarding figure 4, we are not clear what the assertion of the man means. Could you further explain on it? <br />Thank you.Kang Li Xin acehttps://www.blogger.com/profile/17731713713018671018noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-59733806578242125552008-04-20T01:59:00.000+08:002008-04-20T01:59:00.000+08:00Hi Brian, i agree. Mathematical and philosophical...Hi Brian, i agree. Mathematical and philosophical (as well as scientific) concepts once introduced, break free of its author.cvjhttps://www.blogger.com/profile/00327799000000108953noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-13634254568288896082008-04-20T00:59:00.000+08:002008-04-20T00:59:00.000+08:00What the common tao has always known, Godel has ta...What the common tao has always known, Godel has taken to the scientific mainstream.<BR/><BR/>His method, known as Godel numbering, is a breakthrough.<BR/><BR/>CVJ, the great thing about mathematicians and philosophers is that unlike novelist, you do not have to read the original.Brian Brotarlohttps://www.blogger.com/profile/10323875777337473469noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-33124397517995925732008-04-16T20:24:00.000+08:002008-04-16T20:24:00.000+08:00Thanks Jeg. It's good that understanding what God...Thanks Jeg. It's good that understanding <I>what</I> Godel proved is easier than understanding <I>how</I> he went about proving it.<BR/><BR/>I have a copy of GEB but haven't gotten around to reading it in depth.cvjhttps://www.blogger.com/profile/00327799000000108953noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-81599659733959645152008-04-16T14:08:00.000+08:002008-04-16T14:08:00.000+08:00GED? I meant GEB -- Godel Escher Bach.GED? I meant GEB -- Godel Escher Bach.Jegohttps://www.blogger.com/profile/11806891595153451306noreply@blogger.comtag:blogger.com,1999:blog-18212611.post-46733404639960475662008-04-16T11:26:00.000+08:002008-04-16T11:26:00.000+08:00Great summary. I saw Hofstadter's GED at Booksale ...Great summary. I saw Hofstadter's GED at Booksale but it was missing the first 60 or so pages. I have a poorly scanned soft-copy which is a pain to read.Jegohttps://www.blogger.com/profile/11806891595153451306noreply@blogger.com