Michael Wright Collection

Showing 8146 results

Archival description

Print preview

Card view Table view

10/06/05 Rencontres, Fougeres: breakfast & afterwards conversations: C McLarty, A MacIntyre, JL Bell (contd.)

michael-wright-collection-MW0000852 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: Discussions: FW Lawvere, C McLarty, A MacIntyre, JL Bell, M Wright

michael-wright-collection-MW0000847 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: FW Lavere, Colin McLarty & Angus MacIntyre: discussion re. 0-Minimality program, tame topology, ramifications & other topics (contd.)

michael-wright-collection-MW0000848 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: FW Lawvere, Colin McLarty & Angus MacIntyre: discussion re. 0-Minimality program, tame topology, ramifications & other topics

michael-wright-collection-MW0000848 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: FW Lawvere, Colin McLarty & Angus MacIntyre: Discussion re. 0-Minimality program, tame topology, ramifications & other topics

michael-wright-collection-MW0000864 · Item

Part of Michael Wright Collection

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Giovanni Sambin: 2 principles of dynamic constructivism; Brouwer's principle of continuity and choice sequences in formal topology / Mitsu Okada: Intuitionistic logic and linear logic

michael-wright-collection-MW0002514 · Item

Part of Michael Wright Collection

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability

michael-wright-collection-MW0002515 · Item

Part of Michael Wright Collection

10/06/07 100 Years of Intuitionism, Cerisy-La-Salle: Giovanni Sambini: 2 principles of dynamic constructivism (last part) / Mitsu Okada: Intuitionist & linear logic (first part)

michael-wright-collection-MW0000136 · Item

Part of Michael Wright Collection

10/06/07 Discussions FW Lawvere: Topos theory & other matters

michael-wright-collection-MW0000137 · Item

Part of Michael Wright Collection

10/06/08 Mathematical Understanding Workshop, Universite Denis Diderot Paris VII: Ken Manders: Mathematical understanding / coffee break conversations / Catherine Goldstein: Charles Hermite, mathematical understanding and mathematical nature / Ivahn Smadja: Diverging thrusts: Contrasting insightful plasticity with articulate embeddings

michael-wright-collection-MW0002372 · Item

Part of Michael Wright Collection

Results 2281 to 2290 of 8146

Previous
1
...
226
227
228
229
230
231
232
...
815
Next