Message from discussion
Mathelogy S 011
Received: by 10.68.220.230 with SMTP id pz6mr18745255pbc.3.1337675854686;
Tue, 22 May 2012 01:37:34 -0700 (PDT)
Path: pr3ni25972pbb.0!nntp.google.com!news1.google.com!postnews.google.com!wp3g2000pbc.googlegroups.com!not-for-mail
From: Graham Cooper <grahamcoop...@gmail.com>
Newsgroups: sci.math,sci.logic
Subject: Re: Mathelogy S 011
Date: Tue, 22 May 2012 01:34:11 -0700 (PDT)
Organization: http://groups.google.com
Lines: 44
Message-ID: <1d88d48f-1da9-485e-ae94-d52d75fd9303@wp3g2000pbc.googlegroups.com>
References: <27c05ba8-ddbb-4a04-b7c4-fbf16ee94b7d@d6g2000vbe.googlegroups.com>
<87vcjsx423.fsf_-_@phiwumbda.org> <5a80b4c9-a47b-4d93-8841-de56a92424ab@hq4g2000vbb.googlegroups.com>
<87r4ugwgo5.fsf@phiwumbda.org> <47b0b804-0605-472d-b071-726da5ba94ff@ec4g2000vbb.googlegroups.com>
<jp96ok$r5t$1@dont-email.me> <4a213eac-605e-4472-80bd-a2f21997bbf2@p1g2000vbv.googlegroups.com>
<jpar75$lre$1@dont-email.me> <09122278-bf23-4864-b3af-46ff68035fc3@n33g2000vbi.googlegroups.com>
<jpav4q$e7a$1@dont-email.me> <b02a9210-1c47-499b-865c-f6eaa131910f@e20g2000vbm.googlegroups.com>
<virgil-B22370.17385720052012@bignews.usenetmonster.com> <20da4b01-d857-49e9-a6ed-d04c656bbd3a@p27g2000vbl.googlegroups.com>
<38f4f5db-fb74-4181-8a74-6bcc1d8da2d1@m10g2000vbn.googlegroups.com> <virgil-FBEF8F.23530721052012@bignews.usenetmonster.com>
NNTP-Posting-Host: 101.172.85.63
Mime-Version: 1.0
X-Trace: posting.google.com 1337675771 5364 127.0.0.1 (22 May 2012 08:36:11 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 22 May 2012 08:36:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: wp3g2000pbc.googlegroups.com; posting-host=101.172.85.63; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/536.5 (KHTML, like
Gecko) Chrome/19.0.1084.46 Safari/536.5,gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
On May 22, 3:53=A0pm, Virgil <vir...@ligriv.com> wrote:
> > natural number so large that no calculator can store it. One will
> > be hardpressed to find a calculator that can store Graham's number,
> > or even certain naturals much smaller than G. The exact size of
> > the upper bound doesn't matter -- all that matters is that an upper
> > bound exists.
>
> Then one should stick to things that do matter and not make false
> statements about things that do not matter.
>
Well my browser says...
Mathematics is 11 new of 11 Zuhair (4 authors) 4:18pm
Mathelogy S 011 125 new of 125 Virgil (15 authors) 3:53pm
Back to the core issue:
On the case of MATHEREALISTS VS MATHEOLOGISTS
[TRANSFER PRINCIPLE]
These are provable in standard theory or matheology, but not in WM
and his matherealism. Notice that as WM is the poster whom I'm
helping in this thread, I'm using the terms "matheology" and
"matherealism" as WM intends them to be used.
******
It has been suggested that STANDARD MATHEMATICS is MATHEOLOGY.
Imagine Cantor =3D Tom Cruise
and Ron Hubbard =3D Godel
I suggest the Hypothesis to PROVE or DISPROVE
H0: MATHEOLOGISTS CANNOT TELL APART MATHEMATICS FROM ZFC!
and my initial supporting evidence is
H0/A/ because you were all trained that way.
Herc