Talk:Geometry of interaction
Latest comment: 12 years ago by 86.185.217.209 in topic Incestuous name dropping
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||
|
Introduction edit
A mathematical introduction should be added with this kind of structure
- original Girard's presentation
- presentation around path in proofnets
- categorical presentation
- machine based
Rubbish article edit
This article is rubbish and should be removed if the authors aren't willing to clean it up. Currently it explains nearly nothing, and is instead an incestuous indulgence in ridiculous name-dropping.
- It should begin "Geometry of interaction IS .....". Who it was invented by is a secondary concern.
- It should explain concepts and terms, not refer to what Jones did about what Smith said. What these people did is incidental and secondary to the facts of the matter.
Incestuous name dropping edit
It's also a bit ridiculous to call people "Levy", "Ghica" as if they were important enough to be known out of context by their surnames, like "Newton" and "Einstein".
86.185.217.209 (talk) 21:34, 28 July 2011 (UTC)