Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: distinguishability - in context, according to definitions
Replies: 43   Last Post: Feb 22, 2013 10:04 AM

 Messages: [ Previous | Next ]
 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)

Date Subject Author
2/10/13 fom
2/10/13 J. Antonio Perez M.
2/10/13 fom
2/11/13 Shmuel (Seymour J.) Metz
2/11/13 fom
2/14/13 Shmuel (Seymour J.) Metz
2/14/13 fom
2/14/13 fom
2/15/13 fom
2/15/13 Shmuel (Seymour J.) Metz
2/16/13 fom
2/17/13 Shmuel (Seymour J.) Metz
2/19/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/15/13 fom
2/15/13 fom
2/14/13 fom
2/17/13 Shmuel (Seymour J.) Metz
2/17/13 fom
2/17/13 Barb Knox
2/18/13 fom
2/19/13 Shmuel (Seymour J.) Metz
2/19/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/19/13 Shmuel (Seymour J.) Metz
2/19/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/21/13 fom
2/22/13 Shmuel (Seymour J.) Metz
2/15/13 fom
2/17/13 Shmuel (Seymour J.) Metz
2/17/13 fom
2/19/13 Shmuel (Seymour J.) Metz
2/16/13 dan.ms.chaos@gmail.com
2/16/13 fom
2/17/13 dan.ms.chaos@gmail.com
2/17/13 fom
2/17/13 dan.ms.chaos@gmail.com
2/18/13 Shmuel (Seymour J.) Metz
2/20/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/16/13 fom
2/19/13 Shmuel (Seymour J.) Metz
2/19/13 fom