Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Replies: 39   Last Post: Oct 14, 2012 11:56 PM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,495 Registered: 5/20/10
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted: Oct 5, 2012 7:23 PM

On Oct 6, 8:58 am, Frederick Williams <freddywilli...@btinternet.com>
wrote:
> Graham Cooper wrote:
>

> > George's idiocy is in full bloom here!
>
> > His underlying contradictions and FAILURE TO STATE THEOREM 1 of ZFC
> > result in this copious false output and misunderstandings of what a
> > theorem, formula, or theory actually are.

>
> I don't get it.  Which is the first theorem in an enumeration will
> depend on how they are enumerated.

You said use Godel numbering.

In that case: using an alphabet of

{a, b, c, d, e, f, g, 0, 1, E, A, (, ), ,, {, } +, -, =, >,<, !}

the first theorem of ZFC is

a

George seems to think VALIDATED THEOREMS are numbered as they are
VALIDATED.

Neither of you have an INKLING what the enumeration method is, or even
what parses as a well formed if not validated formula.

Herc

Date Subject Author
10/5/12 Graham Cooper
10/5/12 Frederick Williams
10/7/12 Charlie-Boo
10/5/12 Graham Cooper
10/5/12 Frederick Williams
10/5/12 Graham Cooper
10/7/12 Graham Cooper
10/8/12 Graham Cooper
10/9/12 Graham Cooper
10/11/12 Graham Cooper
10/12/12 Graham Cooper
10/12/12 Graham Cooper
10/12/12 camgirls@hush.com
10/12/12 Richard Tobin
10/12/12 camgirls@hush.com
10/13/12 george
10/13/12 Graham Cooper
10/14/12 george
10/13/12 Graham Cooper
10/13/12 george
10/13/12 george
10/13/12 Graham Cooper
10/14/12 Graham Cooper
10/14/12 Graham Cooper
10/14/12 Graham Cooper
10/5/12 Scott Berg
10/5/12 Curt Welch
10/6/12 Mike Terry
10/6/12 Graham Cooper