Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Stuart Presnell"'
Autor:
James Ladyman, Stuart Presnell
Publikováno v:
Ladyman, J & Presnell, S 2020, ' The Hole Argument in Homotopy Type Theory ', Foundations of Physics, vol. 50, pp. 319-329 . https://doi.org/10.1007/s10701-019-00293-9
The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dde5beb78b1b2bda862bdc955352fa7
https://research-information.bris.ac.uk/en/publications/b0169709-0a98-4a1c-9b5f-018d81c125c2
https://research-information.bris.ac.uk/en/publications/b0169709-0a98-4a1c-9b5f-018d81c125c2
Autor:
James Ladyman, Stuart Presnell
Publikováno v:
The British Journal for the Philosophy of Science. 69:377-420
Homotopy Type Theory (HoTT) is a putative new foundation for mathematics grounded in constructive intensional type theory, that offers an alternative to the foundations provided by ZFC set theory and category theory. This paper explains and motivates
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::723c3099874965340694851358ad818a
https://doi.org/10.1093/bjps/axw006
https://doi.org/10.1093/bjps/axw006
Autor:
Stuart Presnell, James Ladyman
Publikováno v:
Ladyman, J & Presnell, S 2019, ' Universes and Univalence in Homotopy Type Theory ', Review of Symbolic Logic, vol. 12, no. 3, pp. 426-455 . https://doi.org/10.1017/S1755020316000460
The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory (HoTT) research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4da2347742d2efaf85845fe98cff3c3
https://research-information.bris.ac.uk/en/publications/56d0ce13-06fb-4ebd-bce2-47edec9c816c
https://research-information.bris.ac.uk/en/publications/56d0ce13-06fb-4ebd-bce2-47edec9c816c
Autor:
Stuart Presnell, James Ladyman
Publikováno v:
Philosophia Mathematica. 23:386-406
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61ed4c6ab4d36441a294c09b7985c255
https://doi.org/10.1093/philmat/nkv014
https://doi.org/10.1093/philmat/nkv014
Publikováno v:
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics. 39:315-324
When considering controversial thermodynamic scenarios such as Maxwell's demon, it is often necessary to consider probabilistic mixtures of states. This raises the question of how, if at all, to assign entropy to them. The information-theoretic entro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21ff45b3631d60e29f1f9884756c2c2c
https://doi.org/10.1016/j.shpsb.2007.11.004
https://doi.org/10.1016/j.shpsb.2007.11.004
Publikováno v:
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics. 38:58-79
There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kT ln 2 heat. This is often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06734f198d844e1191067f1cf8eb28f2
https://doi.org/10.1016/j.shpsb.2006.03.007
https://doi.org/10.1016/j.shpsb.2006.03.007
Autor:
James Ladyman, Stuart Presnell
Publikováno v:
Ladyman, J & Presnell, S 2017, ' Identity in homotopy type theory : Part II, the conceptual and philosophical status of identity in HoTT ', Philosophia Mathematica, vol. 25, no. 2, pp. 210-245 . https://doi.org/10.1093/philmat/nkw023
Among the most interesting features of Homotopy Type Theory (HoTT) is the way it treats identity, which has various unusual characteristics. We examine the formal features of "identity types" in HoTT, and how they relate to its other features includi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17389108811d1dc0d3146e3e187dafee
https://doi.org/10.1093/philmat/nkw023
https://doi.org/10.1093/philmat/nkw023
Autor:
Sandu Popescu, Masato Koashi, Noah Linden, Stuart Presnell, Dan J. Shepherd, Richard Jozsa, Andreas Winter
Publikováno v:
Scopus-Elsevier
Bipartite entanglement is one of the fundamental quantifiable resources of quantum information theory. We propose a new application of this resource to the theory of quantum measurements. According to Naimark's theorem any rank 1 generalised measurem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::224e95ccb05a2afabf65742ceb7f88f4
Autor:
Richard Jozsa, Stuart Presnell
We describe a universal information compression scheme that compresses any pure quantum i.i.d. source asymptotically to its von Neumann entropy, with no prior knowledge of the structure of the source. We introduce a diagonalisation procedure that ena
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6aa998dc55e707b75a9a2dae07faba9e
Autor:
Richard Jozsa, Stuart Presnell
Publikováno v:
Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; Dec2003, Vol. 459 Issue 2040, p3061-3077, 17p