Revisiting Jean-Yves Girard's Transcendental Syntax. For the love of druj, can someone explain to me in a few sentences what a gabarit is? Is it like the choices Geist makes in navigating its history? @insurrealist @deontologistics
-
-
The basic idea is that both ludics and transcendental syntax try to find semantics implicit in the structure of proof syntax, but one focuses on sequent calculus, and the other proof nets. However, proof nets aren’t very intuitive.
-
"However, proof nets aren’t very intuitive." I feel I'm dying very hopelessly at this point.
- 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.