[time 231] Re:

Hitoshi Kitada (hitoshi@kitada.com)
Thu, 15 Apr 1999 22:30:59 +0900

Dear Ben,

Just a miscellaneous remark on the parallel between math and Big Bang
theory... (I hope to understand your paper, but the notion of boundary you
mention in the paper is difficult for me to understand...)

----- Original Message -----
From: Benjamin Nathaniel Goertzel <ben@goertzel.org>
Sent: Sunday, April 11, 1999 11:23 AM


> X-Sender: ben@goertzel.org
> X-Mailer: QUALCOMM Windows Eudora Pro Version 4.1
> Date: Sat, 10 Apr 1999 22:20:21 -0400
> To: "Hitoshi Kitada" <hitoshi@kitada.com>,"Time List" <time@kitada.com>
> From: Ben Goertzel <ben@goertzel.org>
> Subject: multiboundary algebra
> Cc: "Lancelot R. Fletcher" <lance.fletcher@freelance-academy.org>
> In-Reply-To: <002501be8358$ee98bae0$9450a3d2@kitada.com>
> References: <4.1.19990409234045.00bef210@goertzel.org>
> Mime-Version: 1.0
> Content-Type: text/plain; charset="iso-8859-1"
> Content-Transfer-Encoding: quoted-printable
> Just a half-baked thought that will be more fully baked later...
> I was thinking about how to make a good formal algebraic formulation of
> Hitoshi's theory
> of physics and my theory of consciousness, and my mind traveled back to an
> unfinished
> mathematical exploration that is on the Web in the form of some rough notes
> http://goertzel.org/ben/Multi.html
> (this is not a research paper, it is notes on about the level of rigor of=
> our
> e-mails ;)
> A brief excerpt, describing the notion of multiboundary algebra, is=
> extracted
> here, preceded by
> some brief comments on how it might be relevant
> The basic idea is that you can have different types of parentheses, and
> different algebraic
> laws applying to entities depending on the kinds of parentheses they live
> between.
> I was using this idea to explain how you get the algebraic structures of the
> Standard Model
> (quaternions, octonions, clifford algebras) out of nothingness. I.e.
> pregeometry.

During lecturing to freshmen about real numbers as Dedekind's cuts today, I
noticed that mathematics itself starts with nothingness as in your treatment
of "Standard Model." I.e. in the Peano type construction of natural numbers,
we assume 0 (zero) is defined as an empty set, and define 1 as {0}, 2 as
{0,1}, 3 as {0,1,2}, ..., for example. Of course this may be natural because
you are treating numbers: quaternions, octonions, ... . What I felt
interesting is that this seems the same spirit as Big Bang theory which starts
with nothingness in "constructing" the universe. I suspect that here seems to
be a modern "constructionism" spirit that began in the 19 century along with
Peano, Frege, Gentzen, Cantor, Hilbert, Zermelo, etc. in mathematics.

If Big Bang can be thought as one of those streams, is it not possible to say
Big Bang is one of the fashions of the modern age after the 19 century?

Best wishes,

> But this seems to capture Hitoshi's theory too, in a slightly different
> =20
> He is saying that
> different algebraic rules apply inside the boundary of the LS, than
> =20
> I.e. he is introducing
> a boundarizing operator that defines an LS. Inside the LS, calculations are
> done with amplitudes;
> outside they are done with probabilities.
> What the best formal way to capture this is, I'm not sure. I'm thinking=
> that
> the LS-parenthese
> is possibly representable formally as an operator that transforms amplitudes
> into probabilities...
> But this doesn't work in the crudest sense, I need to think about it more...
> Still this is very exciting to me. I see the vague possibility of building=
> a
> unified physics in terms of
> a hierarchy of boundary operators, each one associated with an algebra. The
> lowest level
> boundaries give the emergence of quantum structures from the void; then the
> highest level boundary
> gives the emergence of classical reality from quantum structures via
> observation.
> (Finally there is a boundary operator that takes a the quantum state of a
> classical structure,
> and makes it impenetrable, thus rendering it a basic indecomposable=
> particle,
> and closing the
> loop? -- dreaming again ;)
> ben
> ***
> snip from rough paper on multiboundary algebra
> ****
> The development here will remain within the framework of boundaries that
> interact in two different ways; the Laws of Form algebra will be enriched,
> however, by the addition of more types of boundaries. This development is
> eccentric with regard to conventional mathematics, which contains only one=
> type
> of parenthese for grouping entities, but numerous operations for combining
> groups and ungrouped entities. However, introducing several types of=
> boundary
> is a perfectly viable alternative to introducing several types of operator,=
> and
> is in some ways, we shall see, a more powerful alternative.
> Notation for multiple boundaries is fairly difficult to come by, though the
> typewriter keyboard provides a number of alternatives, e.g. ( ) , [ ], { },=
> < >
> . For talking about multi-boundary algebra in the abstract I will use the
> notation (k k) to refer to a boundary of type k, but this notation is not=
> good
> for working out concrete examples.
> The interior of a boundary will be called a "space," and the operator
> (k k) * b
> will be understood to mean that the entity b is placed in the space=
> demarcated
> by the boundary (k k). Multi-boundary algebra envisions a universe in which
> various simple and composite entities coexist and interpenetrate within=
> various
> spaces, and in which the results of coexistence and interpenetration depend=
> on
> the composition of the entities involved, and the space in which the=
> entities
> exist.
> Formally, a general multi-boundary algebra consists of=20
> =B7 A collection of boundary types, (k k), k=3D1,=85,n; a "boundary"=
> is an
> instance of a boundary type=20
> =B7 A collection of operators * i, which are used to build composite
> entities called "forms" out of boundaries=20
> =B7 A rule set R which determines the interaction of boundary forms=
> via the
> * i operators=20
> =B7 A collection of "local" rule sets Rk ,k=3D1,=85,n; where Rk=
> determines the
> interaction of boundary forms (via the * i operators) which lie within the
> boundary (k k)=20
> =B7 A function r which maps the set of boundaries into the set of rule
> sets;
> i.e., it assigns individual rule sets to specific boundaries
> The local rule sets must be consistent with the global rule set R. The
> individual rule sets must be consistent with the global rule set and with=
> the
> local rule sets. The local rule set applying to the interaction of two=
> boundary
> forms is determined by the the boundary that they most locally belong to;=
> e.g.
> if we have [ < a + b> ] then the meaning of the operation + is determined by
> the rule set for < > and not the rule set for [ ].=20
> Multiboundary algebra, in general, is an extremely general framework, much=
> like
> Universal Algebra (but more general). The specific multiboundary algebras
> be
> discussed here will involve the standard two operators, + and *, plus an
> additional operator ^ dealing with temporality. Furthermore, in all the
> specific
> algebras to be discussed here, the + operator will be commutative, and will=
> be
> associative in regard to the ordinary parenthese ( ), meaning that + can be
> commuted across an arbitrary number of arguments, e.g. a + b =3D b + a, a +=
> b + c
> + d =3D d + c + b + a =3D d + b + a + c, etc. In more formal language, we=
> will be
> dealing with +-polycommutative (+,*,^) multiboundary algebras (where "*i
> -polycommutative means, in general, that all rule sets in the multiboundary
> algebra hold the operator * i to be commutative and associative with regard
> to (
> ) ).
> From the definition of multiboundary algebra, we see exactly what the
> difference is between the standard mathematical technique of having one
> boundary (the parenthese) and numerous operators, and the present=
> alternative
> of having few operators and multiple boundaries. The notion of=
> space-dependent
> rule sets has no parallel in standard mathematics, and breaks down the=
> barrier
> between algebraic rules and algebraic formulas in a very interesting way,=
> which
> is only explored here very partially.=20
> ******
> ben

This archive was generated by hypermail 2.0b3 on Sun Oct 17 1999 - 22:31:52 JST