equivalentexchange.blog
J.-Y. Girard’s Transcendental Syntax, V2
Meaning is use. – Ludwig Wittgenstein If people never did silly things nothing intelligent would ever get done. – Ludwig Wittgenstein The latest two preprints by logician J.-Y. Girard c…