Публикация

My favorite summary of Rice’s theorem is Andrej Bauer’s here (cs.stackexchange.com/a/6928), framing it in terms of extensional properties: “a computable extensional property of programs either holds of all programs or of none.”