News for hackers. Stuff that matters.
Re:Transcendental Syntax by guerrilla on Tuesday January 07, 2025 @04:16PM (#42627591)
So he's not crazy? After a period of my life where I had just read tons of type theory and logic and found his "Locus solum" by accident but couldn't understand a damned thing. It feels like an insane asylum. I could never figure out if he was a crank or a genius.

http://girard.perso.math.cnrs.fr/0.pdf

Re:Transcendental Syntax by engboris on Tuesday January 07, 2025 @07:16PM (#42629386)
He's indeed very special and looks like he's writing to himself (especially in his last works). However, after trying to understand his last works for 3-4 years in full-time, I can't say he's "crazy". I would rather say that he gave up trying to make his texts understandable, and he probably has fun writing like that. I once met him and he said jokingly that he was a poet.