16 Maio 2023, 10:00 • Isabel Gama Nunes
Undecidability (cont.).
Reducibility.
(Sipser's book, Chapter 5)