Brtish, wrote Laws of Form among other things - a seminal book in the 60s
on the foundations of logic that still remains controversial; it's had an
influence on contemporary cybernetic theory,for example the work of
Luhmann. - Alan
On Sat, 4 Sep 2010, dave miller wrote:
who's Spencer Brown?
On 3 September 2010 22:57, Alan Sondheim <[email protected]> wrote:
Tried to run it in my shell account and got error messages.
Beautiful! - Alan
On Fri, 3 Sep 2010, James Morris wrote:
On 3 September 2010 16:50, Alan Sondheim <[email protected]> wrote:
Hi James, excuse my ignorance, but what does this do?
Thanks, Alan
It displays the following:
x:4 !x:0 !!x:1
(!x != x) == true
(!!x != x) == true
(!!x != !x) == true
x:2 !x:0 !!x:1
(!x != x) == true
(!!x != x) == true
(!!x != !x) == true
x:1 !x:0 !!x:1
(!x != x) == true
(!!x != x) == false
(!!x != !x) == true
translated:
(x) holds the value 4, (not x) gives the value 0, (not (not x)) gives
the value 1
therefor:
(not x does not equate with x) is true
(not (not x) does not equate with x) is true
(not (not x) does not equate with not x) is true
and so on.
hth ;-)
On Fri, 3 Sep 2010, James Morris wrote:
/* double_bang_test.c */
#include <stdio.h>
int main(int argc, char** argv)
{
int x = 4;
do
{
printf("x:%d !x:%d !!x:%d\n", x, !x, !!x);
/*
printf("\t(!x == x) == %s\n", (!x == x) ? "true" :
"false" );
printf("\t(!!x == x) == %s\n", (!!x == x) ? "true" :
"false" );
printf("\t(!!x == !x) == %s\n", (!!x == !x) ? "true" :
"false" );
*/
printf("\t(!x != x) == %s\n", (!x != x) ? "true" :
"false" );
printf("\t(!!x != x) == %s\n", (!!x != x) ? "true" :
"false" );
printf("\t(!!x != !x) == %s\n", (!!x != !x) ? "true" :
"false" );
putchar('\n');
} while(x >>= 1);
return 0;
}
/*
--
_
: http://jwm-art.net/
-audio/image/text/code
*/
_______________________________________________
NetBehaviour mailing list
[email protected]
http://www.netbehaviour.org/mailman/listinfo/netbehaviour
==
email archive: http://sondheim.rupamsunyata.org/
webpage http://www.alansondheim.org
music archive: http://www.espdisk.com/alansondheim/
==
_______________________________________________
NetBehaviour mailing list
[email protected]
http://www.netbehaviour.org/mailman/listinfo/netbehaviour
--
_
: http://jwm-art.net/
-audio/image/text/code
_______________________________________________
NetBehaviour mailing list
[email protected]
http://www.netbehaviour.org/mailman/listinfo/netbehaviour
==
email archive: http://sondheim.rupamsunyata.org/
webpage http://www.alansondheim.org
music archive: http://www.espdisk.com/alansondheim/
==
_______________________________________________
NetBehaviour mailing list
[email protected]
http://www.netbehaviour.org/mailman/listinfo/netbehaviour
_______________________________________________
NetBehaviour mailing list
[email protected]
http://www.netbehaviour.org/mailman/listinfo/netbehaviour
==
email archive: http://sondheim.rupamsunyata.org/
webpage http://www.alansondheim.org
music archive: http://www.espdisk.com/alansondheim/
==
_______________________________________________
NetBehaviour mailing list
[email protected]
http://www.netbehaviour.org/mailman/listinfo/netbehaviour
