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 ]
 Charlie-Boo Posts: 1,635 Registered: 2/27/06
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted: Oct 7, 2012 7:38 PM

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

> > Formal Theory means all sentences in the Theory are systematically
> > enumerated.

>
> > ZFC is NOT a formal Theory!
>
> > There is no method given to distinguish between theorems and predicate
> > calculus formulas.

>
> > [...]
>
> > You have NO WAY of enumerating Theorems!
>
> What is enumerated is G\"odel numbers of theorems.  So which theorem
> comes first depends on the enumerator and the G\"odel numbering.

Give them the Godel number consisting of the number of the first
symbol times 100 plus the number of the second symbol etc. so the
order of the numbers and of the wffs coincide. Then the first one is
the theorem that is alphabetically first. Which one is that?

Or better yout, just start enumerating theorems and stop after the
first one and tell us what it is ok?

What is theorem 1? Excellent question. A question that one could
easily answer for any genuine axiomatic system!!!!!

C-B

> --
> Where are the songs of Summer?--With the sun,
> Oping the dusky eyelids of the south,
> Till shade and silence waken up as one,
> And morning sings with a warm odorous mouth.

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