[andoando]

This is something I've been thinking about myself alone for a while so I don't have the language to properly communicate it with the common mathematical or philosophical language, but I appreciate your thoughts.

Effectively, I am interested in a mathematical representation of any conceivable structure in space-time, with operations that allow for transformations of those structures in space-time. Imagine for example a screen of a 1D grid of binary objects, where W is white/on and B is black/off.

I can have WWWB, which I can think of (by mentally breaking it down) as WWW,B or as WW,WB, or W,WWB, etc. I can also think of a structure like X,X where X is any other structure (effectively, encapsulation, and recursion). I can do operations like put something as X or remove something as X. I can take X,X,X and combine it with WWW to get WWW,WWW,WWW. Moreover, I am interested in applying these operations through time, so for example I can do X,Y,->X,X,Y and apply this abstract transformation to WWW,BBB to get WWW,WWW,BBB. So first and fore most I am interested in a data structure that can handle this information (having spatial relations, where any single node can be the sum of any other node. Like a matrix where each point can be a matrix, or better yet a 2D linked list, where each node can be a 2D linked list).

This is my interest in thinking about the composition of numbers. I am more interested in math that focuses on properties of the compositions, their inverses, operations defined on them, their relation to the whole number, etc. The number 4 in my line of thinking is simple XXXX, but this is far too limiting for what I want to do.

Its a little more interesting with 2D spaces, because my structure becomes something like X(right)X(right)X and I can apply a X(UP)Y to get a structure like.

YYY

XXX

I've been playing around with this idea and I can take some simple patterns and create much more complex 2D images. I can create two squares for example, one to the right of the other, and apply a pattern like XY->YX to switch them.

Whats interesting also, is that the square in my system of made of simpler constructions that effectively define the idea of a square (X1(up)X2(right)X3(down)X4(left)X1, which can be broken down to its simpler components of being X1(up)X2, X1(down)X2, etc which gets us very close to the human level notion of a square being "point going up x amount then right x amount then... or "two sets of (two points in direction A with a corresponding two points in the direction A(inverse) )). I want to define a single formal system by which with simple rules, I can manipulate structures in an analogous manner to human thought.

I find it really interesting but I am kind of stuck on where to go with this.

[naasking]

Aren't you basically talking about lisp? You're suggesting two core primitives, an atom and a pair constructor, and you're defining an equivalence across pairs, eg. WWWB modelled as (cons W (cons W (cons W B))) = (cons (cons W W) (cons WB)) = (cons (cons (cons W W) W) B).

I assume you can do this with set theory and a suitable definition of equality.

[moritzwarhier]

I would never ask this in a trolling way, but I'm a bit floored (ha), so I'm asking it seriously:

> Effectively, I am interested in a mathematical representation of any conceivable structure in space-time, with operations that allow for transformations of those structures in space-time.

Are you serious about that?

If so, this is not really about maths. It's the classical "theory of everything" question in physics.

But you can't say anything meaningful about space and time using only maths. It makes no sense.

[andoando]

Haha yeah I am very serious. I spent a ridiculous amount of time the last 3-4 years thinking about this. It might all be junk but I find it very interesting.

>But you can't say anything meaningful about space and time using only maths. It makes no sense.

Why do you think that? I am talking about entirely abstract mental conceptions. I am not saying anything about how real physical processes work. Theres several mathemathic formulations of space-time, so I am confused as to what your bewilderment is.

Also keep in mind this is not too different from the Turing machine, which is a row or a multidimensional row of squares, with operations that allow for manipulating any one starting configuration to another.

[moritzwarhier]

> > But you can't say anything meaningful about space and time using only maths. It makes no sense.

> Why do you think that? I am talking about entirely abstract mental conceptions. I am not saying anything about how real physical processes work.

When considering if something is "real", maths and physics are OTOH deeply related (physics desribes the world using maths) and OTOH fundamentally different.

Maths builds systems of logical deduction based on self-evident axioms. "Pure Logic", ideally, if you will. The point is if the deduction is sound and how far logic can take you regarding abstract structure.

The simplest example is indeed the natural numbers, defined by the unit 1 and the rule that every natural number has a successor.

Physics, like other sciences, uses maths as a tool, for example statistics.

Physics is special in a way, because it applies stricter rules to what is a sounds and falsifiable theory.

But the basics are the same in every scientific discipline excluding Maths and/or Philosophy: a theory is only worth considering if it allows itself to be proven wrong. And the benefits of a theory or a theoretical model of physical reality lie in "predictions". A theory that does not make any prediction is not science, it's not a theory either. It's non-falsifiable; at best called metaphysics or religion.

[andoando]

Hmm, I am not really sure how any of that relates. I am not proposing a model that explains all of physical reality, just one that can formally represent mental observations. Different mathematics aim to do this in different ways.