Mostrando 16 resultados

Descripción archivística
Carter, Jessica
Imprimir vista previa
Card view Table view
10/09/07 LMPS Congress, Beijing: Jessica Carter: Pictures and proofs in analysis; examples from Vaughan Jones work and other topics / Mario Gomez-Torrento: The notion of co-extensionality in connection with the model-theoretic definition of logical truth; an argument against Tarski's thesis / Mary Leng: A discussion of structuralist -vs-fictionalist accounts of the applicability of mathematics
michael-wright-collection-MW0002603 · Unidad documental simple
Parte de Michael Wright Collection
16/02/09 Category theory and related fields; history & prospects, MFOberwolfach, Germany: AM preliminary discussions between participants / Futer discussions re planning of meeting / Pierre Cartier: Bourbaki's approaches to foundations revisited in the light of the development of category theory / subsequent discussion / futher short discussion of planning for rest of meeting / 17/02/09 Klaus Volkert: How category theory came to Germany / subsequent discussion / Renaud Chorlay: Devising mixed structres / subsequent discussion / Pierre Schapira: Motives in analysis; the case of hyperfunctions / General panel discussions / Dinner conversations incl S Awodey & C McLarty / 18/02/09 Pierre Ageron: The mathematical work and legacy of Charles Ehresmann / Ralf Kroemer: The role of the theory of groupoids in category theory through the groupoidification viewpoint of Moerdijk et al / Evening conversations / 19/02/09 Jean-Pierre Marquis: The interactions bewteen homotopy theory and category theory / subsequent discus...
michael-wright-collection-MW0002272 · Unidad documental simple
Parte de Michael Wright Collection
16/06/08 Reflections on Mathematical Practices, Sevilla: Jessica Carter: The role of representation in mathematical reasoning / discussion / Ken Manders: Reflections on mathematical practice and theory: An attempted reconstruction / discussion / Daniele Molinini: The presentation of Greek mathematical knowledge / discussion / Laura Rodriguez: Constructive practices in modern maths: The case of point-set theory / discussion / Marco Panza: Mathematical theories, practices & objects / Jose Ferreiros: Mathematical knowledge: A practice-based approach
michael-wright-collection-MW0002352 · Unidad documental simple
Parte de Michael Wright Collection
16/02/09 Category theory and related fields; history & prospects, MFOberwolfach, Germany: AM preliminary discussions between participants / Futer discussions re planning of meeting / Pierre Cartier: Bourbaki's approaches to foundations revisited in the light of the development of category theory / subsequent discussion / futher short discussion of planning for rest of meeting / 17/02/09 Klaus Volkert: How category theory came to Germany / subsequent discussion / Renaud Chorlay: Devising mixed structres / subsequent discussion / Pierre Schapira: Motives in analysis; the case of hyperfunctions / General panel discussions / Dinner conversations incl S Awodey & C McLarty / 18/02/09 Pierre Ageron: The mathematical work and legacy of Charles Ehresmann / Ralf Kroemer: The role of the theory of groupoids in category theory through the groupoidification viewpoint of Moerdijk et al / Evening conversations / 19/02/09 Jean-Pierre Marquis: The interactions bewteen homotopy theory and category theory / subsequent discus...
michael-wright-collection-MW0002271 · Unidad documental simple
Parte de Michael Wright Collection
16/02/09 Category theory and related fields; history & prospects, MFOberwolfach, Germany: AM preliminary discussions between participants / Futer discussions re planning of meeting / Pierre Cartier: Bourbaki's approaches to foundations revisited in the light of the development of category theory / subsequent discussion / futher short discussion of planning for rest of meeting / 17/02/09 Klaus Volkert: How category theory came to Germany / subsequent discussion / Renaud Chorlay: Devising mixed structres / subsequent discussion / Pierre Schapira: Motives in analysis; the case of hyperfunctions / General panel discussions / Dinner conversations incl S Awodey & C McLarty / 18/02/09 Pierre Ageron: The mathematical work and legacy of Charles Ehresmann / Ralf Kroemer: The role of the theory of groupoids in category theory through the groupoidification viewpoint of Moerdijk et al / Evening conversations / 19/02/09 Jean-Pierre Marquis: The interactions bewteen homotopy theory and category theory / subsequent discus...
michael-wright-collection-MW0002273 · Unidad documental simple
Parte de Michael Wright Collection
16/02/09 Category theory and related fields; history & prospects, MFOberwolfach, Germany: AM preliminary discussions between participants / Futer discussions re planning of meeting / Pierre Cartier: Bourbaki's approaches to foundations revisited in the light of the development of category theory / subsequent discussion / futher short discussion of planning for rest of meeting / 17/02/09 Klaus Volkert: How category theory came to Germany / subsequent discussion / Renaud Chorlay: Devising mixed structres / subsequent discussion / Pierre Schapira: Motives in analysis; the case of hyperfunctions / General panel discussions / Dinner conversations incl S Awodey & C McLarty / 18/02/09 Pierre Ageron: The mathematical work and legacy of Charles Ehresmann / Ralf Kroemer: The role of the theory of groupoids in category theory through the groupoidification viewpoint of Moerdijk et al / Evening conversations / 19/02/09 Jean-Pierre Marquis: The interactions bewteen homotopy theory and category theory / subsequent discus...
michael-wright-collection-MW0002274 · Unidad documental simple
Parte de Michael Wright Collection