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:
SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
Replies:
8
Last Post:
Nov 17, 2012 7:26 PM




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



