Article View: sci.logic
Article #719Re: Sound, semantically complete, categorical theory of arithmetic
From: Graham Cooper
Date: Tue, 11 Jun 2013 00:50
Date: Tue, 11 Jun 2013 00:50
49 lines
3874 bytes
3874 bytes
On Jun 11, 9:55 am, BruceS <bruce...@hotmail.com> wrote: > On 06/10/2013 04:01 PM, Graham Cooper wrote: > > > On Jun 11, 12:30 am, Peter Percival wrote: > >> I think I am an Elephant, > >> Behind another Elephant > >> Behind /another/ Elephant who isn't really there.... > >> A.A. Milne > > > http://phpprolog.com/nat-s-s-dog.png > > OK, but have you paid Brad that $1000 you owe him? Given your abject > poverty, you could just start paying him $1 per week, to at least show > good faith. If you could afford it, maybe you could even make it $2 on > a good week. > Didn't you follow misc.legal? Brad posted his 1st Question at the exact same minute that I posted Qualifying comments about the bet that it must be paypaled $1000 up front by him! https://groups.google.com/group/aus.tv/msg/b0c7ab3af05af298 BRAD More options Dec 31 2012, 3:41 pm Word One page 106 line 27 ************* https://groups.google.com/group/sci.skeptic/msg/3c647092c1abbc41 HERC More options Dec 31 2012, 3:41 pm What? You can paypal up front if you want Herc Maybe if you 2 were a minute quicker or you didn't give away clues during a mindreading test we could have completed it! Herc
Technical Details
Message-ID:
<0f2ce636-6b38-4a0e-bc03-6107630be933@qn4g2000pbc.googlegroups.com>Path:
arc1-ca.pugleaf.net!hv6ni12796wib.1!nntp.google.com!ch1no3464260qab.0!postnews.google.com!qn4g2000pbc.googlegroups.com!not-for-mailReferences:
<d2c36b7d-624d-4a3c-b34a-5061f7f74e3c@googlegroups.com> <63c9ed18-0967-41bf-b415-c5cadb50ce17@googlegroups.com> <93df340b-6099-40ec-9753-abb9c532d635@googlegroups.com> <b0158e8f-77b2-4b4a-b91d-0185bb13dfbf@googlegroups.com> <84f3bdb0-fdba-4baa-b749-ec658fa80d96@googlegroups.com> <0f4bd806-3009-49c3-bee1-bb84b019d99e@googlegroups.com> <75f0a114-1ed3-4693-8c23-6b5f2d88bfba@googlegroups.com> <877gi39pgk.fsf@uta.fi> <3f1cd77b-e7c2-45ad-bdc2-f285e82a321d@googlegroups.com> <87y5ai7t3g.fsf@uta.fi> <31da841d-c341-4d3f-a534-4ad1b76e8166@googlegroups.com> <virgil-54B4C2.20204509062013@BIGNEWS.USENETMONSTER.COM> <R4ctt.754$Io6.210@newsfe18.iad> <kp48qj$n99$1@news.albasani.net> <3%ktt.33$E_5.23@newsfe18.iad> <kp4ntp$nnh$1@news.albasani.net> <165fdd83-2006-4f2c-a0c1-d135cfe94fef@s2g2000pbz.googlegroups.com> <kp5oo9$1m5$1@dont-email.me>Show Full Headers
Complete Article Headers
X-Google-Thread: 10cc56,2b1ef1cb627c3c45
X-Google-NewGroupId: yes
X-Google-Thread: 109d8a,b943f33e029888f7
X-Google-NewGroupId: yes
X-Google-Thread: 10b271,b943f33e029888f7
X-Google-NewGroupId: yes
X-Google-Thread: 106b5d,b943f33e029888f7
X-Google-NewGroupId: yes
X-Google-Thread: 102c27,4d4caa6192a54f5e,start
X-Google-NewGroupId: yes
X-Google-Attributes: gide4b186767d,gid9ef9b79ae9,gid54ac8f410d,gid3b9c5691a5,gid35c5869fd6,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
X-Received: by 10.180.187.115 with SMTP id fr19mr4745649wic.4.1370911843727;
Mon, 10 Jun 2013 17:50:43 -0700 (PDT)
MIME-Version: 1.0
X-Received: by 10.50.44.69 with SMTP id c5mr1294759igm.12.1370911843294; Mon,
10 Jun 2013 17:50:43 -0700 (PDT)
Path: arc1-ca.pugleaf.net!hv6ni12796wib.1!nntp.google.com!ch1no3464260qab.0!postnews.google.com!qn4g2000pbc.googlegroups.com!not-for-mail
Newsgroups: sci.logic,sci.math,sci.physics,rec.org.mensa,aus.legal
Date: Mon, 10 Jun 2013 17:50:43 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: qn4g2000pbc.googlegroups.com; posting-host=101.169.170.166; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 101.169.170.166
References: <d2c36b7d-624d-4a3c-b34a-5061f7f74e3c@googlegroups.com>
<63c9ed18-0967-41bf-b415-c5cadb50ce17@googlegroups.com> <93df340b-6099-40ec-9753-abb9c532d635@googlegroups.com>
<b0158e8f-77b2-4b4a-b91d-0185bb13dfbf@googlegroups.com> <84f3bdb0-fdba-4baa-b749-ec658fa80d96@googlegroups.com>
<0f4bd806-3009-49c3-bee1-bb84b019d99e@googlegroups.com> <75f0a114-1ed3-4693-8c23-6b5f2d88bfba@googlegroups.com>
<877gi39pgk.fsf@uta.fi> <3f1cd77b-e7c2-45ad-bdc2-f285e82a321d@googlegroups.com>
<87y5ai7t3g.fsf@uta.fi> <31da841d-c341-4d3f-a534-4ad1b76e8166@googlegroups.com>
<virgil-54B4C2.20204509062013@BIGNEWS.USENETMONSTER.COM> <R4ctt.754$Io6.210@newsfe18.iad>
<kp48qj$n99$1@news.albasani.net> <3%ktt.33$E_5.23@newsfe18.iad>
<kp4ntp$nnh$1@news.albasani.net> <165fdd83-2006-4f2c-a0c1-d135cfe94fef@s2g2000pbz.googlegroups.com>
<kp5oo9$1m5$1@dont-email.me>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/537.36 (KHTML, like
Gecko) Chrome/27.0.1453.110 Safari/537.36,gzip(gfe)
Message-ID: <0f2ce636-6b38-4a0e-bc03-6107630be933@qn4g2000pbc.googlegroups.com>
Subject: Re: Sound, semantically complete, categorical theory of arithmetic
From: Graham Cooper <grahamcooper7@gmail.com>
Injection-Date: Tue, 11 Jun 2013 00:50:43 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable