Projects per year
Abstract
We argue that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. We discuss Lakatos’s work (Proofs and Refutations, 1976) in which he championed the informal nature of mathematics, and our computational representation of his theory. In particular, we outline our representation of Cauchy’s proof of Euler’s conjecture, in which we use work by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods.
Original language  English 

Pages (fromto)  111135 
Number of pages  25 
Journal  Foundations of Science 
Volume  14 
Issue number  12 
DOIs  
Publication status  Published  2009 
Fingerprint
Dive into the research topics of 'Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics'. Together they form a unique fingerprint.Projects
 1 Finished

Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
1/04/07 → 31/03/11
Project: Research