@@ 19,7 19,9 @@ Fundamental motivation of the project is to combat pollution; the tragedy of the
We are interested in building society on a stable foundation and with computers
becoming an increasingly fundamental part of the coordination of human behaviour
we worry about the incentives being created.
we worry about the incentives being created. By building an index in the space of
coordination-free programs (the datalog-ish expressivity) we can then use proven
methods to coordinate (at the edge), thereby straddling the boundaries of domains.
The datalisp project builds on some very simple ideas:
- the duality of code and data (universal turing machine proves this)