In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every ...

This news release is available in Spanish and German. A mathematical problem underlying fundamental questions in particle and quantum physics is provably unsolvable, according to scientists at UCL, ...