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: VENN DIAGRAM of FORMAL SYSTEM TYPES
Replies: 1   Last Post: Feb 11, 2013 12:21 PM

 Messages: [ Previous | Next ]
 Charlie-Boo Posts: 1,635 Registered: 2/27/06
Re: VENN DIAGRAM of FORMAL SYSTEM TYPES
Posted: Feb 11, 2013 12:21 PM

On Feb 9, 9:09 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> |-------------STRINGS----------|
> |
> |      abc^*z      qed
> |
> |
> |      /--------WFF---------\
> |     /
> |   /   FALSE FORMULA  ~X=X
> |  /
> | |
> | |     /---THEOREMS-----\
> | |    /
> | |   |    BT(S(0),0)
> | |   |
> | |   |    ------------\
> | |   |   /  THEOREMS
> | |   |  |   STARTING
> | |   |  |   WITH NOT
> | |   |  |
> | |   |  |  ~(BT(0,X)
> | |   |   \------------/
> | |   |
> | |   \
> | |    \-----------------/
> |  \
> |   \
> |    \
> |     \--------------------/
> |
> |
> |-----------------------------|
>
> WFF C STRINGS
> THEOREMCS C WFF
> THEOREMS starting with NOT(....)  C  THEOREMS
>
> ----
>
> A SET type can also be useful in programming
> to instantiate  "russell"  into  X  in  X~eX
>
> ----
>
> Godel's Proof does not use this model.
>
> Can anyone figure out why?
>
> Herc
> --www.BLoCKPROLOG.com

Because it's ambiguous and inconsistent, maybe?

C-B

"If you can't stand the heat, get out of the kitchen." - Ronald RayGun

Date Subject Author
2/9/13 Graham Cooper
2/11/13 Charlie-Boo