David Corfield

David Corfield
Born
David Neil Corfield
Education
EducationUniversity of Cambridge (BA)
King's College London (MSc; PhD, 1996)
ThesisResearch Programmes, Logic, and Analogy: Three Aspects of Mathematics and Its Development (1996)
Doctoral advisorDonald A. Gillies
Philosophical work
EraContemporary philosophy
RegionWestern philosophy
SchoolAnalytic
InstitutionsUniversity of Kent
Main interestsPhilosophy of mathematics
Philosophy of psychology
Notable ideasPhilosophy of real mathematics (as opposed to metamathematics)
Adoption of mathematical-categorification procedures for philosophy
Homotopy type theory as an inherently structuralist foundational language for mathematics
Modal homotopy type theory

David Neil Corfield is a British philosopher specializing in philosophy of mathematics and philosophy of psychology. He was Senior Lecturer in Philosophy at the University of Kent until 2024.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.