Re: Results of Poll by Email No. 27

On Wed, 9 Apr 2003 01:16:50 +0200 Christian Thalmann <cinga@...>
writes:
> The terms "true", "false", "implies" etc are defined
> within our aedifice of logic -- if you were to change
> into another system of logic [1], you'd have to
> redefine all these expression.
>
> [1] My poor human mind can't really imagine one of
>      those, except maybe for trivial ones like "every
>      statement is true"...  the logical aequivalent of
>      the trivial group representation g -> 1 for all
>      g in the group.
well, with kontoko logic, every statement is sort of true and false at
the same time... i'm not sure exactly how it works because my kinsi
rorotan informant keeps switching to kontoko to describe it...

btw, i have a problem with the kontoko programming language i'm working
on (kontoko math allows division by 0):
0/0={0,1} (actually it's not really that simple, 0/0 isn't considered to
have two values, but one that is 0 and 1 at the same time (this type of
value is called called a _luatkarno_ [4M?@skar\no]))
5*0/0={0,1},{0,5}
2*5*0/0={0,1},{0,10}
1+5*0/0={0,1},{1,6}
1/0=1+0/0={0,1},{1,2}
{0,1}/{0,1}={0,0}=0
{0,5}/{0,1}=5
{0,10}/{0,1}=10
{1,6}/{0,1}=6
{1,2}-{0,1}={1,1}=1

any ideas how i can get a computer to do this sort of thing?

> -- Christian Thalmann
--
Robert Wilson (aka kuvazokad, eltirno, edeí...)
http://kuvazokad.free.fr/
vkky vnkynvj vknyknj ykkv knvy?  karkalone kontoko?  kinsi rorotan kinsa
nadas?  baitta ke farzaiyai?  qxracc pqqattiircx iia kxqqhwiiallccre?
spreken þu viserdya? pake biru ka pa rede?

Replies