Mathematical Reasoning, Heuristics and the Development of Mathematics Conference
10-11 September 2004
Villa Mirafiori
Via Carlo Fea 2
00161 Rome
-
Description
-
The book: Mathematical Reasoning and Heuristics (College Publications, 2005).
-
Program
-
Organization
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.
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.