WikiDiscuss

WikiDiscuss


baupla fuzykamni

posts: 1912


> Well, I see the point, but going against a couple
> thousand years of tradition — in logic and
> (though for a shorter time) programming languages
> — militates against the change.

I'm not sure about programming languages. For example
in the instruction:

IF a=1 THEN SET b = 0

"IF ... THEN ..." can hardly be {ga nai ... gi ... }.
If a=1 is false we don't want to let the computer to
set b = 0 if it pleases, which {ganai ... gi ...}
presumably would. So the "if" of programming languages,
if it can be compared to a logical connective given the
modalities involved, would have to be iff, {go ... gi ...}.

mu'o mi'e xorxes




__
Do you Yahoo!?
Yahoo! Mail - 250MB free storage. Do more. Manage less.
http://info.mail.yahoo.com/mail_250