Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.
|
|
Math Forum
»
Discussions
»
sci.math.*
»
sci.math
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
|
 |
|
|
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---------\ > | / > | / PARADOXES X=~X > | / 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
|
|
|
|