User contributions
From Girard Reading Group
- 03:10, 19 November 2007 (diff | hist) Jean-Yves Girard (top)
- 03:08, 19 November 2007 (diff | hist) N Jean-Yves Girard (New page: Image:http://www.lsv.ens-cachan.fr/csl01/Jeudi/picture-001.jpg [http://iml.univ-mrs.fr/~girard/ Girard's homepage])
- 15:41, 18 November 2007 (diff | hist) Ludics (moved curien slides to "External links", added crazy blog post by lecomte)
- 03:38, 16 November 2007 (diff | hist) N Weakening (New page: Weakening is the principle that if something holds, it doesn't stop holding when we add extra stuff. Formally, weakening tells us that if a sequent Γ ⊢ Δ is valid, so is Γ',Γ ⊢ Δ...) (top)
- 12:15, 15 November 2007 (diff | hist) N Questions (Questions moved to Questions about ludics) (top)
- 12:15, 15 November 2007 (diff | hist) m Questions about ludics (Questions moved to Questions about ludics) (top)
- 12:14, 15 November 2007 (diff | hist) Girard Reading Group (→Entry Points)
- 12:14, 15 November 2007 (diff | hist) N Questions about ludics (New page: Use this page to post any questions (broad or specific) you have about ludics. * "Only the location matters"...why are loci so essential? What is the difference between localized dessein...)
- 13:33, 14 November 2007 (diff | hist) Connectives (spelling/wording changes) (top)
- 01:45, 14 November 2007 (diff | hist) N Localized (Redirecting to Locus) (top)
- 01:37, 14 November 2007 (diff | hist) Connectives (added some history, and more discussion of polarity)
- 03:59, 7 November 2007 (diff | hist) N Heterodox (Heterodox moved to Heterodoxy) (top)
- 03:59, 7 November 2007 (diff | hist) m Heterodoxy (Heterodox moved to Heterodoxy) (top)
- 03:58, 7 November 2007 (diff | hist) Pitchfork (added more heterodoxy on "phantom" pitchforks)
- 03:40, 7 November 2007 (diff | hist) N Heterodoxy (New page: Girard works in mysterious ways. Therefore, one should not take the things he says takes too seriously.)
- 03:31, 7 November 2007 (diff | hist) Girard Reading Group
- 03:26, 7 November 2007 (diff | hist) N Pitchforks (Pitchforks moved to Pitchfork: singularize) (top)
- 03:26, 7 November 2007 (diff | hist) m Pitchfork (Pitchforks moved to Pitchfork: singularize)
- 03:25, 7 November 2007 (diff | hist) N Loci (Redirecting to Locus) (top)
- 03:21, 7 November 2007 (diff | hist) N Locus (New page: A <i>locus</i> ξ is a finite sequence of natural numbers. Loci are the ludic analogues of "formulas". Appending a <i>bias</i> (natural number) i corresponds to taking an immediate [[sub...)
- 03:13, 7 November 2007 (diff | hist) N Pitchfork (New page: A <i>pitchfork</i> is the ludic analogue of "sequent". There are two kinds of pitchforks: <ul> <li>positive: ⊢ Λ</li> <li>negative: ξ ⊢ Λ</li> </ul> where ξ is a locus, and Λ...)
