by Dr Avishy Carmi & Ohad Asor
Tau is a decentralised, self amending platform technology that allows a computer program to change based on the collective decision of it’s many users.
Tau can do many things. The core basis for such a system sounds like a system that can do anything for you.
On the surface Tau is a social choice platform but the social choice and the scaling of the discussions really come to support the aspect of collaboration. The aspect of collaboration supports the core thing, which is self amendment or change.
We can basically say that in reality, change is perhaps the only constant.
With tau, we have the same.
We have a system. Part of that system are the users. The system should change all the time. Now, this leads to and implies recursion and if the system is complete then this leads to paradoxes.
The idea behind tau, based on axioms of the system, basically delineates a specific logic that avoids the paradoxes of self reference.
The idea is that you have three axioms that allows you to realise the tau system. These axioms are:
Talks about law of changing laws. You have a law and you wish to change it so you need a law of i11 and so on. Eventually you come up with idea that you need an unbounded recursion. now this is the first axiom.
Retraction - Perhaps when a law is not applicable or is not realisable or is not moral, etc. You wish to restrict it. This implies that you live in a normal atomic world and this is what we talk about being in a non monotonic logic so you would like to retract the law.
Eventually we would like to get a verdict. Whether this law gives you the value that it promised and eventually you would like to turn it into an action so system needs to be decidable. so this free axiom delineates in a particular logic.
With recursion it tells us that we need a fixed point in the logic. Retraction says that, ok, it’s supposed to also be monotonic. So this leads us to something like partial fixed point. Eventually we have decidability and that tells you that the logic is supposed to be definable on finance structures.
Okay, so now we come to the point we know that we are supposed to have partial fixed point on finance structures. This is essentially what TML is doing. Recently we thought about perhaps looking at it from different angle and then we basically formulated a calculus of laws, we are still working on it . Its in preparation and we refer to it as "the calculus of morals".
Morals and laws are 2 different things. My morals are about what is right and what is wrong. Laws are basically social agreements. Eventually we know that in our world people have traded laws for morals and morals for laws and perhaps more of the latter than the former.
The first users of the system can grow and evolve because of self amendment and all of the logic we have gathered from discussions; eventually we can get a system where morals equal laws.
If you take a look at the three laws, we want to get free axioms from calculus of morals so one would say the following thing:
Consider morals; for a thing to be moral you have to approach though negation which means you have to remove all that is immoral from it. This corresponds with the law or axiom of retraction.
The other thing is that if you wish to evolve and add more laws to the system then you would have to decide when or not what you are to going to add is moral or not.
This basically corresponds to the second axiom of decidability and eventually you will have a lot of laws and some of the laws can be such that they will attest on their own morals and eventually you will get this self referential process again and one would like it to converge eventually and that means the law becomes a moral. Because when a moral attests to it’s own moral about being moral it will just be the same.
So this is just another way of looking for getting these three axioms.
Eventually the system we are developing from theoretical aspect is a mathematical formal system so its supposed to be well defined with the axioms and then all the consequences will come over and then we eventually get the practical system that supposed to work.
With Tau, we are have a system that aims to be self referential, self amending. Eventually it will be a culture that will evolve. A culture that reflects on itself and evolves over time.
In this culture there are constituents, the users that define the system. They are part of the system, there is no duality; in which you separate the users from the system. This whole thing is designed to "walk", to grow. The users will collaborate and discuss what laws will eventually drive the system. For that they’ll need discussion. They will need a platform that will allow them to choose what to choose over. Currently, no such system really exists.