[Agda] An article by Jean-Yves Girard
Andreas Abel
andreas.abel at ifi.lmu.de
Fri Apr 24 15:35:34 CEST 2020
> To understand his papers you only need to hold them in mind for about
3 decades.
Haha, well said! :D
On 2020-04-24 15:25, Peter Hancock wrote:
> On 24/04/2020 14:11, Andreas Abel wrote:
>> Well Girard is a genius, and myriades of researchers have tried to
>> understand his ideas (e.g. the whole Geometry of Interaction
>> community).
>>
>> Understanding Girard's papers is not any easier that reading medieval
>> treatises on alchemy: The uninitiated ones (like us) need an
>> interpreter.
>
> Maybe more importantly than being a mere genius, Girard is an extraordinary wit,
> even when he writes in English. (Beats Conor into a cocked hat.)
>
> To understand his papers you only need to hold them in mind for about 3 decades.
>
> Hank
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
More information about the Agda
mailing list