Article View: sci.logic
Article #858Re: A Guide for Cantor Cranks
From: Nam Nguyen
Date: Sat, 12 Mar 2011 15:46
Date: Sat, 12 Mar 2011 15:46
7 lines
2148 bytes
2148 bytes
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?
Technical Details
Message-ID:
<CzMep.1309$uN1.24@newsfe04.iad>Path:
arc1-ca.pugleaf.net!g2news1.google.com!news2.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>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-7-bit Path: arc1-ca.pugleaf.net!g2news1.google.com!news2.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> In-Reply-To: <fd17ad42-e5d8-48a3-abe9-2e103f2daca9@a11g2000pro.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Lines: 7 Message-ID: <CzMep.1309$uN1.24@newsfe04.iad> NNTP-Posting-Host: 96.51.153.196 X-Complaints-To: internet.abuse@sjrb.ca X-Trace: newsfe04.iad 1299944802 96.51.153.196 (Sat, 12 Mar 2011 15:46:42 UTC) NNTP-Posting-Date: Sat, 12 Mar 2011 15:46:42 UTC Date: Sat, 12 Mar 2011 08:46:44 -0700