- Information as a physical entity, entropy and life
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 connects 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).
- Zero-knowledge proof
Let’s meet and learn on Zero-knowledge proofs, a method of proving that you possess some information without revealing it. This time the topic will be explained by our guest expert: Ariel Gabizon (https://sites.google.com/site/arielgabizon1/). Ariel is a professional in the field of applied mathematics in tech companies. After obtaining a PhD in Computer Science, Ariel conducted several years of post-doc research, followed by work on zero-knowledge protocol in Zcash company, now at Protocol Labs. Some introductory from Computerphile https://www.youtube.com/watch?v=HUs1bH85X9I might be helpful. Also, from business realm, Alessandro Chiesa speech during MIT Technology Review: https://events.technologyreview.com/video/watch/alessandro-chiesa-uc-berkeley-innovator/ And because our group reaches to connections with Philosophy, we aim to follow up with discussion and listen to comments on the nature of knowledge. The meetup will be lead by Marcin Stepien (https://www.twitter.com/marcinstepien) Agenda: Discuss, watch videos, plan the next meetings. Goal: learn & have fun Do you keep your favorite discovery, video, whitepaper or quote on the subject? Please, bring it to the meeting!
- Natural Born Algorithms
Isn't it remarkable that it takes Physics to explain why Deep Learning is so effective? Let's get back to the one-dimensional Cellular Automaton proposed by Steven Wolfram to find out that even this simple model is sufficient for executing any algorithm, it is Turing complete. All that mixed with fragments of Digital Philosophy articulated on short videos. What knowledge would be helpful to bring to the meeting? As always it is good be familiar with fundamental concepts of computability and Turing Machine. This time having any intro to cellular automatons could also help. Presentation will be lead by: Marcin Stepien (www.twitter.com/marcinstepien) Agenda: Discuss, watch videos, plan next meetings. Goal: learn & have fun Do you keep your favorite discovery, video, whitepaper or quote on the subject? Please, bring it to the meeting!
- Computing Chaitin’s Omega
Do even mathematical truths violate the principle of sufficient reason? As bits in Omega number that "are true for no reason. They have the value that they do for no reason simpler than themselves"? Let’s watch and discuss Chaitin's discoveries made within the Algorithmic Information Theory. What knowledge would be helpful to bring to the meeting? Again, it is good to understand the fundamental concepts of Turing Machine. For a warm-up, you may want to watch Closer to Truth episode with Gregory Chaitin [https://www.closertotruth.com/interviews/1950] or the lecture given during Copernicus Festival in Krakow [https://youtu.be/WllJrHX_3ZI] Presentation will be lead by: Marcin Stepien (www.twitter.com/marcinstepien) Agenda: Discuss, watch videos, plan next meetings. Goal: learn & have fun Do you keep your favorite discovery, video, whitepaper or quote on the subject? Please, bring it to the meeting!
- Limits of AI. The Gödelian argument.
Is Artificial general Intelligence of human level possible? Let’s watch and discuss the “classic” point of view denying current computers as able of reconstructing human-level intelligence. What knowledge would be helpful to bring to the meeting? Understanding some fundamental concepts of Turing Machine and refreshing Gödel Theorems https://youtu.be/O4ndIDcDSGc Agenda: Discuss, watch videos, planning next meetings. Goal: learn & have fun Do you keep your favorite discovery, video, whitepaper or quote on the subject? Bring it to the meeting!
- Randomness from determinism
Is randomness actually lack of knowledge? Is everything already determined but often impossible to predict? Let’s hear it from Stephen Wolfram's point of view and see the evolution of a one-dimensional cellular automaton. Agenda: - Inspiration for this group - Format - List of subjects to discuss on next meetings - Randomness from determinism. Short videos & discussion. - Socialize over a beer Do you keep your favorite discovery, video, whitepaper or quote on the subject? Bring it to the meeting!