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
CassaiyanGaming
2 hours agoClean Water Charity Stream Day 1 - Black Ops 6 Level Grinding
97 watching -
LIVE
PudgeTV
4 hours ago🟣 Greak: Memories of Azur | Gaming on Rumble | September Charity Water Campaign
98 watching -
LarryDickmanGaming
12 hours agoI am what I am and that's all that I am.
12.5K -
2:39:02
The Pascal Show
20 hours ago $3.32 earned'HE'S THE DEVIL!' Former Mother In Law Breaks Silence On Jake Haro & Emmanuel Haro Case
25.7K4 -
5:30:10
SpartakusLIVE
15 hours ago#1 Verdansk Sniper gets HACCUSATIONS because of INSANE Headshots
67.9K4 -
46:18
SB Mowing
3 days agoShe was LOSING HOPE but this SURPRISE CHANGED EVERYTHING
56.7K49 -
10:00:10
ItsLancOfficial
15 hours agoWE LIVE 🔴WE LIVE 🔴 SUNDAY SUNDAYS!!!!!!! TARKOV
45.9K3 -
4:09:32
EricJohnPizzaArtist
6 days agoAwesome Sauce PIZZA ART LIVE Ep. #59: Are You Ready for some FOOTBALL with GameOn!
56.7K8 -
1:21:43
Jake Shields' Fight Back Podcast
20 hours agoJake Shields and Paul Miller!
88.9K150 -
1:20:41
TRAGIKxGHOST
12 hours agoTrying to get SCARED tonight! | Are You SCARED!? | Screams Beyond Midnight | Grab a Snack
33.5K6