Post
Topic
Board Announcements (Altcoins)
Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
by
ohad
on 25/07/2018, 23:49:29 UTC
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