Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
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