search

advancedresearch / joker_calculus

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

Why `Seshatic Joker Platonism` normalises to `Seshatism` #20

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

The argument is that in Closed Joker Calculus, duals are involutions, so for all x, x = not(not(x)).

Seshatic Joker Platonism = not(not(Seshatic Joker Platonism))
Seshatic Joker Platonism = not(not(Seshatic) Joker Joker Platonism))    by !(x y) = !x ?y
Seshatic Joker Platonism = not(Platonic Platonism)    by !1 = 0 and ??x = x
Seshatic Joker Platonism = not(Platonism)    by 0 0 = 0
Seshatic Joker Platonism = Seshatism    by !0 = 1