Algebry operatorów i ich zastosowania w fizyce

This is the title of the Fritz-Netzer-Thom 2013 paper in which they show that if a finitely presented group G is RFD or amenable then the norm on the universal group C*-algebra is computable by a Turing machine. In my talk I will explain these results and point out the connection with CEP and MIP*=RE.