Undecidability in logic and in physics (a report on work of Cubitt, Perez-Garcia and Wolf)

Speaker
Prof. Adam Helfer
-
Virtual