Hacker News new | ask | show | jobs
by athanagor2 914 days ago
> Mathematics, especially, seems to have a strong tacit component.

It’s quantifiers, and bound and free variables.