Premium Only Content

SC4 Tau Language: The Key to Trusted Decentralization with Mathematical Proofs #shorts
Besides blockchain built-ins, The most important part of the Tau language is decidability. It is mathematically possible to get mathematical proof to answer to any expressible question. You can have some body of knowledge or machine code if it is formulated in Tau language. Then you could ask questions about this knowledge again in Tau's language and have mathematical proof of the answer. This is for itself not very new. You can already have with other languages mathematical proof about questions.
There are already existing decidable languages, none of them is of course Turing-complete because Turing-complete languages are incomplete in the logical sense. Most of the interesting questions are unable to have answers in general in Turing-complete languages and this is a known fact known as Rice's Theorem which stands out of the Halting problem which was discovered by Turing himself. But those existing languages, yet have nothing to do with decentralization, and this is where Tau comes.
Ohad Asor, Founder and CTO of Tau - https://tau.net/our-team/
🎥 https://www.youtube.com/watch?v=jnFErWIMs1E&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6&index=4 👈
#Tau #Tauchain #Agoras #shorts #blockchain #formalverification
🧀Test Tau Meta Language.
🔗 tml.tau.net
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published Codes
🔗 github.com/IDNI/TML
🌐Website of Tau
🔗 tau.net/
👨🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain
Follow me on
Facebook: Andrew Onizuka
Twitter: @AndrewOnizuka
Instagram: andrewonizuka
Tiktok: andrewonizuka
Reddit: Andrew_Onizuka
-
LIVE
SpartakusLIVE
7 hours agoWednesday WZ with the Challenge MASTER || Duos w/ GloryJean
481 watching -
2:36:12
Barry Cunningham
6 hours agoREACTING TO STEPHEN MILLER | KASH PATEL | TULSI GABBARD INTERVIEWS AND MORE NEWS!
72.2K67 -
DVR
Alex Zedra
4 hours agoLIVE! Solo Scary Game night
28.2K -
58:01
MattMorseTV
6 hours ago $10.39 earned🔴The Dems. just lost 4.5 MILLION voters.🔴
66.3K62 -
1:04:10
BonginoReport
8 hours agoCornhusker Clink & A Sizzling Border Wall Deter Illegals - Nightly Scroll w/ Hayley Caronia (Ep.116)
128K89 -
10:22:43
ZWOGs
13 hours ago🔴LIVE IN 1440p! - SoT w/ Pudge & SBL, The Finals w/ The Brrrap Pack, Kingdome Come - Come Hang Out!
13K1 -
3:17:53
VapinGamers
4 hours ago $0.90 earnedOff The Grid - Yes I Have a Problem but Winning Aint One! #1 Controller Scrub NA - !rumbot !music
11.1K1 -
3:02:09
XxXAztecwarrior
5 hours agoThe Finals W/ The Tribe
7.22K -
2:01:05
Mally_Mouse
13 hours agoLet's Hang!!
26.2K -
3:03:27
blackfox87
5 hours agoFoxyFam takes on Warzone! | PREMIUM CREATOR | #DisabledVeteran
25.3K2