People always get upset when I propose mathematical formalization of law and using e.g. metamath verifier as a judge.
At least the metamath verifiers will not bend over backwards and come up with absurd inconsistent counterarguments.
It's the most humiliating thing for citizens when the legal cadre of a nation pretends in the national journal that everybody falls for its lies... openly mocking the concept of truth itself with absurdism.
I don't get upset. I just know that you have no idea what you're talking about. Talk to some tech native, smart, practicing lawyers for an hour about this.
"I'm right until you get me a conversation with Terence Tao".
Sorry, a random stranger on the internet is not going to spoonfeed you. You need to do the work to enlighten yourself.
You don't need a lawyer "well versed in metamath". You're being elitist and dismissing perfectly competent experts who know more than enough to demolish your ideas.
DoctorOetker · · focus · HN ↗
At least the metamath verifiers will not bend over backwards and come up with absurd inconsistent counterarguments.
It's the most humiliating thing for citizens when the legal cadre of a nation pretends in the national journal that everybody falls for its lies... openly mocking the concept of truth itself with absurdism.
zulban · · focus · HN ↗
DoctorOetker · · focus · HN ↗
If you are able to arrange such a discussion, I am genuinely interested!
zulban · · focus · HN ↗
Sorry, a random stranger on the internet is not going to spoonfeed you. You need to do the work to enlighten yourself.
You don't need a lawyer "well versed in metamath". You're being elitist and dismissing perfectly competent experts who know more than enough to demolish your ideas.