David Corfield

Generating author description...

All published works

Action	Title	Year	Authors
+	Thomas Kuhn, Modern Mathematics and the Dynamics of Reason	2024	David Corfield
+	Fundamental weight systems are quantum states	2023	David Corfield Hisham Sati Urs Schreiber
+	Fundamental weight systems are quantum states	2021	David Corfield Hisham Sati Urs Schreiber
+	Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy	2020	David Corfield
+ PDF Chat	Modal Homotopy Type Theory	2020	David Corfield
+	Homotopy Types	2020	David Corfield
+ PDF Chat	Reviving the Philosophy of Geometry	2018	David Corfield
+ PDF Chat	Expressing ‘the structure of’ in homotopy type theory	2017	David Corfield
+	Homotopy Type Theory and the Vertical Unity of Concepts in Mathematics	2017	David Corfield
+	The vertical unity of concepts in mathematics through the lens of homotopy type theory	2016	David Corfield
+ PDF Chat	The Form and Function of Duality in Modern Mathematics	2014	Ralf Krömer David Corfield
+	The duality of space and function, and category-theoretic dualities	2013	Ralf Krömer David Corfield
+	Chapter 9. Narrative and the Rationality of Mathematical Practice	2012	David Corfield
+	Lautman and the Reality of Mathematics	2010	David Corfield
+	Complementarity and Convergence in the Philosophies of Mathematics and Physics	2006	David Corfield
+	Some Implications of the Adoption of Category Theory for Philosophy	2006	David Corfield
+ PDF Chat	Martin H. Krieger. Doing Mathematics: Convention, Subject, Calculation, Analogy. Singapore: World Scientific Publishing, 2003. Pp. xviii + 454. ISBN 981-238-2003 (cloth); 981-238-2062 (paperback)	2005	David Corfield
+	Categorification as a Heuristic Device	2004	David Corfield
+ PDF Chat	Towards a philosophy of real mathematics	2004	David Corfield
+ PDF Chat	Mathematical Kinds, or Being Kind to Mathematics	2004	David Corfield
+	Lakatos's philosophy of mathematics	2003	David Corfield
+	Beyond the methodology of mathematical research programmes	2003	David Corfield
+	The role of analogy in mathematics	2003	David Corfield
+	Introduction: a role for history	2003	David Corfield
+	HUMAN AND ARTIFICIAL MATHEMATICIANS	2003	David Corfield
+	Higher-dimensional algebra	2003	David Corfield
+	Automated conjecture formation	2003	David Corfield
+	Communicating with automated theorem provers	2003	David Corfield
+	Preface	2003	David Corfield
+	Bayesianism in mathematics	2003	David Corfield
+	The importance of mathematical conceptualisation	2003	David Corfield
+	Appendix	2003	David Corfield
+	Towards a Philosophy of Real Mathematics	2003	David Corfield
+	THE GROWTH OF MATHEMATICS	2003	David Corfield
+	Bibliography	2003	David Corfield
+	Conceptual mathematics: a first introduction to categories	2002	David Corfield
+	Review of F. W. Lawvere and S. H. Schanuel, Conceptual Mathematics: A First Introduction to Categories; and J. L. Bell, A Primer of Infinitesimal Analysis	2002	David Corfield
+	Review of F. William Lawvere and Stephen Schanuel, 'Conceptual Mathematics: A First Introduction to Categories'	2002	David Corfield
+	The importance of mathematical conceptualisation	2001	David Corfield
+	Bayesianism in Mathematics	2001	David Corfield
+	Beyond the Methodology of Mathematics Research programmes†	1998	David Corfield

Common Coauthors

Coauthor	Papers Together
Ralf Krömer	2
Urs Schreiber	2
Hisham Sati	2

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The Uses and Abuses of the History of Topos Theory	1990	Colin McLarty	21
+	Enumerative Combinatorics	1999	Richard P. Stanley Sergey Fomin	21
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	20
+	Models for Smooth Infinitesimal Analysis	1991	Ieke Moerdijk Gonzalo E. Reyes	20
+	Proofs and Refutations	1976		20
+	The Protean Character of Mathematics	1992	Saunders MacLane	20
+	Testing the philosophy of mathematics in the history of mathematics	1989	Eduard Glas	19
+	Logic and Category Theory	1981	Gonzalo E. Reyes	19
+	The Unity of Mathematics	1978	Michael Atiyah	19
+	Evidence for a Cohomological Approach to Analytic Number Theory	1994	Christopher Deninger	19
+ PDF Chat	Introduction to quantum field theory for mathematicians	1995	Jeffrey M. Rabin	19
+	Why Do We Prove Theorems?	1999	Yehuda Rav	19
+	Infinite Loop Spaces (AM-90)	1978	J. F. Adams	19
+ PDF Chat	Abstract Mathematical Tools and Machines for Mathematics†	1997	Jean‐Pierre Marquis	19
+	None	1996	Alexander Givental	19
+	A Unified Language for Mathematics and Physics	1986	David Hestenes	19
+ PDF Chat	Higher-dimensional algebra and Planck scale physics	2001	John C. Baez	19
+ PDF Chat	Groupoids and crossed objects in algebraic topology	1999	Ronald Brown	19
+ PDF Chat	On the rapid computation of various polylogarithmic constants	1997	David H. Bailey Peter Borwein Simon Plouffe	19
+	An Introduction to Zeta Functions	1992	Pierre Cartier	19
+	L'abstraction et l'intuition mathématique	1975	Jean Dieudonné	19
+	Lie Algebroids and Lie Pseudoalgebras	1995	Kirill C. H. Mackenzie	19
+	Part I. Topology and Abstract Algebra as Two Roads of Mathematical Comprehension	1995	Hermann Weyl	19
+	The Historical Development of Algebraic Geometry	1972	Jean Dieudonné	19
+	Galois Theory, Algebraic Number Theory, and Zeta Functions	1992	Harold Stark	19
+ PDF Chat	Spacetime and the philosophical challenge of quantum gravity	2001	Jeremy Butterfield C. J. Isham	19
+	Mathematics Form and Function	1986	Saunders Mac Lane	19
+ PDF Chat	Is our mathematics natural? The case of equilibrium statistical mechanics	1988	David Ruelle	19
+	Double Lie algebroids and second-order geometry, I	1992	Kirill C. H. Mackenzie	19
+ PDF Chat	Three dimensional manifolds, Kleinian groups and hyperbolic geometry	1982	William P. Thurston	19
+	Quantum spacetime: What do we know?	2001	Carlo Rovelli	19
+	Slightly More Realistic Personal Probability	1967	Ian Hacking	19
+	Lie Groupoids and Lie Algebroids in Differential Geometry	1987	Kirill C. H. Mackenzie	19
+	Bakerian Lecture, 1975: Global geometry	1976	Michael Atiyah	19
+ PDF Chat	Book Review: Lie groupoids and Lie algebroids in differential geometry	1988	Antonio Kumpera	19
+	Mathematical progress: Between reason and society	1993	Eduard Glas	19
+	The Logic of Mathematical Discovery Vs. the Logical Structure of Mathematics	1978	Solomon Feferman	19
+	Ten “Laws” concerning patterns of change in the history of mathematics	1975	Michael J. Crowe	19
+	Analogies between the Langlands Correspondence and Topological Quantum Field Theory	1995	Mikhail Kapranov	19
+ PDF Chat	“Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics	1993	Arthur Jaffe Frank Quinn	19
+	From Groups to Groupoids: a Brief Survey	1987	Ronald Brown	19
+	Undergraduate Algebraic Geometry	1988	Miles Reid	19
+	Intuition and Rigor: Some Problems of a ‘Logic Of Discovery’ in Mathematics	1980	Giulio Giorello	19
+ PDF Chat	Zeroes of zeta functions and symmetry	1999	Nicholas Katz Peter Sarnak	19
+	The geometry of tensor calculus, I	1991	André Joyal Ross Street	19
+ PDF Chat	On proof and progress in mathematics	1994	William P. Thurston	19
+	Geometry and Quantum Field Theory	1995	Daniel S. Freed Karen Uhlenbeck	19
+	Gap Labelling Theorems for Schrödinger Operators	1992	Jean Bellissard	19
+ PDF Chat	The Road to Modern Logic—An Interpretation	2001	José Ferreirós	18
+	Bayesianism and Causality, or, Why I am Only a Half-Bayesian	2001	Judea Pearl	18