Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #37836

Re: sublinear identity in ten lines

Show all headers | View raw

On 12/08/2021 12:26, Daniel Pehoushek wrote:
[...]
> const num one = (num)true; // fundamental unity of one with truth
> const num zero = one >> one; // one down one bit is universal zero
> purest cleanest possible definition of zero without using negation or
> minus
> const num two = one + one + (one >> one); // two is one plus one plus
> zero // zero counts most cleanly
> const num three = two + one; //let there be light numbers 0123
> const num  four = two + two; //at last after all the theoretical work
> on small numbers we have "every child knows"
> const num  five  = three + two; //bobs favorite number is five

	Ha!  My "Game Theory" program recognises [amongst others]

    GAME zero = (null, null),
         one = (+zero, null),
         two = (+one, null),
         half = (+zero, +one), [...];

["null" is an empty array of games, "+" is a user-defined monadic operator
that turns a game into an array of games].  It's more about games than
about numbers [which are a subset of games], else I would have done a lot
more to implement N and arithmetic in general.  What I actually used it
for was to check some counts of simple games [eg generated by "day four"]
and to ensure the correctness of some exam questions.

-- 
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Bucalossi

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-11 20:33 -0700
  Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-11 20:39 -0700
    Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 02:13 -0700
      Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 03:39 -0700
        Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 03:57 -0700
          Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 04:16 -0700
            Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 04:26 -0700
              Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 04:36 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 04:54 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 05:11 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 05:20 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 05:26 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 05:35 -0700
                Re: sublinear identity in ten lines olcott <NoOne@NoWhere.com> - 2021-08-12 09:54 -0500
              Re: sublinear identity in ten lines Andy Walker <anw@cuboid.co.uk> - 2021-08-12 19:19 +0100
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-12 12:59 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 01:29 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 01:48 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 06:00 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 06:53 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 07:04 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 07:17 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 07:24 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-13 07:40 -0700
                Re: sublinear identity in ten lines Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 20:08 +0100
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-14 01:41 -0700
                Re: sublinear identity in ten lines Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-14 12:59 +0100
                Re: sublinear identity in ten lines Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-14 05:22 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-14 06:02 -0700
                Re: sublinear identity in ten lines Daniel Pehoushek <pehoushek1@gmail.com> - 2021-08-17 11:46 -0700

csiph-web