Biography

I was appointed as a lecturer in Computer Science and Mathematics in 1988. I have taught both computing and maths courses continuously since then. Previously I studied maths at Southampton University and then went to Bristol, where I did an MSc in mathematical logic and theory of computation, followed by a PhD in the philosophy of mathematics.

Research and scholarship

My research is divided between two fields.

  • Artificial intelligence - studying the way in which highly structured patterns can be recognised in the presence of noise.
  • Philosophy of mathematics - I am interested in different ways of understanding infinity, both in the context of pure mathematics and in the context of physical theories.

For more details, please see my home page.

I am a member of the Artificial Intelligence and Cognitive Science research group.

Teaching

  • MAT-20029: Analysis II
  • MAT-30006: Logic

 

Further information

Peter Fletcher's Homepage

Selected Publications

  • Fletcher P. 2020. Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey. Journal of Philosophical Logic. link> doi> full text>
  • Fletcher P. 2019. Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics. STUDIA LOGICA, vol. 107(4), 845-851. link> doi>
  • Fletcher P, Hrbacek K, Kanovei V, Katz MG, Lobry C, Sanders S. 2017. Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, vol. 42(2), 193-252. link> full text>
  • Lam KP, collins D, Fletcher P. 2014. Mobile Camera Source Identification with SVD. Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering, Lecture Notes in Electrical Engineering, Volume 313. Springer International Publishing. doi> full text>
  • Lam K, Lam KP, Collins D, Fletcher P. 2014. Source identification of camera phones using SVD. ICIP2013, the Proceedings. IEEE publishing. doi> full text>

Full Publications List show

Journal Articles

  • Fletcher P. 2020. Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey. Journal of Philosophical Logic. link> doi> full text>
  • Fletcher P. 2019. Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics. STUDIA LOGICA, vol. 107(4), 845-851. link> doi>
  • Fletcher P, Hrbacek K, Kanovei V, Katz MG, Lobry C, Sanders S. 2017. Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, vol. 42(2), 193-252. link> full text>
  • Armstrong P and Fletcher P. 2004. The securitization of Keele's student rents: A reply to Pat Crawford and Douglas D. Pinnock. PUBLIC MONEY & MANAGEMENT, vol. 24(5), 265-266. link> doi>
  • Armstrong P and Fletcher P. 2004. Securitization in Public Sector Finance. Public Money & Management, vol. 24(3), 175-182. doi>
  • Fletcher P. 2003. Review of P Schuster, U Berger and H Osswald (Eds) `Reuniting the antipodes - constructive and nonstandard views of continuum' Kluwer 2001. History and Philosophy of Logic, vol. 23(4), 301-303.
  • Fletcher P. 2002. A constructivist perspective on physics. Philosophia Mathematica (Series III), vol. 10(1), 26-42. doi>
  • Fletcher P. 2002. Reuniting the antipodes - constructive and nonstandard views of the continuum. HISTORY AND PHILOSOPHY OF LOGIC, vol. 23(4), 301-303. link>
  • Fletcher P. 2001. Connectionist learning of regular graph grammars. CONNECTION SCIENCE, vol. 13(2), 127-188. link> doi> full text>
  • Fletcher P. 2000. The foundations of connectionist computation. CONNECTION SCIENCE, vol. 12(2), 163-196. link> doi>

Chapters

  • FLETCHER P. 2007. Infinity. In Philosophy of Logic. Jacquette D (Ed.). (vol. 5). Amsterdam: Elsevier. link> full text>

Other

  • Lam KP, collins D, Fletcher P. 2014. Mobile Camera Source Identification with SVD. Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering, Lecture Notes in Electrical Engineering, Volume 313. Springer International Publishing. doi> full text>
  • Lam K, Lam KP, Collins D, Fletcher P. 2014. Source identification of camera phones using SVD. ICIP2013, the Proceedings. IEEE publishing. doi> full text>
  • Soobhany AR, Lam KP, Fletcher P, Collins D, IEEE. 2013. SOURCE IDENTIFICATION OF CAMERA PHONES USING SVD. 2013 20TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2013) (pp. 4497-4501). link> doi>
  • LAM KP and FLETCHER P. 2009. Concurrent grammar inference machines for 2-D pattern recognition: a comparison with the level set approach. In JT. Astola, KO. Egiazarian, NM. Nasrabadi & SA. Rizvi (Eds.). Image Processing: Algorithms and Systems VII (vol. SPIE vol. 7245). SPIE-IS&T. link> doi>
  • Fletcher P. 2004. Mathematical Theory of Recursive Symbol Systems. full text>