The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law