Quote from: eddiies on August 05, 2018, 02:27:00 AM

Quote from: ohad on July 25, 2018, 11:49:29 PM

Quote from: sacskate on July 25, 2018, 10:37:55 PM

interesting
Dev, could you please give us more information about TC

you mean turing complete?

the point is the tradeoff between "the ability to say" and "the ability to get answers".
turing completeness means maximum expressiveness, can say anything, but even things such that it'll be impossible to get all answers about, even in theory.
however if we restrict ourselves only to settings in which we can answer all relevant questions, we have to restrict what we're able to say.

the following two blogposts contain some explanations about the proposed alternative (as there can be many non-turing-complete languages):
http://www.idni.org/blog/the-art-of-self-reference.html
http://www.idni.org/blog/the-new-tau.html

hi dev.I want to know why the process is so slow.It started in 2014 but I havent seen any progress so far.Whether it is normal?

Zennet>Old Tau>New Tau:TML,Alfa Tau (Only dev. Ohad)
Beta Tau: an unbounded number of developers can join the project.
A lot of work to do and little marketing. Where is the problem?
The roadmap in http://www.idni.org