@inbook{5313ce2eff9f4fcc893d276f2097d3b0,
title = "Bridging the gap between argumentation theory and the philosophy of mathematics",
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{\textquoteright}s work (Lakatos, 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{\textquoteright}s proof of Euler{\textquoteright}s conjecture, which uses work by Haggith on argumentation structures, and identify connections between these structures and Lakatos{\textquoteright}s methods.",
author = "Alison Pease and Alan Smaill and Simon Colton and John Lee",
year = "2013",
doi = "10.1007/978-94-007-6534-4_16",
language = "English",
isbn = "9789400765337",
series = "Logic, Epistemology, and the Unity of Science",
publisher = "Springer ",
pages = "309--338",
editor = "Andrew Aberdein and Dove, {Ian J.}",
booktitle = "The argument of mathematics",
}