Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
P1: LOOP IFF NOT(LOOPS(P1)) ----> COMPUTATION THEORY IS INCOMPLETE1
1 view
Skip to first unread message
Graham Cooper
Jul 6, 2012, 2:04:54 AM7/6/12
to
Naive Set Theory
F(x) <-> EXIST(S) x e S
F(x) = NOT(x e x)
RUSSELLS SET - the set of all sets that are not members of themself
NOT(R e R) <-> R e R
F(x) <-> EXIST(S) x e S
F(x) = NOT(x e x)
RUSSELLS SET - the set of all sets that are not members of themself
NOT(R e R) <-> R e R
0 new messages