The name Jean-Yves Girard might be an unknown name for those outside the field of logic, but I can say that he is a G-E-N-I-O-U-S! His achievements are found in several fields, from proof-theory and type theory to complexity theory and computer science; for instance, linear logic, the logic of all logics, is one of his inventions.
In the next week, Girard is going give a series of lectures about his new and very exciting discoveries that relate hyperfinite factors, a subfield of linear algebra, and Ludics, a theory, closely related to games semantics, that uses the location of formulas instead of propositions. To follow his lectures, I've been trying to read, in the past couple of days, his last book The Blind Spot. However, the following problem is evident from the beginning: Girard is a terrible writer! It is simply impossible to follow his line of thought because each point he makes is miles away from the next point! It is so disappointing that makes me wonder: Who can understand Girard?!
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment