James Ladyman

Available identifiers

zbMath Open ladyman.jamesMaRDI QIDQ351443

List of research outcomes

Publication	Date of Publication	Type
How quantum is quantum counterfactual communication?	2021-11-09	Paper
Correction to: ``How quantum is quantum counterfactual communication?	2021-11-09	Paper
The hole argument in homotopy type theory	2020-04-07	Paper
UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY	2019-10-30	Paper
Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT	2019-09-25	Paper
Does Homotopy Type Theory Provide a Foundation for Mathematics?	2018-11-19	Paper
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction	2017-03-03	Paper
Models and structures: phenomenological and partial	2014-02-21	Paper
Empirical factors and structure transference: returning to the London account	2014-02-21	Paper
Entanglement and non-factorizability	2014-02-21	Paper
Landauer defended: reply to Norton	2014-02-21	Paper
What is a complex system?	2013-07-11	Paper
IDENTITY AND DISCERNIBILITY IN PHILOSOPHY AND LOGIC	2012-04-21	Paper
The use of the information-theoretic entropy in thermodynamics	2011-10-31	Paper
The connection between logical and thermodynamic irreversibility	2011-10-27	Paper
Superconductivity and structures: revisiting the London account	2011-10-11	Paper
Criteria of Identity and Structuralist Ontology	2009-03-25	Paper
What does it mean to say that a physical system implements a computation?	2009-03-02	Paper
Physics and Computation: The Status of Landauer’s Principle	2007-11-13	Paper
Mathematical structuralism and the Identity of Indiscernibles	2005-09-28	Paper
Remodelling structural realism: quantum physics and the metaphysics of structure	2004-05-27	Paper
The dissolution of objects: between platonism and phenomenalism	2004-05-27	Paper
Reinflating the semantic approach	2001-05-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James Ladyman