Simple explanation of Landauer's bound and its ineffectiveness for multivalued logic

01/03/2020
by   Radosław A. Kycia, et al.
0

We discuss, using recent results on the Landauer's bound in multivalued logic, the difficulties and pitfalls of how to apply this principle. The presentation is based on Szilard's version of Maxwell's demon experiment. Different versions of thermodynamical/mechanical memory are presented - one-hot encoding version and the implementation based on reversed Szilard's experiment. Relation of Landauer's principle to Galois connection is explained in detail.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/01/2019

Fundamentals of computability logic

This article is a semitutorial-style survey of computability logic. An e...
research
07/08/2020

The uncertainty principle over finite fields

In this paper we study the uncertainty principle (UP) connecting a funct...
research
02/25/2019

Homogenousness and Specificity

We interpret homogenousness as a second order property and base it on th...
research
09/01/2023

Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics

We derive an intuitionistic version of Gödel-Löb modal logic (GL) in the...
research
11/17/2021

A revision to the theory of organic fiducial inference

A principle is modified that underlies the theory of organic fiducial in...
research
11/21/2020

Multi-experiment parameter identifiability of ODEs and model theory

Structural identifiability is a property of an ODE model with parameters...
research
01/09/2018

A Formalization of Kant's Second Formulation of the Categorical Imperative

We present a formalization and computational implementation of the secon...

Please sign up or login with your details

Forgot password? Click here to reset