News for hackers. Stuff that matters.
Re:Transcendental Syntax by illogicalconc on Friday January 03, 2025 @11:11PM (#42592315)
I haven’t been keeping up with Girard as much as I would like, but am I correct in intuiting that this is the next step past Ludics?

Update: I don’t see a citation, so I guess this is an exploration in a different direction.

Re:Transcendental Syntax by Twey on Saturday January 04, 2025 @08:34AM (#42594601)
This is a further step in the same programme. The programme itself is somewhat agnostic as to the underlying dynamics; the ‘stellar resolution’ mechanism (Eng's terminology, not Girard's, who AFAIR doesn't name the system) is a better-behaved replacement for the ‘designs’ of _Locus Solum_, which IMO remains the best introduction for the bigger ideas of the programme.