Theorem A.2 (Rice's Theorem, second generalization) — a decidable promise problem closed under $[\cdot]$ is decided by a simulator with $\langle M\rangle$ and $1^{|M|}$

Initializing...

Theorem A.2 (Rice's Theorem, second generalization) — a decidable promise problem closed under $[\cdot]$ is decided by a simulator with $\langle M\rangle$ and $1^{|M|}$ · Prove2Me