Project E-Teoria
There is some project I've been dreaming about for the last few years, and I'm preparing to finally shape it up. Finally, it would be a web site that would unite all the scientific fields and open a possibility to upload different science theory fields that could mutually interact to derive a new, yet undiscovered knowledge. To do this, we need a uniform Turing complete language, and this is where
Implika hops in. Implika, as I already wrote about, is actually a rule-based inference engine that is closer to human way of thinking than usual programming methods. Theorem provers are the most popular application, but it is not the only possible use of rule-based declarative systems. Processes like induction, deduction and abduction make Implika a Turing complete system capable not only to describe logical systems, but also more general kinds of systems known in systems theory. And as the Universe is a big system composed of smaller and smaller systems, I hope to help to discover valuable knowledge about those systems by the project named
E-Teoria.
Beside technical specifications of different theories written in lisp-ish language Implika, there is another very important aspect of keeping track of all the theories at one place: making their descriptions and use manuals readable in human language. For this purpose, I'm working on HTML alternative that could annotate formal theories. I was never a fan of HTML, and I feel like HTML + CSS + XSLT system could be greatly improved by replacing all the three pieces by a single s-expression based language. I'll publish some materials about this part soon.
Finally, just to add some nice graphical structure to documentation and scientific content, I'll try to use the
Orbiteque fractal tree project I also have written here about. Oval ingredients could host scientific formulas, deduction interaction trees, theory explanations, scientific graphs, or whatever other content we can think about in a form a tree structure.
The whole E-Teoria is a huge scale and a big resource investment project that is developed by only one human: me. But I'm hoping for additional help from possible end users. To get a feeling about competitors field size, you can take a look at
Wolfram Mathematica and
Wolfram Alpha. I'm aware It's a kind of sick sized byte for one man alone, but I'll try it anyway. W-Mathematica alternative would be based on Implika, while W-Alpha alternative would be a central (or hopefully distributed) site which purpose would be to share independent user created documents and Implika theory source codes (combined gives something like Wikipedia on steroids). I hope to reach my goal by making the project site data crowdsourced. For a start, only E-Teoria core would be offered as a offline browser application, while the actual site content (on which the project success depends) would be filled in later with data by welcomed users.
If you are interested, you can track the development of E-Teoria right here, on this thread. If you possibly have any critics, questions or ideas you want to share, I would be be thrilled to hear about it, or try to answer.