Re: Exotic Logics

2009-06-19 Thread Aaron Brady
On Jun 17, 10:32 am, Aaron Brady wrote: > On Jun 17, 10:23 am, Mensanator wrote: snip > > > I think high and low /voltages/, though continuous and approximate, > > > might satisfy this. > > > > There are no such things as electrons, > > > I've got a Tesla coil if you'd like to meet some electrons

Re: Exotic Logics

2009-06-18 Thread Dave Angel
Michael Torrie wrote: William Clifford wrote: I've read one can do all of the 16 binary operations with clever uses of NAND or NOR. That is correct. In fact semiconductor logic is done using these two principle gates. See http://en.wikipedia.org/wiki/NAND_logic . Quite interesting

Re: Exotic Logics

2009-06-18 Thread Michael Torrie
William Clifford wrote: > I've read one can do all of the 16 binary operations with clever uses > of NAND or NOR. That is correct. In fact semiconductor logic is done using these two principle gates. See http://en.wikipedia.org/wiki/NAND_logic . Quite interesting really. -- http://mail.python

Re: Exotic Logics

2009-06-17 Thread Steven D'Aprano
On Wed, 17 Jun 2009 16:37:04 +, Lie Ryan wrote: >> Imagine for a moment that there are no boolean values. There are no >> numbers. They were never invented. There are no classes. >> There are no objects. >> There are only functions. >> >> Could you define functions that act like boolean valu

Re: Exotic Logics

2009-06-17 Thread Luis Alberto Zarrabeitia Gomez
Quoting Lie Ryan : > pdpi wrote: > > On Jun 17, 5:37 pm, Lie Ryan wrote: > >> Steven D'Aprano wrote: > >>> On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > >>>> I was staring at a logic table the other day, and I asked myself, &qu

Re: Exotic Logics

2009-06-17 Thread Lie Ryan
pdpi wrote: > On Jun 17, 5:37 pm, Lie Ryan wrote: >> Steven D'Aprano wrote: >>> On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: >>>> I was staring at a logic table the other day, and I asked myself, "what >>>> if one wanted to pla

Re: Exotic Logics

2009-06-17 Thread Terry Reedy
William Clifford wrote: same (or different) results. I've read one can do all of the 16 binary operations with clever uses of NAND or NOR. The book Laws of Form, by Spencer-Brown' is based on that observation, with nand/nor expanded to n-ary 'bag' functions (like sum() is). I recommend it, e

Re: Exotic Logics

2009-06-17 Thread William Clifford
On Jun 17, 1:28 am, Steven D'Aprano wrote: > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > > I was staring at a logic table the other day, and I asked myself, "what > > if one wanted to play with exotic logics; how might one do it?" > > Fir

Re: Exotic Logics

2009-06-17 Thread Aaron Brady
logic table the other day, and I asked myself, "what > > > > if one wanted to play with exotic logics; how might one do it?" > > > > This might be useful for you, and if not useful, at least it might blow > > > your mind like it did mine. > >

Re: Exotic Logics

2009-06-17 Thread Aaron Brady
On Jun 17, 10:05 am, pdpi wrote: > On Jun 17, 5:37 pm, Lie Ryan wrote: > > > > > Steven D'Aprano wrote: > > > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > > > >> I was staring at a logic table the other day, and I asked myself,

Re: Exotic Logics

2009-06-17 Thread Mensanator
On Jun 17, 11:59 am, Aaron Brady wrote: > On Jun 17, 1:44 am, Steven D'Aprano > > > > wrote: > > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > > > I was staring at a logic table the other day, and I asked myself, "what > > > if one

Re: Exotic Logics

2009-06-17 Thread Aaron Brady
On Jun 17, 10:04 am, Aaron Brady wrote: snip > You (OP) may be interested in the definitions of the fuzzy operators: > > and( x, y ) := min( x, y ) > or( x, y ) := max( x, y ) > not( x ) := 1 (one)- x > nand( x, y ) := not( and( x, y ) ) = 1- min( x, y ) > > Defining 'xor' as '( x or y ) and ( not

Re: Exotic Logics

2009-06-17 Thread pdpi
On Jun 17, 5:37 pm, Lie Ryan wrote: > Steven D'Aprano wrote: > > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > > >> I was staring at a logic table the other day, and I asked myself, "what > >> if one wanted to play with exotic logics; h

Re: Exotic Logics

2009-06-17 Thread Aaron Brady
On Jun 17, 1:28 am, Steven D'Aprano wrote: > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > > I was staring at a logic table the other day, and I asked myself, "what > > if one wanted to play with exotic logics; how might one do it?" > > Fir

Re: Exotic Logics

2009-06-17 Thread Aaron Brady
On Jun 17, 1:44 am, Steven D'Aprano wrote: > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > > I was staring at a logic table the other day, and I asked myself, "what > > if one wanted to play with exotic logics; how might one do it?" > > This

Re: Exotic Logics

2009-06-17 Thread Lie Ryan
Steven D'Aprano wrote: > On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > >> I was staring at a logic table the other day, and I asked myself, "what >> if one wanted to play with exotic logics; how might one do it?" > > > This might be usef

Re: Exotic Logics

2009-06-17 Thread Steven D'Aprano
On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > I was staring at a logic table the other day, and I asked myself, "what > if one wanted to play with exotic logics; how might one do it?" This might be useful for you, and if not useful, at least it might blow your

Re: Exotic Logics

2009-06-17 Thread Steven D'Aprano
On Tue, 16 Jun 2009 22:46:14 -0700, William Clifford wrote: > I was staring at a logic table the other day, and I asked myself, "what > if one wanted to play with exotic logics; how might one do it?" First question: what's an exotic logics? Do you mean things like thr

Exotic Logics

2009-06-16 Thread William Clifford
I was staring at a logic table the other day, and I asked myself, "what if one wanted to play with exotic logics; how might one do it?" I did some searching but not being too sure of what to look for and carried away with my own enthusiasm for the idea, I didn't find much. What I&