I had always heard this saying as an undergrad in CS but never understood why names were supposed to be a hard problem until reading about modal logic about a d

I had always heard this saying as an undergrad in CS but never understood why names were supposed to be a hard problem until reading about modal logic about a decade later. https://en.wikipedia.org/wiki/Naming_and_Necessity https://en.wikipedia.org/wiki/Naming_and_Necessity