Seol mar théacs é seo: Gödel, Putnam, and functionalism