Argumentation in Mathematics
| When: | Th 30-05-2013 09:00 - 13:00 |
| Where: | University of Groningen (exact location TBA, near the Academy Building) |
Workshop, Roots of Deduction project (Catarina Dutilh Novaes)
Speakers and Titles:
- Andrew Aberdein (Philosophy, Florida Institute of Technology): "Types of dialogue in mathematics"
- Erik Krabbe (Philosophy, Groningen): "Aristotle on squaring the circle"
- Bart Verheij (Artificial Intelligence, Groningen): "Mathematical discovery as investigative argumentation"
- Catarina Dutilh Novaes (Philosophy, Groningen): "A dialogical conception of indirect proofs"
More information and updates on the Roots of Deduction Project website
All welcome!