Mathematical Reasoning, Heuristics and the development of mathematics Conference

Mathematical Reasoning, Heuristics and the Development of Mathematics Conference


10-11 September 2004


Villa Mirafiori

Via Carlo Fea 2

00161 Rome



  • Description


The conference covers both general questions in the philosophy of matematics and special questions concerning the nature of mathematical reasoning, the role of heuristics in matematical reasoning, and the growth of mathematical knowledge.


  • Program


Day 1- Friday 10th September

Room V

9.30-10.00: Opening

10.00-11.00: Brian DAVIES (King’s College London), A Defence of Mathematical Pluralism

11.00-11.30: Coffee Break

11.30-12.30: Donald GILLIES (King's College London), Heuristics and Mathematical Discovery:  the Case of Bayesian Networks


Room XII

15.30-16.30: David CORFIELD (University of York), Categorification as a Heuristic Device

16.30-17.00: Coffee Break

17.00-18.00: Mary LENG (Cambridge University), Mathematical Explanation

18.00-19.00: Yehuda RAV (Université de Paris‑Sud), Reflections on the Proliferous Growth of Mathematical Concepts and Tools:  Some Case Histories from Mathematicians’ Workshops


Day 2 - Saturday 11th September

Room XII

9.30-10.30: Ladislav KVASZ (Univerzita Komenského Bratislava), Similarities and Differences between the Development of Geometry and of Algebra

10.30-11.00: Coffee Break

11.00-12.00: Emily GROSHOLZ (PennState University), Diagrams, Arrays and Equations: The Uses of Controlled Ambiguity in Mathematics

12.00-13.00: Gianluigi OLIVERI (Università di Palermo), Do We Really Need Axioms in Mathematics?


15.30-16.30: Dag PRAWITZ (Stockholms Universitet), Proofs as Justifications and Tools

16.30-17.00: Coffee Break

17.00‑18.00: Cesare COZZO (Università di Roma ‘La Sapienza’), Can a Proof Compel Us?

18.00: Michael DUMMETT (Oxford University), Comments on Papers presented at the Conference.


  • Scientific Committee

- Carlo Cellucci

- Donald Gillies

- Cesare Cozzo


  • Support:


- Sapienza Department of Philosophical and Epistemological Studies