Article View: sci.logic
Article #860Re: A Guide for Cantor Cranks
From: Nam Nguyen
Date: Sat, 12 Mar 2011 16:04
Date: Sat, 12 Mar 2011 16:04
29 lines
2830 bytes
2830 bytes
On 12/03/2011 8:57 AM, Graham Cooper wrote: > On Mar 13, 1:46 am, Nam Nguyen<namducngu...@shaw.ca> wrote: >> On 12/03/2011 8:31 AM, Graham Cooper wrote: >> >> >> >>> How can you in 1 paragraph, dismiss all informal proofs of mathematics >>> and eliminate any possibility to show an error of formal systems >>> themselves? >> >> What does it mean for a formal system itself to have an error? > > Garbage In Garbage Out! > > The operator just pumping in the same naive function definitions as > informally used in mathematical discourse. > > The formal system has no comprehension or representation of a number. > > It's nothing more than a notebook. > > There are no high level axioms on proper usage of the formal system. > > It's bottom up only. > > There is no proof of correctness, nor anything close. But, outside the context of _syntactical_ proofs of formal systems, what does "correctness" mean?
Technical Details
Message-ID:
<FQMep.1310$uN1.387@newsfe04.iad>Path:
arc1-ca.pugleaf.net!g2news1.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!newsfe04.iad.POSTED!00000000!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <b42712d6-d4f9-4f94-a93d-6c93b541d7d8@z3g2000prz.googlegroups.com> <c9de29dc-9e46-4896-996e-cb343d095591@e9g2000vbk.googlegroups.com> <5668f65b-2303-4b93-b0b5-315c4c9336e0@k15g2000prk.googlegroups.com> <973dc817-ebef-4eb5-8e01-ac222a096df3@b13g2000prf.googlegroups.com> <61cea93e-5747-4355-b302-32f8fb9ee7a2@n2g2000prj.googlegroups.com> <87sjutb8vc.fsf@phiwumbda.org> <6c506923-5a3f-4c03-b0c7-0bd5048e4749@q14g2000vbf.googlegroups.com> <8762robf46.fsf@phiwumbda.org> <fd17ad42-e5d8-48a3-abe9-2e103f2daca9@a11g2000pro.googlegroups.com> <CzMep.1309$uN1.24@newsfe04.iad> <3d06db3d-0cd6-49f1-b2b5-b03593e6ce8c@z3g2000prz.googlegroups.com>Show Full Headers
Complete Article Headers
X-Google-Thread: 109d8a,bdbafb069b8118a7 X-Google-NewGroupId: yes X-Google-Thread: fd648,af7892021029fe4a X-Google-NewGroupId: yes X-Google-Attributes: gid9ef9b79ae9,giddb42311052,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: arc1-ca.pugleaf.net!g2news1.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!newsfe04.iad.POSTED!00000000!not-for-mail From: Nam Nguyen <namducnguyen@shaw.ca> User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.14) Gecko/20110221 Thunderbird/3.1.8 MIME-Version: 1.0 Newsgroups: sci.logic,sci.math,aus.science Subject: Re: A Guide for Cantor Cranks References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <b42712d6-d4f9-4f94-a93d-6c93b541d7d8@z3g2000prz.googlegroups.com> <c9de29dc-9e46-4896-996e-cb343d095591@e9g2000vbk.googlegroups.com> <5668f65b-2303-4b93-b0b5-315c4c9336e0@k15g2000prk.googlegroups.com> <973dc817-ebef-4eb5-8e01-ac222a096df3@b13g2000prf.googlegroups.com> <61cea93e-5747-4355-b302-32f8fb9ee7a2@n2g2000prj.googlegroups.com> <87sjutb8vc.fsf@phiwumbda.org> <6c506923-5a3f-4c03-b0c7-0bd5048e4749@q14g2000vbf.googlegroups.com> <8762robf46.fsf@phiwumbda.org> <fd17ad42-e5d8-48a3-abe9-2e103f2daca9@a11g2000pro.googlegroups.com> <CzMep.1309$uN1.24@newsfe04.iad> <3d06db3d-0cd6-49f1-b2b5-b03593e6ce8c@z3g2000prz.googlegroups.com> In-Reply-To: <3d06db3d-0cd6-49f1-b2b5-b03593e6ce8c@z3g2000prz.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Lines: 29 Message-ID: <FQMep.1310$uN1.387@newsfe04.iad> NNTP-Posting-Host: 96.51.153.196 X-Complaints-To: internet.abuse@sjrb.ca X-Trace: newsfe04.iad 1299945893 96.51.153.196 (Sat, 12 Mar 2011 16:04:53 UTC) NNTP-Posting-Date: Sat, 12 Mar 2011 16:04:53 UTC Date: Sat, 12 Mar 2011 09:04:55 -0700