It’s https://en.wikipedia.org/wiki/Rice’s_theorem . It’s one of the most abused impossibility theorems, up there with Godel etc (oh look who’s right there in OP). And then there’s the ending.
its smart think in terms in terms of abused theorems. generally be obsessed with what people abuse. add the second law to the list also. take a topos literally, oh wait, its as semantic equivocation is implicitly on the list.
It’s https://en.wikipedia.org/wiki/Rice’s_theorem . It’s one of the most abused impossibility theorems, up there with Godel etc (oh look who’s right there in OP). And then there’s the ending.
its smart think in terms in terms of abused theorems. generally be obsessed with what people abuse. add the second law to the list also. take a topos literally, oh wait, its as semantic equivocation is implicitly on the list.