TML12: Limitations and Drawbacks #shorts
TML cannot do everything that requires more than polynomial space to be done. Another drawback of TML which comes from the usage of BDDs is arithmetic, in particular multiplication. Multiplication is highly inefficient in TML because of the nature of BDDs. Of course, BDDs bring so many more good things that even this drawback of slow multiplication is small compared to all the gains that it has given us.
Another limitation is the containment problem or should I say the satisfiability problem of a formula without a model, to ask whether a model exists, this is undecidable already on the very restricted classes as follows from Trachtenborg theory. So in particular the containment problem, satisfiability problem, and validity problem are undecidable in TML as is and for them to be decidable, I need to restrict even more extra expressive power and look at narrower fragments of the language. A matter this will be emphasized in the next version of the whitepaper.
- Ohad Asor, Founder and CTO of Tau https://tau.net/our-team/
#shorts
🎥 https://www.youtube.com/watch?v=vWxDEruCaS4&list=PLeBSjZu0y6vXYCHH38ToqlVoyOd1qeS5f&index=12 👈
🧀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
-
1:06:56
Dr. Drew
1 day agoNicole Shanahan LIVE: The Future Of Robert F. Kennedy Jr's Presidential Campaign & Her Goals Of A "Healthy & Livable Planet" – Ask Dr. Drew
60.4K10 -
1:41:02
barstoolsports
11 hours agoCamp Barstool Day 2 - Water Games Presented By Mountain Dew
46.2K8 -
3:55:37
Due Dissidence
11 hours agoLIVE: DNC PROTESTS, DAY 3 - Chicago For Palestine March
70.5K31 -
1:10:52
Battleground with Sean Parnell
7 hours agoThis Ain’t Your Grandparents Democrat Party w/ Savage Rich Baris
61.8K44 -
1:18:39
Redacted News
7 hours agoBOMBSHELL Economic News Exposes Govt Lies and Cover-Up, Deep State Paid Protestors at DNC | Redacted
116K298 -
2:20:28
Darkhorse Podcast
8 hours agoIs AI Conscious? The 239th Evolutionary Lens with Bret Weinstein and Heather Heying
82K125 -
51:48
Candace Owens
6 hours agoLIVE! Andrew & Tristan Tate RAIDED! What We Know… | Candace Ep 49
77.7K121 -
2:40:34
Breaking Points
8 hours agoLIVE From The DNC In Chicago! - DAY THREE
78.7K23 -
1:40:15
The Quartering
11 hours agoTrump TORCHES Reporter, DNC Disaster, Brutal Jobs Report, Kamala TANKING As DNC Backfires
106K56 -
1:49:56
vivafrei
11 hours agoDemonic National Convention! RFK Jr Joining Forces w/ Trump? Canada's War on Amish & MORE! Viva Frei
125K111