🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #746

Re: ALEPH_n is NOT FORMALLY PROVABLE for n=2,3,4..

#746
From: Tonico
Date: Wed, 18 Jan 2012 14:24
23 lines
2159 bytes
On Jan 18, 3:27 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> ALL ZFC PROVES IS
>
> ALL(n):N  f(n)=/=AntiDiagonal
>
> "The AntiDiagonal is MISSING" ... "so there must be BIGGER SETS THAN
> N"
>
> is all invented in your head!
>
> ***
>
> All of modern day mathematics is tiny snippets of formal proofs woven
> together with conjecture.
>
> Saying "in ZFC" is just saying "in ZFC"
>
> You've proven STUFF ALL in pure ZFC.
>
> Herc


Idiot
Technical Details
Message-ID: <ae3d30c6-7449-43c9-8e31-ade077fe8266@o12g2000vbd.googlegroups.com>
Path: arc1-ca.pugleaf.net!lh20ni196404pbb.0!nntp.google.com!news1.google.com!postnews.google.com!o12g2000vbd.googlegroups.com!not-for-mail
References: <d940afa5-608c-4d0c-8ac2-fdfeb7deb0a4@lr19g2000pbb.googlegroups.com>

Show Full Headers
Complete Article Headers
X-Google-Thread: 10cc56,7008d2b10e417a7f
X-Google-NewGroupId: yes
X-Google-Thread: fd648,7008d2b10e417a7f
X-Google-NewGroupId: yes
X-Google-Attributes: gide4b186767d,giddb42311052,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.74.201 with SMTP id w9mr13899343pbv.0.1326900324195;
        Wed, 18 Jan 2012 07:25:24 -0800 (PST)
Path: arc1-ca.pugleaf.net!lh20ni196404pbb.0!nntp.google.com!news1.google.com!postnews.google.com!o12g2000vbd.googlegroups.com!not-for-mail
From: Tonico <Tonicopm@yahoo.com>
Newsgroups: sci.logic,sci.physics,aus.science
Subject: Re: ALEPH_n is NOT FORMALLY PROVABLE for n=2,3,4..
Date: Wed, 18 Jan 2012 06:24:58 -0800 (PST)
Organization: http://groups.google.com
Lines: 23
Message-ID: <ae3d30c6-7449-43c9-8e31-ade077fe8266@o12g2000vbd.googlegroups.com>
References: <d940afa5-608c-4d0c-8ac2-fdfeb7deb0a4@lr19g2000pbb.googlegroups.com>
NNTP-Posting-Host: 77.124.84.8
Mime-Version: 1.0
X-Trace: posting.google.com 1326900324 10274 127.0.0.1 (18 Jan 2012 15:25:24 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 18 Jan 2012 15:25:24 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: o12g2000vbd.googlegroups.com; posting-host=77.124.84.8; posting-account=suWj4AkAAADE1IvGmj55Nmq3f98qb17e
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: ARLUEHNKC
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.0;
 Trident/4.0; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; Tablet PC 2.0;
 .NET4.0C; .NET CLR 3.5.30729; InfoPath.3; .NET CLR 3.0.30729; yie9),gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable