David Corfield
Biographic Data
| ID | 1294289 |
|---|---|
| NAME | David Corfield |
| GIVEN NAMES | David |
| FAMILY NAME | Corfield |
| SIGNATURE | CORFIELD D |
| AFFILIATIONS | University of Kent |
| ORCID | 0000-0003-0432-3221 |
| VERIFIED | Yes |
| TOTAL WORKS | 10 |
| TOTAL CITATIONS | 5 |
| WORKS AS AUTHOR | 10 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 1997 |
| LATEST PUBLICATION YEAR | 2020 |
| H-INDEX | 2 |
Expressing ‘the structure of’ in homotopy type theory
As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational langua…
Modal Homotopy Type Theory
Duality as a category-theoretic concept
Understanding the infinite II
Towards a Philosophy of Real Mathematics
Complementarity and Convergence in the Philosophies of Mathematics and Physics
An Introduction to the Philosophy of Mathematics
Conceptual mathematics
The importance of mathematical conceptualisation
Assaying lakatos's philosophy of mathematics
Assaying lakatos's philosophy of mathematics
The importance of mathematical conceptualisation
Conceptual mathematics
An Introduction to the Philosophy of Mathematics
Complementarity and Convergence in the Philosophies of Mathematics and Physics
Towards a Philosophy of Real Mathematics
Understanding the infinite II
Duality as a category-theoretic concept
Expressing ‘the structure of’ in homotopy type theory
As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational langua…
Modal Homotopy Type Theory
Mathematics (8 works) · Epistemology (7 works) · Philosophy (7 works) · History and Theory of Mathematics (4 works) · Philosophy (4 works) · Philosophy and History of Science (4 works) · Pure mathematics (4 works) · Algebra over a field (3 works) · Computability, Logic, AI Algorithms (3 works) · Computer Science (3 works)