Exceeds the Limits of Other Formal Languages #Catala #Legalise #Tau #Taunet #Taulanguage
Question: What does Ohad make of programming languages like Catala: A Programming Language for the Law and Legalize, a Non-Turing complete language? Is Tau’s language used for smart contracts as powerful or comparable?
Answer: All known formal languages, whether they deal with law or not are unable to express the law of changing the law which has to do with asking about statements in the language itself, whether they contradict other statements, and so on and we are the only one who were able to crack this important problem. So, I don’t expect a Catala or Legalist to be able to do such a thing.
Further, we also adapted to speak about the time ordering of statements. So not only whether it’s true or not, but the way they appear in time and this is important for software specification purposes. So I would expect that on this front, the languages are very different whether everything expressible in Catala or Legalize can be expressed in the languages that we work on, I don’t know.
As long as the languages are decidable and this is a propositional clause, so you can take the conjunctions, disjunction, and negation of any sentence, then we can add our support language to speak about its own sentences as well as ordering in time of sentences, as a language extension to that language. So our solution is really open-ended and applies to virtually all languages. So in principle, there’s no limitation to adapting everything that those two languages can express in our setting.
#TauInnovation #TauLanguage #LegalTechInnovation #ProgrammingRevolution #FormalLanguages #SelfReferenceSolved #TemporalOrdering #DecidabilityMatters #ExpressiveProgramming #SoftwareSpecification #InnovationInCode #LawAndTech #ProgrammingBreakthrough #OpenEndedSolutions #FutureOfCoding #LimitlessAdaptability #LanguageEvolution #TauInAction #TechAdvancement #CodeBeyondLimits #CatalaVsTau #LegalizeVsTau #ProgrammingParadigmShift #NextGenLanguages #InfinitePossibilities #TimeAwareCoding #RevolutionizingSyntax #LawInCode #SmartContractsElevated #TauInnovatesProgramming #TauNet #Tauchain #agoras #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
-
LIVE
Darkhorse Podcast
2 hours agoThe 232nd Evolutionary Lens with Bret Weinstein and Heather Heying
882 watching -
LIVE
Stephen Gardner
42 minutes agoYou'll NEVER guess who's pulling Biden's strings!
601 watching -
LIVE
Canal Paulo Figueiredo
30 minutes agoPaulo Figueiredo Show
771 watching -
UPCOMING
Mally_Mouse
2 hours agoLet's Talk About It - LIVE
146 -
1:03:39
The Quartering
3 hours agoBiden To be REPLACED By Kamala Harris & Trump Just Keeps Winning!
22.8K30 -
LIVE
Benny Johnson
1 hour ago🚨 PANIC: White House Holds SURPRISE Press Conference LIVE Right Now! Is Joe Biden RESIGNING Live!?
8,796 watching -
46:14
Candace Owens
22 hours agoLiterally Hitler. Why Can't We Talk About Him? | Candace Ep 17
17.2K107 -
12:02
Gamers Unbeaten
5 hours agoHow Street Fighter Explains Globalization | Deep Thoughts While Gaming
3.07K2 -
LIVE
HotepTV
1 hour agoKamala Harris may be in the lead for Democrat Candidate - The Grift Report
398 watching -
LIVE
The Kevin Trudeau Show
1 hour agoThe Kevin Trudeau Show LIVE
267 watching