#shorts ⚡Tau is decidable.
2 years ago
1
🔥 TML (Tau Meta Language) solves Turing Complete Machine (programming language like Solidity of Ethereum) undecidability problems.
💎The following program does 6 steps and returns to the state where it initially started.
🔴TML has to stop and outputs: unsat.
♾️Not stopping would cause an infinite loop.
true.
toggle :- true.
~toggle :- true.
🚩Error: unsat (contradiction).
⚡Tau, the software built for people.
🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀
🧀Test it.
🔗 tml.idni.org
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
👨🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain
🤖Reddit community
🔗https://www.reddit.com/r/tauchain/
Loading comments...
-
38:24
LenaPetrova
13 hours ago🚨 Project mBRIDGE Explained: BRICS, Multi Currency Reality Via New Blockchain Settlement System
13.1K5 -
9:43
China Uncensored
8 hours agoChina's Economy is in Free Fall
33K7 -
3:25:44
Making Art
11 hours agoLive Painting - Making Art 6-29-24 - Morning Coffee Paint Sesh
63.3K32 -
3:23:08
Power Slap
10 days agoPower Slap 8: Da Crazy Hawaiian vs DVH | Paige VanZant and Dumpling | Friday June 28 at 9pm ET / 6pm PT
1.66M226 -
1:09:30
Man in America
1 day agoWas the Debate a Train Wreck? Victory? Pysop? or... ?
127K181 -
10:27
Taylor Alesia
1 day ago $0.09 earnedOur sexually desensitized society
114K278 -
6:33
Gamers Unbeaten
1 day agoThe Tao of Fall Guys | Deep Thoughts While Gaming
112K9 -
7:23
Freakin' Reviews
1 day ago3 Salad Gadgets to Level Up Your Salad Game!
111K20 -
8:11
ThinkStory
1 day agoTHE BEAR Season 3 Ending Explained + Season 4 Theories!
113K8 -
21:43
Crime Circus
1 day agoIdaho 4 Sweet SECRETS!! Bryan Kohberger Investigation! Moscow Idaho Documentary
91.9K13