Showing 18 results

Archival description

Mancosu, Paolo

Print preview

Card view Table view

01/11/01 Mathematics as Rational Activity, Meeting, Roskilde University, Denmark: Discussions incl. P Mancosu / discussions incl. J R Brown re Lawvere on categories of space / 02-11-01 discussions incl. M Giaquinto / discussions incl. P Mancosa et al / MW reflections

MW0002007 · Item

Part of Michael Wright Collection

01/11/01 Mathematics as Rational Activity, Meeting, Roskilde University, Denmark: Paolo Mancosu: Visualisation in mathematics / post seminar discussion

MW0002004 · Item

Part of Michael Wright Collection

02/11/01 Mathematics as Rational Activity, Meeting, Roskilde University, Denmark: MW reflections re J Tappenden's lecture / 03/11/01 discussion post J Hoyrup lecture / coffee break conversations / Paolo Mancosu: Variety of math / discussion

MW0002013 · Item

Part of Michael Wright Collection

02-04/11/06 PSA 2006, Vancouver: Jeremy Avigad: Formal verification and mathematical understanding / Jamie Tappenden: Finding the right definition in mathematics, with consequences for ontology / Paolo Mancosu: Explanation and unification; a case study from real algebraic Geometry / Erich Reck: Dedekind, structural reasoning, and mathematical explanation

MW0000618 · Item

Part of Michael Wright Collection

03/11/01 Mathematics as Rational Activity, Meeting, Roskilde University, Denmark: discussion incl P Mancosu / Panel discussion incl conference participants / discussion incl J Tappenden, J R Brown & P Mancosu

MW0002010 · Item

Part of Michael Wright Collection

07/02/05 Seminaire Philosophie & Mathematiques, ENS, Paris: Paolo Mancosu: Varieties of mathematical explanation

MW0000689 · Item

Part of Michael Wright Collection

07/02/05 Seminaire Philosophie & Mathematiques, ENS, Paris: Paolo Mancosu: Varieties of mathematical explanation - discussion

MW0000689 · Item

Part of Michael Wright Collection

12/01/07 The classical model of science, Amsterdam Free University: Paolo Mancosu: Completeness and categoricity of axiomatic systems; on an address of Tarski from 1940 / Lunch conversations / 17/01/07 IHP trimester on groupoids & stacks in geometry & physics, IHP: Jonathan Rosenberg: Noncommutative topology in geometry and physics / Conversations /Un texte, une mathematicien, The Bibliotheque National de France, Paris: Pierre Cartier: Lagrange's "mecanique analytique" / 18/01/07 IHP trimester on groupoids & stacks in geometry & physics, IHP: Jonathan Rosenberg: Noncommutative topology in geometry and physics

MW0002455 · Item

Part of Michael Wright Collection

13/06/08 Mathematical Understanding Workshop, Universite Denis Diderot Paris VII: Paolo Mancosu: Understanding explanation and unification / Stewart Shapiro: A 'i' for an i: Reference and indiscernibility / Marco Panza: From naturals to reals using abstraction / José Ferreiros: Conceptual understanding. logical consistency and mathematical existence

MW0002369 · Item

Part of Michael Wright Collection

13/06/08 Mathematical Understanding Workshop, Universite Denis Diderot Paris VII: Paolo Mancosu: Understanding explanation and unification / Stewart Shapiro: A 'i' for an i: Reference and indiscernibility / Marco Panza: From naturals to reals using abstraction / José Ferreiros: Conceptual understanding. logical consistency and mathematical existence

MW0002366 · Item

Part of Michael Wright Collection