“What is a Thing?”: Topos Theory in the Foundations of Physics

作者: Chris Isham , Andreas Doring

DOI: 10.1007/978-3-642-12821-9_13

关键词:

摘要: The goal of this article is to summarise the first steps in developing a fundamentally new way constructing theories physics. motivation comes from desire address certain deep issues that arise when contemplating quantum space and time. In doing so we provide answer Heidegger’s timeless question “What thing?”.

参考文章(71)
Steven Vickers, Issues of Logic, Algebra and Topology in Ontology Springer, Dordrecht. pp. 511- 531 ,(2010) , 10.1007/978-90-481-8847-5_22
Andreas Doering, Observables as functions: Antonymous functions arXiv: Quantum Physics. ,(2005)
Martín H Escardó, None, PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation University of London Imperial College of Science, Technology and Medicine. Department of Computing. ,(1997)
F. William Lawvere, Robert Rosebrugh, Sets for Mathematics ,(2003)
F. William Lawvere, Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body Cahiers de Topologie et Géométrie Différentielle Catégoriques. ,vol. 21, pp. 377- 392 ,(1980)
Louis Crane, What is the Mathematical Structure of Quantum Spacetime arXiv: General Relativity and Quantum Cosmology. ,(2007)
Lee Smolin, The case for background independence arXiv: High Energy Physics - Theory. ,(2005)
Robert Ian Goldblatt, Topoi, the Categorial Analysis of Logic ,(1979)
Lee Smolin, Ontario N, Generic predictions of quantum theories of gravity arXiv: High Energy Physics - Theory. ,(2006)
Ieke Moerdijk, Saunders MacLane Galdós, Sheaves in Geometry and Logic: A First Introduction to Topos Theory ,(2018)