On Tue, Sep 20, 2016 at 04:06:39PM +0200, Liam Proven wrote:
> On 16 September 2016 at 14:51, David Bridgham <d...@froghouse.org> wrote:
> > On 9/15/16 23:13, ben wrote:
> >
> >> PS: Ternary arithmetic I can understand, but Ternary Logic needs Mr
> >> Spock to figure out.
> >
> > Ternery logic would seem to be useful for implementing an asynchronous
> > design instead of, say, dual rail encoding.
>
>
> Huh? But there have been several -- the Russian/Polish SETUN was the
> first committed to hardware.
>
> http://www.computer-museum.ru/english/setun.htm
>
> But there have been others:
>
> https://en.wikipedia.org/wiki/Ternary_computer
>
> One chap is even trying to build his own:
>
> https://hackaday.io/project/1043-base-3-ternary-computer-from-scratch
As far as I can tell, about the only Polish contribution to Setun
might have been by Polish mathematician Jan Łukasiewicz, who was the
first to propose working system of 3-valued logic called Ł3 / L3. In
fact, the hackaday guy's notes down the page, where he describes
logic, seem to be very much descended from L3, with some mods -
because L3 operates on {0, 1/2, 1} and the guy operates on {0, 1,
2}. For nice(r) set of formulas, have a look at Polish wikipage:
https://pl.wikipedia.org/wiki/Logika_trójwartościowa#Charakterystyka_prawdziwo.C5.9Bciowa_funktor.C3.B3w_klasycznych
Note: I have no idea what I talk about. I only licked the subject and
the taste was interesting, but I have never built a 3VL circuit (even on a
paper) or run an emulator.
--
Regards,
Tomasz Rola
--
** A C programmer asked whether computer had Buddha's nature. **
** As the answer, master did "rm -rif" on the programmer's home **
** directory. And then the C programmer became enlightened... **
** **
** Tomasz Rola mailto:tomasz_r...@bigfoot.com **
