⟳ Репост от Alice ✨
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.”
Профиль
Alice ✨
Профиль Vively
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake - GLaDOS https://welltypedwit.ch
