Friday, 04 May 2018, 14:00 at MR2 Centre for Mathematical Sciences – The pioneering work of Goedel and Turing in the 30s showed that there exist problems in mathematics and computer science that cannot be solved. They are called undecidable. Since then, several problems in physics have been shown to be undecidable too. In this talk I will show that many interesting …