Re: Funky Mathlangs (Was: We Z'te)
| From: | <veritosproject@...> |
|---|
| Date: | Tuesday, February 21, 2006, 20:35 |
|---|
a Yes
b No, defining non-equality.
c Yes
d Yes
e Yes
f Yes, but I made a mistake in my input.
g No. Xor. a works as an equality test also.
My entire point with this was to start from the beginning. I'm
currently working on adding and subtracting, for which I needed to
define a recursion operator and a binary value (basically just a set
of these.)
On 2/21/06, Nokta Kanto <red5_2@...> wrote:
> On Tue, 21 Feb 2006 10:03:14 -0800, veritosproject@GMAIL.COM wrote:
>
> >I've come up with a small funky mathlang of my own, à la We Z'te.
> >Let's see how you guys/gals do.
>
> That was kinda fun. It's a prefix language.
>
> a Equality assertion
> b Ordering assertion
> c True
> d False
> e Or
> f And
> g Equality test
>
> For some odd reason I'm wondering how to translate 'chocolate' into a mathlang...
> --Noktakanto
>