search

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust
MIT License
5 stars 2 forks source link

Seshatic Platonism/Platonic Seshatism in Closed Joker Calculus #15

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

See https://github.com/advancedresearch/joker_calculus/issues/14 for Platonic/Seshatic languages.

The following languages are equal to Seshatic Platonism in Closed Joker Calculus:

1 0
1 ??0
1 (?0, ?1)
1 (1, ?1)
(1 ?0, 1 ?1)
(1, 1 ?1)
??(1 0)

By swapping 0 and 1, one gets the same for Platonic Seshatism.