Book Review: Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics (2019)
Journal Article
Fletcher. (2019). Book Review: Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics. Studia Logica, 107, 845 - 851. https://doi.org/10.1007/s11225-019-09866-1

'No abstract'

Approaches to analysis with infinitesimals following Robinson, Nelson, and others (2017)
Journal Article
Fletcher, P., Hrbacek, K., Kanovei, V., Katz, M. G., Lobry, C., & Sanders, S. (2017). Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, 1 -59. https://doi.org/10.14321/realanalexch.42.2.0193

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended... Read More about Approaches to analysis with infinitesimals following Robinson, Nelson, and others.

Connectionist learning of regular graph grammars (2001)
Journal Article
Fletcher. (2001). Connectionist learning of regular graph grammars. Connection science, 127 - 188. https://doi.org/10.1080/09540090110072327

This paper presents a new connectionist approach to grammatical inference. Using only positive examples, the algorithm learns regular graph grammars, representing two-dimensional iterative structures drawn on a discrete Cartesian grid. This work is i... Read More about Connectionist learning of regular graph grammars.