Seol mar théacs é seo: Dynamic programming and partial differential equations