theory and practice of undecidability 5630345