How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio

Descriptive Topological Spaces for Performing Visual Search

Accepted versionThis article presents an approach to performing the task of visual search in the context of descriptive topological spaces. The presented algorithm forms the basis of a descriptive visual search system (DVSS) that is based on the guided search model (GSM) that is motivated by human visual search. This model, in turn, consists of the bottom-up and top-down attention models and is implemented within the DVSS in three distinct stages. First, the bottom-up activation process is used to generate saliency maps and to identify salient objects. Second, perceptual objects, defined in the context of descriptive topological spaces, are identified and associated with feature vectors obtained from a VGG deep learning convolutional neural network. Lastly, the top-down activation process makes decisions on whether the object of interest is present in a given image through the use of descriptive patterns within the context of a descriptive topological space. The presented approach is tested with images from the ImageNet ILSVRC2012 and SIMPLIcity datasets. The contribution of this article is a descriptive pattern-based visual search algorithm."This research has been supported by the Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery Grant 418413, and the Faculty of Graduate Studies at the University of Winnipeg."https://link.springer.com/chapter/10.1007/978-3-662-58768-3_

Mathematical Design for Knotted Textiles

This chapter examines the relationship between mathematics and textile knot practice, i.e., how mathematics may be adopted to characterize knotted textiles and to generate new knot designs. Two key mathematical concepts discussed are knot theory and tiling theory. First, knot theory and its connected mathematical concept, braid theory, are used to examine the mathematical properties of knotted textile structures and explore possibilities of facilitating the conceptualization, design, and production of knotted textiles. Through the application of knot diagrams, several novel two-tone knotted patterns and a new material structure can be created. Second, mathematical tiling methods, in particular the Wang tiling and the Rhombille tiling, are applied to further explore the design possibilities of new textile knot structures. Based on tiling notations generated, several two- and three-dimensional structures are created. The relationship between textile knot practice and mathematics illuminates an objective and detailed way of designing knotted textiles and communicating their creative processes. Mathematical diagrams and notations not only reveal the nature of craft knots but also stimulate new ideas, which may not have occurred otherwise