Denis Merigoux made formal semantics for French tax code. He used automatic theorem prover to show tax code is sound and to allow using SMT queries to uncover unfair tax hikes: https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Will an algorithmic approach make tax law more accessible & scrutable? @Abebab
-
Prikaži ovu nit
This seems to have been inspired in part by Sarah B. Lawsky's view of law as algorithm. Which, once I heard about it, seems like such a worthwhile perspective worth the attention of theoretical computer science. Seems like a very interesting field that I need to read more about.
12:42 - 31. sij 2020.
0 replies
0 proslijeđenih tweetova
5 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.