Theiling Online    Sitemap    Conlang Mailing List HQ   

Re: Funky Mathlangs (Was: We Z'te)

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 >