4 ms·
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
by guerrilla 2y ago
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 http://girard.perso.math.cnrs.fr/0.pdf
- engboris 2y agoHe'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.