Let's discuss: Physics, Topology, Logic and Computation: A Rosetta Stone

Title: Let's discuss: Physics, Topology, Logic and Computation: A Rosetta Stone

Speaker: Andy Kitchen

Description: We review the ideas in the paper "Physics, Topology, Logic and Computation: A Rosetta Stone" by John Baez and Mike Stay. We explore how category theory can be used as an intermediate language that can help us translate ideas from from one area of science and mathematics to another. I've personally found this paper exciting and enlightening, so I hope I can share that feeling with you. Caveat: I'm not a category theorist, I only dabble, so I won't be able to answer any complicated questions. If you are a category theorist, please come along and help me out ;) My presentation won't assume any knowledge of category theory, but won't be super structured so bring your questions and discussion points to contribute!

Paper can be downloaded here: https://arxiv.org/abs/0903.0340
[It's not necessary to read the paper before the meetup, but the link's here if you want to be better prepared to join the discussion.]

Bio: Andy Kitchen is a AI researcher working for the Melbourne Startup, CCLabs. He loves thinking and learning about diverse subjects, such as computer science, Bayesian statistics, type theory, economics, neuroscience, philosophy and of course artificial intelligence and machine learning. He is an organiser of the ML/AI Meetup, http://mlai.melbourne/ or https://www.meetup.com/Machine-Learning-AI-Meetup/events/ you can tweet at him @auastro.