Home Page

This is the personal area of David Corfield within the nLab.

- Lautman and the Reality of Mathematics, (pdf)
- Projection and Projectability (link)
- Understanding the Infinite I: Niceness, Robustness, and Realism (link)
- Understanding the infinite II: Coalgebra (link)
- Narrative and the Rationality of Mathematical Practice, preprint
- Some Implications of the Adoption of Category Theory for Philosophy, doc
- Categorification as a Heuristic Device, doc
- Mathematical Kinds, or Being Kind to Mathematics, pdf

- A Note on ‘The’ and ‘The Structure of’ in Homotopy Type Theory, pdf

- A Dialogue on Infinity
- Klein 2-Geometry
- Two Cultures
- Mathematics and Co-Mathematics
- Motifs and Phantoms
- realism
- Philosophy as Normative or Descriptive
- Friedman's Dynamics of Reason (change in status of principles; Friedman's schema; cohomology; objections and observations; diagnosis; Friedman and DTT)
- What Category Theory can do for Philosophy
- Homotopy type theory
- Dialectic and Eristic
- Bayesianism in Mathematics
- Shaperean Philosophy of Mathematics
- 1-2-3
- Langlands
- HoTT for Physics
- Historical Motivation

- Albert Lautman
- Imre Lakatos
- Ernst Cassirer
- Colin McLarty
- R G Collingwood
- Michael Polanyi
- David Carr
- Dudley Shapere
- Rudolf Carnap

Revised on May 9, 2015 08:15:42
by David Corfield
(146.90.10.145)