Hacker News new | ask | show | jobs
by djur 740 days ago
Do you think that mathematicians are drama queens because "2a = 4, solve for a" is a "math problem"? Just because something is intuitively simple doesn't mean that you don't have to account for it in a formal system. The intuitive solution for a lot of simple questions is incorrect in some cases. (How do you determine the length of a word?)

In your example, "here" is semantically different from the "here" in the answering machine case and doesn't result in a paradox.