Seshatic/Platonic languages in Closed Joker Calculus

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust

MIT License

5 stars 2 forks source link

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

All these languages are equal to Seshatism in Closed Joker Calculus:

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

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