Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
Posted:
Nov 17, 2012 4:44 PM


> MATHEMATICS > E(Y) Y={xP(x)} <> PRVBLE( E(Y) Y={xP(x)} ) > PRVBLE(T) <> NOT(DERIVE(NOT(T)))
It amazes me to this day not one LOGICIAN online can fathom this definition of provable!
NOT(PROVABLE(T)) <> DERIVE(NOT(T))
Herc



