Received: by 10.66.73.1 with SMTP id h1mr430383pav.0.1349557752160;
        Sat, 06 Oct 2012 14:09:12 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.68.244.73 with SMTP id xe9mr3970953pbc.10.1349557752138; Sat,
 06 Oct 2012 14:09:12 -0700 (PDT)
Path: t10ni23613332pbh.0!nntp.google.com!kt20no12594102pbb.1!postnews.google.com!ro10g2000pbc.googlegroups.com!not-for-mail
Newsgroups: sci.logic,sci.math,sci.physics,comp.ai.philosophy,rec.org.mensa
Date: Sat, 6 Oct 2012 14:09:12 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: ro10g2000pbc.googlegroups.com; posting-host=101.168.127.254; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 101.168.127.254
References: <f76717da-e106-4b58-829b-b8531bff5faa@q9g2000pbo.googlegroups.com>
 <k4o3rv$f0g$2@news.albasani.net> <20121005234532.149$lF@newsreader.com> <oNWdnY_MQaGUoe3NnZ2dnUVZ8hGdnZ2d@brightview.co.uk>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/537.4 (KHTML, like
 Gecko) Chrome/22.0.1229.79 Safari/537.4,gzip(gfe)
Message-ID: <9aaa0655-0f35-492f-bb62-fa1ffaf66154@ro10g2000pbc.googlegroups.com>
Subject: Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
From: Graham Cooper <grahamcoop...@gmail.com>
Injection-Date: Sat, 06 Oct 2012 21:09:12 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

On Oct 7, 12:11=A0am, "Mike Terry"
<news.dead.person.sto...@darjeeling.plus.com> wrote:
> "Curt Welch" <c...@kcwc.com> wrote in message
>
> > "Mike Delanis" <inva...@invalid.com> wrote:
> > > "Graham Cooper" <grahamcoop...@gmail.com> wrote in message
> > >news:f76717da-e106-4b58-829b-b8531bff5faa@q9g2000pbo.googlegroups.com.=
..
>
> > > > 20 goto 10
>
> > > interpreter BASIC ............. =A0you must be 60 years old.
>
> > My first access to computers was with an interpreted basic system in th=
e
> > early 1970's. =A0Odd that when I first read your comment about being 60=
 it
> > seemed way too high. =A0But them I remembered I'm 56 soon, so 60 really=
 is
> > about right. =A0Odd that I don't feel anything like "60". =A0I think th=
at's
> > because I started to ignore my age once I hit 50 so I still feel like I=
'm
> > in my 40's. :)
>
> The question shouldn't be "When did you *first* use interpreted basic?". =
=A0It
> should be "When might someone reasonably *last* have used it?" =A0I recal=
l
> using line-numbered basic at work in the late 1980s, so 60 is way to high=
 as
> you first thought.
>
> Mike.


A THEORY *should* have line numbers.

A Syntactic Formula Enumeration

F0001  X
F0002  X=3DX
F0003  E(X) X=3DX
F0004  A(x) X=3DX
F0005  X^Y
F0006  X^Y->X

A subset of which is sifted into Theoremhood!


F0001  -------     X
F0002  ------     X=3DX
F0003  T0001     E(X) X=3DX
F0004  T0002     A(X) X=3DX
F0005  -------     X^Y
F0006  -------     X^Y->X
F0007 T0003     A(X) X^Y->X
...

Herc
--
LOGIC
E(Y) Y=3D{x|P(x)}  <->  DERIVE( E(Y) Y=3D{x|P(x)} )
DERIVE(T) <-> DERIVE(a) ^ DERIVE(b) ^ (a^b)->T

MATHEMATICS
E(Y) Y=3D{x|P(x)}  <->  PRVBLE( E(Y) Y=3D{x|P(x)} )
PRVBLE(T) <-> NOT(DERIVE(NOT(T)))