Argumentation in Mathematics
| Wanneer: | do 30-05-2013 09:00 - 13:00 |
| Waar: | 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!