Zero-knowledge proof - Complexity Explorers #6
Let’s meet and learn on physicality of information, entropy and life. Also on a link with category theory and how it can be used as a thinking tool.
Radek Kycia's talk will consist of three main parts. First, it will present the basic facts about phenomenological thermodynamics, including entropy. Then explain Maxwell's demon paradox and how it can be resolved. This resolution provided by Landauer connected information with its physical realization. It was given only in the 70s of the previous century. Finally, some rudiments of Category theory will be presented, including the Galois connection. It will allow us to attack the Landauer's principle with a new angle and to make more abstract statements, including statements about life and evolution.
This will be mostly the general audience talk, so do not be afraid of complicated math.
There will be an excellent opportunity to discuss the deep interconnection between physics, mathematics, and computer science, and we hope you will take part in it!
Radosław (Radek) Kycia (https://orcid.org/0000-0002-6390-4627) works at Cracow University of Technology, Kraków, and at Masaryk University, Brno (https://www.linkedin.com/in/rados%C5%82aw-kycia-27ba8852). Has obtained a Ph.D. degree in Theoretical Physics and a bachelor's degree in Computer science both from Jagiellonian University, Krakow. Radek works at the interface between physics, mathematics, and computer science, especially at interdisciplinary research. He is also the supervisor of scientific circle Enigma (https://www.facebook.com/Ko%C5%82o-Studenckie-Enigma-1971813456429636).
The event is part of Complexity Explorers Kraków group that is set up for learning and discussing anything related to an intersection of Philosophy and Computer Science.
The event is part of Complexity Explorers Kraków group (www.cekrk.com) that is set up for learning and discussing anything related to an intersection of Philosophy and Computer Science.
Please register your attendance at