Peter Fletcher

Title: Lecturer - Maths
Phone: 01782 733260
Email: p.fletcher@keele.ac.uk
Location: MacKay Building Room 2.36
Role:
Contacting me:

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.

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.

Selected Publications

  • 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. 2007. Infinity. In Philosophy of Logic. Jacquette D (Ed.). (vol. 5). Amsterdam: Elsevier. link>
  • Armstrong P and Fletcher P. 2004. Securitization in Public Sector Finance. Public Money & Management, vol. 24(3), 175-182. doi>
  • Fletcher P. 2004. Mathematical Theory of Recursive Symbol Systems.

Full Publications List show

Journal Articles

  • 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.
  • Fletcher P. 2001. Connectionist learning of regular graph grammars. CONNECTION SCIENCE, vol. 13(2), 127-188. link> doi>
  • Fletcher P. 2000. The foundations of connectionist computation. CONNECTION SCIENCE, vol. 12(2), 163-196. link> doi>
  • Fletcher P, Hrbacek K, Kanovei V, Katz MG, Lobry C, Sanders S. Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, vol. 42(2), 1-59. link>

Chapters

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

Other

  • 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.
  • Lam KP, collins D, Fletcher P. 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>
  • Lam K, Lam KP, Collins D, Fletcher P. Source identification of camera phones using SVD. ICIP2013, the Proceedings. IEEE publishing. doi>

MAT-20029: Analysis II
MAT-30006: Logic