[FOM] Workshop: Argumentation in Mathematics (Groningen NL)

[catarina dutilh]

On May 30th 2013, the Roots of Deduction project (https://sites.google.com/site/therootsofdeduction/) and the Faculty of Philosophy of the University of Groningen will host a small workshop on argumentation in mathematics.

Details will be regularly updated here:

https://sites.google.com/site/therootsofdeduction/events-and-announcements/workshop-argumentation-in-mathematics


Speakers and titles are:
	* 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"
Time: 9.00 - 13.00
Place: University of Groningen (exact location TBA, but somewhere in the city center, near the Academiegebouw)

The workshop is open to all, but please send us an email (rootsofdeduction 'youknowwhat' gmail dot com) to register.