[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