catachresis-colloquium/thejeffparadox

The Jeff Paradox — exploration of self-referential logic and paradox formalisation

语言：Julia · GitHub 星标：3 · Fork：0

话题：computational-science · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · formal-verification · hyperpolymath · julia · julia-package

在 GitHub 上查看原仓库