I solved the problem of formalization of constitutions in set theory, I mean the original/ideal/natural form and scope of them (not the formalization of existing constitutions like [1] or [2]). It is a kind of Archimedean fixed point, a set theoretical place to stand, but we will not move the whole world. On the contrary: we shall put it into an order, into the natural order of free and equivalent persons. I started to publish my results on the site of the Metamath theorem prover [1]). I want to find some programmers/engineers to help with this.
Ah, that's quite interesting! I'm going through a similar process of formalization, but starting from Wikipedia (but law did indeed cross my mind as a good candidate for formalization too).
I'm also starting from a set-theoretic-like starting point, but am using Discourse Representation Theory to express it in a higher level language that is a subset of english.
Hi Sam, you are completely right: the next step after the Metamath definitions and theorems for the constitutions should be very similar to your [1]. Based on your answer I compiled a list of perhaps useful links for you: [2]. Would you be so kind as to send me an email from your personal email address? I have a catchall address: anything at my username dot com.
I'm also starting from a set-theoretic-like starting point, but am using Discourse Representation Theory to express it in a higher level language that is a subset of english.
https://code.sgo.to/2021/01/06/brazil.html
Find on twitter in case you are interested in telling me more about formalizing the constitution?
https://twitter.com/samuelgoto
FWIW, metamath looks really awesome, will look more closely into it!