HOOO EP vs Provability Logic - Githubissues

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust

MIT License

5 stars 2 forks source link

HOOO EP vs Provability Logic #57

Open bvssvni opened 1 year ago

bvssvni commented 1 year ago

HOOO EP: (Platonic Joker Platonism, Seshatism)

Tautological and paradoxical reasoning
Closer to Intuitionistic Logic
Liked by Seshatists
Still, more Platonic than Platonism (rigorous formalism)

Provability Logic: (Seshatic Joker Seshatism, Platonism)

Löb's theorem
Closer to assertion
Liked by Platonists
Still, more Seshatic than Seshatism (illusive theorem proving)