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


fom
Posts:
1,968
Registered:
12/4/12


Re: distinguishability  in context, according to definitions
Posted:
Feb 15, 2013 7:05 AM


On 2/14/2013 12:40 PM, fom wrote: > On 2/14/2013 9:32 AM, Shmuel (Seymour J.) Metz wrote: >> In <qImdnYCz5tRmvITMnZ2dnUVZ_oWdnZ2d@giganews.com>, on 02/11/2013 >> at 10:53 AM, fom <fomJUNK@nyms.net> said: >> >> You really need to step back, separate out the philosophy from the >> mathematics and define any terms that you aren't uisng in accordance >> with standard practice.
What follows is a paradigm Steiner Quadruple System on 14 symbols. This structure is intended to convey duality between the "given label" and its "individuating mark". The one presented here is constructed with the names of basic Boolean functions different from LEQ and XOR. The fourteen functions are linearly separable, whereas the two exclusions are not.
==================
(AND)(FIX)(OR)(NIF) (FIX)(NIF)(NIMP)(IF) (FIX)(NIF)(IMP)(NAND) (NIF)(LET)(OR)(IF) (NIF)(LET)(NIMP)(IMP) (FIX)(FLIP)(IMP)(NOR) (FIX)(LET)(AND)(IF) (FIX)(LET)(OR)(IMP) (FIX)(LET)(NIMP)(NAND) (FIX)(NIF)(LET)(NOR) (AND)(NIMP)(IF)(DENY) (FIX)(FLIP)(LET)(DENY) (AND)(OR)(NIMP)(IMP)
(OR)(NIF)(NIMP)(FLIP) (NIF)(FLIP)(IF)(IMP) (NIF)(FLIP)(NAND)(NOR) (FLIP)(DENY)(NIMP)(IMP) (FLIP)(DENY)(IF)(NAND) (NIF)(LET)(NAND)(AND) (NIF)(DENY)(OR)(IMP) (NIF)(DENY)(NIMP)(NAND) (NIF)(DENY)(IF)(NOR) (NIF)(FLIP)(DENY)(AND) (OR)(IF)(IMP)(TRU) (NIF)(LET)(DENY)(TRU) (OR)(NIMP)(IF)(NAND)
(NIMP)(FLIP)(IF)(LET) (FLIP)(LET)(IMP)(NAND) (FLIP)(LET)(NOR)(AND) (LET)(TRU)(IF)(NAND) (LET)(TRU)(IMP)(NOR) (FLIP)(DENY)(NOR)(OR) (FLIP)(TRU)(NIMP)(NAND) (FLIP)(TRU)(IF)(NOR) (FLIP)(TRU)(IMP)(AND) (FLIP)(LET)(TRU)(OR) (NIMP)(IMP)(NAND)(NTRU) (FLIP)(DENY)(TRU)(NTRU) (NIMP)(IF)(IMP)(NOR)
(IF)(LET)(IMP)(DENY) (LET)(DENY)(NAND)(NOR) (LET)(DENY)(AND)(OR) (DENY)(NTRU)(IMP)(NOR) (DENY)(NTRU)(NAND)(AND) (LET)(TRU)(AND)(NIMP) (LET)(NTRU)(IF)(NOR) (LET)(NTRU)(IMP)(AND) (LET)(NTRU)(NAND)(OR) (LET)(DENY)(NTRU)(NIMP) (IF)(NAND)(NOR)(FIX) (LET)(TRU)(NTRU)(FIX) (IF)(IMP)(NAND)(AND)
(IMP)(DENY)(NAND)(TRU) (DENY)(TRU)(NOR)(AND) (DENY)(TRU)(OR)(NIMP) (TRU)(FIX)(NOR)(OR) (TRU)(FIX)(NAND)(AND) (DENY)(NTRU)(OR)(IF) (DENY)(FIX)(IMP)(AND) (DENY)(FIX)(NOR)(NIMP) (DENY)(TRU)(FIX)(IF) (IMP)(NOR)(AND)(NIF) (DENY)(NTRU)(FIX)(NIF) (DENY)(FIX)(NAND)(OR) (IMP)(NAND)(NOR)(OR)
(NAND)(TRU)(NOR)(NTRU) (TRU)(NTRU)(AND)(OR) (TRU)(NTRU)(NIMP)(IF) (NTRU)(NIF)(NOR)(OR) (NTRU)(NIF)(AND)(NIMP) (TRU)(FIX)(NIMP)(IMP) (TRU)(NIF)(NAND)(OR) (TRU)(NIF)(NOR)(NIMP) (TRU)(NIF)(AND)(IF) (TRU)(NTRU)(NIF)(IMP) (NAND)(AND)(OR)(FLIP) (TRU)(FIX)(NIF)(FLIP) (NAND)(NOR)(AND)(NIMP)
(NOR)(NTRU)(AND)(FIX) (NTRU)(FIX)(OR)(NIMP) (NTRU)(FIX)(IF)(IMP) (FIX)(FLIP)(AND)(NIMP) (FIX)(FLIP)(OR)(IF) (NTRU)(NIF)(IF)(NAND) (NTRU)(FLIP)(NOR)(NIMP) (NTRU)(FLIP)(AND)(IF) (NTRU)(FLIP)(OR)(IMP) (NTRU)(FIX)(FLIP)(NAND) (NOR)(OR)(NIMP)(LET) (NTRU)(NIF)(FLIP)(LET) (NOR)(AND)(OR)(IF)



