search

advancedresearch / joker_calculus

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

What does `Seshatic Joker Seshatism` mean? #19

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

Related to https://github.com/advancedresearch/joker_calculus/issues/18.

When trying to find a viewpoint stereotypes of mathematics, I got stuck on Seshatic Joker Seshatism.

bvssvni commented 2 years ago

Building on the ideas from https://github.com/advancedresearch/joker_calculus/issues/22#issuecomment-982447238:

Seshatic Joker Seshatism might be viewed as a "rejected" Joker Seshatism, something that "ought" to be Seshatism but which is not allowed.

Likewise, Platonic Joker Platonism might be viewed as an "aggressive" Joker Platonism, something that "ought" to be Platonism but which can only be oppressing Joker Seshatism.

In this light, one can interpret Seshatic Joker Platonism as a form of Platonism that "embraces" Seshatism. Similarly, Platonic Joker Seshatism as a form of Seshatism that "embraces" Platonism.