Davide Chiuchiù (Università degli Studi di Perugia)
Date & time: 03/03/2015 at 10:00.
Location: Room V1.33, Civil Engineering Building, Instituto Superior Técnico, Lisbon.
Starting from the birth of statistical mechanics, the linkage between thermodynamics and information is a field alive with many discussions and a large variety of (discording) interpretations. The most accepted framework is the one formulated by Bennett which states a one-to-one relationship between thermodynamic and logic reversibility. In this talk, critical failures of this relationship are analyzed by using arguments taken from recent papers by Sagawa. In particular it will be proven that thermodynamic entropy and information are not interchangeable. Some other critical points of Bennett claims will also be presented as the basic ideas behind an experiment now performed in Perugia.
Profa Juliana Bueno-Soler was postponed to this Tuesday, February 10, at 11h in Room P3.10
Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisb oa.pt
Juliana Bueno-Soler, CLE / UNICAMP - Brazil
Amending probability with consistency.
I will discuss the first step towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs). It will be shown that LFIS very naturally encode an extension of the notion of probability able to express sophisticate probabilistic reasoning under contradictions. This is achieved by means of appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes' Theorem for conditionalization. It will be also shown that the dissimil arity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in this proposed extension of the notion of probability.
Work in progress. Joint work with W. A. Carnielli.