Tauchain is a decidable complete logic, per block, with Turing completeness recovered by the iteration of multiple blocks. We can still compute any computable thing; it may just require structuring the execution to run over the span of multiple blocks; because of this, Tauchain resources don't need to be backed directly by a token, and resource exchange can be negotiated by the users as they see fit. @traflagar, definitely this is a real educative post. Glad to catch this.
You are viewing a single comment's thread from:
I'm not sure how technically correct that is
the tau meta language logic is decidable and self defining under pspace complexity
It can compile under expspace but interpret under pspace
To answer what can't Tau do is a very non trivial question, according to Ohad, but some expressiveness were sacrificed to obtain both decidability and self definition
this allows features like scaling logical discussions and code synthesis to be possible
Do check out ohad's latest blog