Choosing Decidability instead of Expressibility | TAU 💎

Question: How will blockchain technology be applied to Tauchain?
Answer: To some restricted extent, of course, it has to be formalized in Tau Language and Tau Language must be restricted. For example, if it was Turing Complete that can express "everything" so to speak, then we give up decidability. We wouldn't be able to really have a definite answer to any question. There is a trade-off between decidability and expressibility. We will have to pick the decidability side.

#BlockchainTechnology #Tauchain #Formalization #TauLanguage #RestrictedTau #Decidability #Expressibility #TradeOff #Tauchain #TauNet #Tau

Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/

Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka