4 found
Sort by:
  1.  80 DLs
    James Ladyman, Stuart Presnell & Anthony J. Short (2008). The Use of the Information-Theoretic Entropy in Thermodynamics. Studies in History and Philosophy of Science Part B 39 (2):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 entropy is often used in such cases; however, no general proof of the soundness of doing so has been given, and indeed some arguments against doing so have been presented. We offer a general proof of the applicability of the information-theoretic entropy to probabilistic mixtures of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2.  44 DLs
    James Ladyman, Stuart Presnell, Anthony J. Short & Berry Groisman (2007). The Connection Between Logical and Thermodynamic Irreversibility. Studies in History and Philosophy of Science Part B 38 (1):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 kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3.  31 DLs
    Tony Short, James Ladyman, Berry Groisman & Stuart Presnell, The Connection Between Logical and Thermodynamical Irreversibility.
    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 generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4.  19 DLs
    James Ladyman & Stuart Presnell (forthcoming). Identity in Homotopy Type Theory, Part I: The Justification of Path Induction. Philosophia Mathematica:nkv014.
    Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation