Article View: sci.lang
Article #2461Re: Why don't we just talk binary language???
From: Hans Aberg
Date: Fri, 24 Aug 2007 22:28
Date: Fri, 24 Aug 2007 22:28
33 lines
2724 bytes
2724 bytes
In article <46cd53c8$1@clear.net.nz>, "Paul J Kriha"
<paul.nospam.kriha@paradise.net.nz> wrote:
> However all these systems are just mirrages of one and
> only System of The Binary Persuasion. Step away brother
> from The Binary with its BITs. Admire the beauty and confront
> the challenge of The Trinary (with its TITs of three possible
> values true, false, and maybe):
>
> Savour the delights of these samples of trinary arithmetic:
> true AND true = true
> true AND false = false
> true AND maybe = maybe
> maybe AND maybe = maybe
> maybe AND false = false
> false AND false = false
>
> true OR true = true
> true OR false = true
> true OR maybe = true
> maybe OR maybe = maybe
> maybe OR false = maybe
> false OR false = false
The "three-valued logic" emerges naturally in the context of studying
decidability or determinability of normal two-valued logic; cf. S.C.
Kleene, "Introduction to meta-mathematics", where the three values are {t,
f, u} (u = undefined, undetermined, undecided, etc.). There are several
different suggestions for�composition�rules, the one above is called
"strong" in loc.cit, p.332, perhaps suggested by Kleene(?). Anyway, I
decided to call the number type "Kleenean".
Hans Aberg
Technical Details
Message-ID:
<haberg-2508070028220001@c83-250-198-41.bredband.comhem.se>Path:
arc1-ca.pugleaf.net!g2news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!newspeer1.se.telia.net!se.telia.net!masternews.telia.net.!newsb.telia.net.POSTED!not-for-mailReferences:
<1187639582.990983.309740@a39g2000hsc.googlegroups.com> <20070820Z00u73b39rT9LVve0A0zWk3@LLLlV> <1187690939.785293.54230@g4g2000hsf.googlegroups.com> <20070821BY7jjTAXO16qI5Q3sgk1qE1@T8lHx> <1187694650.951696.253540@o80g2000hse.googlegroups.com> <46cbd018@clear.net.nz> <1187818821.429330.176310@l22g2000prc.googlegroups.com> <46cd53c8$1@clear.net.nz>Show Full Headers
Complete Article Headers
X-Google-Thread: 10a20a,90070b91a56d84 X-Google-Thread: fd828,7a04ae63ce201043 X-Google-Thread: 11227a,7a04ae63ce201043 X-Google-Thread: 102ffd,7a04ae63ce201043 X-Google-Thread: 1033ee,90070b91a56d84 X-Google-Attributes: gid10a20a,gidfd828,gid11227a,gid102ffd,gid1033ee,public,usenet X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!newspeer1.se.telia.net!se.telia.net!masternews.telia.net.!newsb.telia.net.POSTED!not-for-mail From: haberg@math.su.se (Hans Aberg) Newsgroups: sci.lang,alt.fan.jai-maharaj,soc.culture.indian,alt.usage.english,abg.mampf Subject: Re: Why don't we just talk binary language??? Message-ID: <haberg-2508070028220001@c83-250-198-41.bredband.comhem.se> References: <1187639582.990983.309740@a39g2000hsc.googlegroups.com> <20070820Z00u73b39rT9LVve0A0zWk3@LLLlV> <1187690939.785293.54230@g4g2000hsf.googlegroups.com> <20070821BY7jjTAXO16qI5Q3sgk1qE1@T8lHx> <1187694650.951696.253540@o80g2000hse.googlegroups.com> <46cbd018@clear.net.nz> <1187818821.429330.176310@l22g2000prc.googlegroups.com> <46cd53c8$1@clear.net.nz> Organization: Virgo Supercluster User-Agent: NewsWatcher-X 2.2.3b2 Lines: 33 Date: Fri, 24 Aug 2007 22:28:23 GMT NNTP-Posting-Host: 83.250.198.41 X-Complaints-To: abuse@telia.com X-Trace: newsb.telia.net 1187994503 83.250.198.41 (Sat, 25 Aug 2007 00:28:23 CEST) NNTP-Posting-Date: Sat, 25 Aug 2007 00:28:23 CEST