Article View: sci.logic
Article #859Re: A Guide for Cantor Cranks
From: Graham Cooper
Date: Sat, 12 Mar 2011 15:57
Date: Sat, 12 Mar 2011 15:57
25 lines
2828 bytes
2828 bytes
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.
Technical Details
Message-ID:
<3d06db3d-0cd6-49f1-b2b5-b03593e6ce8c@z3g2000prz.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!z3g2000prz.googlegroups.com!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>Show Full Headers
Complete Article Headers
X-Google-Thread: 10cc56,bdbafb069b8118a7 X-Google-NewGroupId: yes X-Google-Thread: 109d8a,bdbafb069b8118a7 X-Google-NewGroupId: yes X-Google-Thread: fd648,af7892021029fe4a X-Google-NewGroupId: yes X-Google-Attributes: gide4b186767d,gid9ef9b79ae9,giddb42311052,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!z3g2000prz.googlegroups.com!not-for-mail From: Graham Cooper <grahamcooper7@gmail.com> Newsgroups: sci.logic,sci.math,aus.science Subject: Re: A Guide for Cantor Cranks Date: Sat, 12 Mar 2011 07:57:22 -0800 (PST) Organization: http://groups.google.com Lines: 25 Message-ID: <3d06db3d-0cd6-49f1-b2b5-b03593e6ce8c@z3g2000prz.googlegroups.com> 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> NNTP-Posting-Host: 120.17.123.129 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1299945442 15476 127.0.0.1 (12 Mar 2011 15:57:22 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sat, 12 Mar 2011 15:57:22 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: z3g2000prz.googlegroups.com; posting-host=120.17.123.129; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR 3.0.30729; HPMTDF),gzip(gfe)