Informes
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