#brismu — Public Fediverse posts

This time last year, #brismu was at 2.17% complete. It is currently at 4.41% defined and 12.52% ontologized. We can and will define #lojban so that we may do logic with it.

As with all #brismu concepts, there is a fundamental shift in expected word usage. In traditional #Lojban, I might translate "this is blue" as:

ti blanu

And "this is colored blue" as:

ti skari lo blanu

However, this second utterance uses the high-level discursive article {lo}. If we want to be less ambiguous and fully quantified, then we would need a {ka}:

ti skari pa ka [ce'u] blanu

Which implies:

ti ckaji pa ka blanu

Which, finally, implies:

ti blanu

li re pi pa ze ce'i

#brismu #lojban #jbobau

The #brismu project to formalize #Lojban has entered a new phase. There is now a bipartite book https://mostawesomedude.github.io/brismu/ which contains the original brismu notes in one part, and formal proofs of some non-trivial theorems in the other part.

Contributions are welcome, particularly from folks who are willing to work with #Metamath or are familiar with #CategoryTheory.

The next bits of work will be establishing a bibliography, proving a few more easy theorems, and then refactoring the notes into a coherent narrative.

I currently project that at least 10% of baseline Lojban can be formalized without any changes to colloquial usage.

coi ro lo se bangu be la #lojban

a'iru'e mi di'a ciska la'e lo #brismu

ba logji

mi'e la korvo .i di'ai

https://github.com/MostAwesomeDude/brismu