Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.independent

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Charlie-Boo

Posts: 1,585
Registered: 2/27/06
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted: Oct 7, 2012 7:38 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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
Read If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Frederick Williams
10/7/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Charlie-Boo
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Frederick Williams
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/7/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/8/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/9/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/11/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
camgirls@hush.com
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Richard Tobin
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
camgirls@hush.com
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Scott Berg
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Curt Welch
10/6/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Mike Terry
10/6/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.